DocumentCode
123717
Title
Distributed Simulation of Formal Models in System of Systems Engineering
Author
Nielsen, Claus Ballegaard ; Lausdahl, Kenneth ; Larsen, Peter Gorm
Author_Institution
Dept. of Eng., Aarhus Univ., Aarhus, Denmark
fYear
2014
fDate
23-25 June 2014
Firstpage
211
Lastpage
216
Abstract
The formal modelling of System of Systems (SoS) is challenged by the autonomy of the participating constituent systems, as system owners may not be willing to share executable models that precisely describe their system´s internals. This paper describes an approach for using distributed simulation within a collaborative development environment to enable the analysis of the entire SoS, without the detailed models of the constituent systems being shared.
Keywords
digital simulation; distributed processing; formal specification; groupware; systems analysis; systems engineering; SoS analysis; collaborative development environment; constituent systems; distributed simulation; formal modelling; system internals; system of systems engineering; system owners; Analytical models; Atmospheric modeling; Computational modeling; Data models; Inspection; Protocols; Distributed Systems; Formal Modelling; Systems of Systems;
fLanguage
English
Publisher
ieee
Conference_Titel
WETICE Conference (WETICE), 2014 IEEE 23rd International
Conference_Location
Parma
Type
conf
DOI
10.1109/WETICE.2014.74
Filename
6927052
Link To Document