Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ERCIM News Année : 2015

Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL

Flavio Oquendo

Résumé

Over the last 20 years, considerable research effort has been put into conceiving Architecture Description Languages (ADLs), resulting in the definition of different languages for formal modelling of static and dynamic architectures of single systems. However, none of these ADLs has the expressive power to describe the architecture of a trustworthy System-of-Systems (SoS). SosADL is a novel ADL specifically conceived for describing the architecture of Software-intensive SoSs. It provides a formal language that copes with the challenging requirements of this emergent class of complex systems that is increasingly shaping the future of our software-reliant world.
Fichier principal
Vignette du fichier
formal_architecture.pdf (122.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01242649 , version 1 (04-02-2016)

Identifiants

  • HAL Id : hal-01242649 , version 1

Citer

Flavio Oquendo, Axel Legay. Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News, 2015, 102. ⟨hal-01242649⟩
285 Consultations
271 Téléchargements

Partager

Gmail Facebook X LinkedIn More