Title :
Self-Repairing systems modeling and verification using AGG
Author :
Bucchiarone, Antonio ; Pelliccione, Patrizio ; Vattani, Charlie ; Runge, Olga
Author_Institution :
FBK-IRST, Trento, Italy
Abstract :
Self-repairing (or healing) systems are systems equipped with a mechanism that monitors the system behaviour to determine whether it behaves within prefixed parameters. If a deviation exists, then the system itself is in charge of adapting its configuration. In this paper we show how to model self-repairing systems by means of dynamic software architectures (DSAs). DSAs are formalized as typed (hyper) graph grammars (TGGs) and this formalization enables verification of correctness and completeness of self-repairing systems. DSAs are modeled and verified by using the attributed graph grammar system (AGG). The overall approach is applied to a traffic light system case study.
Keywords :
graph grammars; program verification; software architecture; software fault tolerance; attributed graph grammar system; dynamic software architecture; healing system; self-repairing systems modeling; system behaviour monitoring; system completeness; system correctness; system verification; traffic light system; typed graph grammar; Computer displays; Computer science; Context-aware services; Face; Modeling; Runtime; Software architecture; Software engineering; Software systems; Traffic control; AGG; Self-repairing systems; dynamic software architectures; graph grammars; healing systems;
Conference_Titel :
Software Architecture, 2009 & European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on
Conference_Location :
Cambridge
Print_ISBN :
978-1-4244-4984-2
Electronic_ISBN :
978-1-4244-5295-8
DOI :
10.1109/WICSA.2009.5290804
