TU Berlin

Theor. Informatik / Formale SpezifikationOlga Runges Publikationen

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Olga Runge

Self-Repairing Systems Modeling and Verification using AGG
Zitatschlüssel BPVR09
Autor Bucchiarone, A. and Pelliccione, P. and Vattani, C. and Runge, O.
Buchtitel Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture (WICSA'09)
Jahr 2009
Zusammenfassung 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.
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe