Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

Résumé

Model Driven Architecture (MDA) is recognised as a strong way to develop high-quality systems, and specifically reactive systems. Within MDA, models are in the center of a stepwise development based on extensions, refinements and transformation. Systems Engineering addresses the problem of complex system development in a holistic way, however, there is a lack of tools to verify models from a behavioural point of view at the earlier stage of the development, taking into account that the specifications are evolving during the system development. We propose IDF, a framework for Incremental Development of Compliant Models, which is constituted with a set of relations based on the verification of liveness properties. It is computed on abstract models automatically set up from behavioural specifications of the system or its component. These relations detect non-conformance of models during their evolution (extension or refinement) such as the non-interoperability of sub-components belonging to an architecture.
Fichier principal
Vignette du fichier
CSDM 2016.pdf (502.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01563303 , version 1 (17-07-2017)

Identifiants

Citer

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan. Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. Complex Systems Design & Management (CSD&M) , Nov 2015, Paris, France. pp.69 - 81, ⟨10.1007/978-3-319-26109-6_5⟩. ⟨hal-01563303⟩
319 Consultations
135 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More