A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees

Résumé

A challenging issue in the architectural design of a System-of-Systems (SoS) is how to provide guarantees of the correctness of the designed SoS architecture. To address this challenge, we have developed an SoS Architecture Description Language (ADL), called SosADL, to formally describe software-intensive SoS architectures in terms of formal models and transformations between formal models bridging the gap between description and analysis for providing guarantees of architecture correctness. In particular, this paper investigates the features of SosADL that make possible to enforce the guarantees and presents their implementation in SosADL Studio, the Architecture Development Environment (ADE) for SosADL.
Fichier non déposé

Dates et versions

hal-01999617 , version 1 (30-01-2019)

Identifiants

Citer

Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou. A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. 13th Annual Conference on System of Systems Engineering (SoSE), Jul 2018, Paris, France. ⟨10.1109/SYSOSE.2018.8428726⟩. ⟨hal-01999617⟩
127 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More