Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach

Alexandre Arnold 1 Benoît Boyer 2 Axel Legay 3
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This report presents some of the results of the first year of Danse, one of the first EU IP projects dedicated to System of Systems. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful toolsets coming from the formal verification area. At the high level, we use UPDM, the system model provided by the british army as well as a new type of contract based on behavioral patterns. At low level, we rely on a powerful simulation toolset combined with recent advances from the area of statistical model checking. The approach has been applied to a case study developed at EADS Innovation Works.
Document type :
Reports
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-00778039
Contributor : Benoît Boyer <>
Submitted on : Friday, January 18, 2013 - 3:40:52 PM
Last modification on : Friday, November 16, 2018 - 1:25:24 AM
Long-term archiving on : Friday, April 19, 2013 - 4:03:46 AM

File

rreport.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00778039, version 1

Citation

Alexandre Arnold, Benoît Boyer, Axel Legay. Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach. [Research Report] 2013, pp.21. ⟨hal-00778039⟩

Share

Metrics

Record views

879

Files downloads

532