Checking the architectural feasibility of Systems-of-Systems using formal descriptions

Milena Guessi 1, 2 Flavio Oquendo 1 Elisa Nakagawa 2
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Systems-of-Systems (SoSs) are evolutionary developed from independent systems to achieve missions through emergent behavior. As concrete systems which will actually participate in an SoS are, in general, not known at design-time, SoSs need to dynamically create coalitions among possible constituent systems at run-time. Due to these uncertainties, the SoS architecture needs to be described abstractly at design-time and then concretely constituted at run-time. An abstract SoS architecture description can thereby specify the correctness properties of coalitions that can be formed among constituent systems at run-time. In particular, it is important to ensure that concrete SoS architectures that may emerge at run-time from such coalitions correctly comply with the abstract SoS architecture description. To automatically check the feasibility of such concrete SoS architectures, in its initial form as well as further evolution, this paper presents an approach that formally expresses the abstract SoS architecture description and the rules governing the organization of SoSs in concrete architectures at run-time. Then, we demonstrate how this approach is used for determining the feasibility of different coalitions in a flood monitoring SoS.
Type de document :
Communication dans un congrès
11th System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, 2016, 〈10.1109/SYSOSE.2016.7542939〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01432700
Contributeur : Milena Guessi Margarido <>
Soumis le : jeudi 12 janvier 2017 - 01:11:03
Dernière modification le : jeudi 15 novembre 2018 - 11:58:39

Identifiants

Citation

Milena Guessi, Flavio Oquendo, Elisa Nakagawa. Checking the architectural feasibility of Systems-of-Systems using formal descriptions. 11th System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, 2016, 〈10.1109/SYSOSE.2016.7542939〉. 〈hal-01432700〉

Partager

Métriques

Consultations de la notice

363