OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Correctness by construction and style preserving reconfigurations of system of systems

Eichler, Cédric and Drira, Khalil and Monteil, Thierry and Stolf, Patricia Correctness by construction and style preserving reconfigurations of system of systems. (2018) In: SAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing, 9 April 2018 - 13 April 2018 (Pau, France).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
995kB

Official URL: https://doi.org/10.1145/3167132.3167312

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM. The definitive version is available at http://dl.acm.org. This papers appears in SAC'18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. ISBN: 978-1-4503-5191-1 The original PDF is available at: https://dl.acm.org/doi/10.1145/3167132.3167312.
HAL Id:hal-02652140
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Institut National des Sciences Appliquées de Toulouse - INSA (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Institut National des Sciences Appliquées de Centre Val de Loire - INSA (FRANCE)
Other partners > Université d'Orléans (FRANCE)
Laboratory name:
Statistics:download
Deposited On:25 May 2020 09:36

Repository Staff Only: item control page