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.

Self-Repairing systems modeling and verification using AGG / Bucchiarone, A.; Pelliccione, P.; Vattani, C.; Runge, O.. - (2009), pp. 181-190. (Intervento presentato al convegno Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009 tenutosi a Cambridge, UK nel 09/14/2009 - 09/17/2009).

Self-Repairing systems modeling and verification using AGG

A. Bucchiarone;
2009-01-01

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.
2009
WICSA/ECSA
-
New York
IEEE
Bucchiarone, A.; Pelliccione, P.; Vattani, C.; Runge, O.
Self-Repairing systems modeling and verification using AGG / Bucchiarone, A.; Pelliccione, P.; Vattani, C.; Runge, O.. - (2009), pp. 181-190. (Intervento presentato al convegno Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009 tenutosi a Cambridge, UK nel 09/14/2009 - 09/17/2009).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/343383
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 29
  • ???jsp.display-item.citation.isi??? 15
social impact