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

Flavio Oquendo 1 Axel Legay 2
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Article dans une revue
ERCIM News, ERCIM, 2015
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01242649
Contributeur : Jean Quilbeuf <>
Soumis le : jeudi 4 février 2016 - 13:58:44
Dernière modification le : vendredi 16 novembre 2018 - 01:25:24
Document(s) archivé(s) le : samedi 12 novembre 2016 - 08:54:57

Fichier

formal_architecture.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01242649, version 1

Citation

Flavio Oquendo, Axel Legay. Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News, ERCIM, 2015. 〈hal-01242649〉

Partager

Métriques

Consultations de la notice

378

Téléchargements de fichiers

260