Title :
Extending VDM-RT to enable the formal modelling of System of Systems
Author :
Nielsen, Claus Ballegaard ; Larsen, Peter Gorm
Author_Institution :
Sch. of Eng., Aarhus Univ., Aarhus, Denmark
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.
Keywords :
object-oriented methods; software tools; VDM real time technology; VDM-RT technology; Vienna development method; diverse design decisions; dynamic reconfiguration; formal methods; formal modelling; object-oriented formal technique; software systems analysis; software systems validation; system-of-systems; Computational modeling; Computer architecture; Object oriented modeling; Software; Vehicles; Dynamic Reconfiguration; Evolving Systems; Formal Modelling; System of Systems; VDM-RT;
Conference_Titel :
System of Systems Engineering (SoSE), 2012 7th International Conference on
Conference_Location :
Genoa
Print_ISBN :
978-1-4673-2974-3
DOI :
10.1109/SYSoSE.2012.6384156
