Contract-based modelling and analysis technologies for Systems-of-Systems

Despite the opportunities offered by Systems-of-Systems engineering, there is a lack of models and tools to support dependable decision-making during design and evolution. Such models should combine the rigour needed for reliable analysis with the abstractions needed to describe heterogeneous and independent constituent systems, and the contracts between them. Models should also provide a basis for communication between their diverse stakeholders. Suitable models and tools have the potential to enable the analysis of local and global properties by a range of techniques including simulation and formal verification. The papers in this invited session will provide participants with an understanding of the state of the art and the research directions in rigorous model-based approaches to SoS engineering, through the support of COMPASS, the European Commission's FP7 project on “Comprehensive Modelling and Analysis for Advanced Systems of Systems”.