Correctness by construction and style preserving reconfigurations of system of systems

Cédric Eichler 1 Khalil Drira 2 Thierry Monteil 2 Patricia Stolf 3
1 SDS
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : In distributed systems and dynamic environments, software architectures may evolve. A crucial issue when conducting system evolutions is to maintain the system in a consistent and functional state. As system complexity rises, manual checking or exhaustive model checking may be too time- and resource-consuming, lacking in scalability. This is particularly true with system of systems. Based on formal proofs in design-time, correctness by construction has recently emerged to efficiently guarantee system coherency. This article proposes a new method for the construction and specification of correct by construction system reconfigurations. Such transformations are characterized by graph rewriting rules that necessarily preserve the coherency of a system. We firstly propose operators on graph transformations and show that they conserve their correctness. Given a system specified by a graph grammar, these operators can be leveraged to construct correct transformations. We show in particular that any correct configuration can be reached starting from any other one without inconsistent intermediate step, using such transformations only.
Type de document :
Communication dans un congrès
33rd annual ACM Symposium on Applied Computing (SAC'2018), Apr 2018, Pau, France. ACM Press, 7p., 2018, 〈10.1145/3167132.3167312〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01836357
Contributeur : Cédric Eichler <>
Soumis le : jeudi 12 juillet 2018 - 11:50:53
Dernière modification le : mercredi 12 décembre 2018 - 15:25:08

Identifiants

Citation

Cédric Eichler, Khalil Drira, Thierry Monteil, Patricia Stolf. Correctness by construction and style preserving reconfigurations of system of systems. 33rd annual ACM Symposium on Applied Computing (SAC'2018), Apr 2018, Pau, France. ACM Press, 7p., 2018, 〈10.1145/3167132.3167312〉. 〈hal-01836357〉

Partager

Métriques

Consultations de la notice

50