Loading [MathJax]/extensions/TeX/mhchem.js
Extending VDM-RT to enable the formal modelling of System 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.

Extending VDM-RT to enable the formal modelling of System of Systems


Abstract:

When one wish to properly engineer dynamically evolving System of Systems (SoS) it is important to have tools that enable the different stakeholders to understand the con...Show More

Abstract:

When one wish to properly engineer dynamically evolving System of Systems (SoS) it is important to have tools that enable the different stakeholders to understand the consequences of diverse design decisions. Instead of merely using natural text and/or graphical diagrams we propose to make use of slight improvements to existing technology from the formal methods area to enable simulation of a model of the SoS. Here, we present how an extension of the tool support for the VDM Real Time (VDM-RT) technology enabling dynamic reconfiguration can form the basis for properly validating evolving SoS.
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.