Loading [a11y]/accessibility-menu.js
Contract-based modelling and analysis technologies for Systems-of-Systems | IEEE Conference Publication | IEEE Xplore
Scheduled Maintenance: On Monday, 27 January, the IEEE Xplore Author Profile management portal will undergo scheduled maintenance from 9:00-11:00 AM ET (1400-1600 UTC). During this time, access to the portal will be unavailable. We apologize for any inconvenience.

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


Abstract:

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...Show More

Abstract:

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”.
Date of Conference: 16-19 July 2012
Date Added to IEEE Xplore: 24 January 2013
ISBN Information:
Conference Location: Genova, Italy

References

References is not available for this document.