Self-Repairing systems modeling and verification using AGG

Author

Bucchiarone, Antonio ; Pelliccione, Patrizio ; Vattani, Charlie ; Runge, Olga

Author_Institution

FBK-IRST, Trento, Italy

fYear

2009

fDate

14-17 Sept. 2009

Firstpage

181

Lastpage

190

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WICSA.2009.5290804

Filename

5290804