Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach
(2013)
Files
No attached file found for this publication.
Details
- Authors
- 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.
Citations
Arnold, A., Boyer, B., & Legay, A. (2013). Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach. https://hdl.handle.net/2078.5/173221