Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach

Alexandre Arnold
(EADS Innovation Works)
Benoît Boyer
(INRIA Rennes)
Axel Legay
(INRIA Rennes)

This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. 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.

In Kim G. Larsen, Axel Legay and Ulrik Nyman: Proceedings 1st Workshop on Advances in Systems of Systems (AiSoS 2013), Rome, Italy, 16th March 2013, Electronic Proceedings in Theoretical Computer Science 133, pp. 47–66.
Published: 13th November 2013.

ArXived at: https://dx.doi.org/10.4204/EPTCS.133.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org