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

fYear

2012

fDate

16-19 July 2012

Firstpage

457

Lastpage

462

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System of Systems Engineering (SoSE), 2012 7th International Conference on

Conference_Location

Genoa

Print_ISBN

978-1-4673-2974-3

Type

conf

DOI

10.1109/SYSoSE.2012.6384156

Filename

6384156