DocumentCode :
2933125
Title :
A rigorous approach to the design of resilient cyber-physical systems through co-simulation
Author :
Fitzgerald, John ; Pierce, Ken ; Gamble, Carl
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
fYear :
2012
fDate :
25-28 June 2012
Firstpage :
1
Lastpage :
6
Abstract :
The engineering of resilient cyber-physical systems requires collaborative development and analysis of models from different disciplines, including discrete-event models of software and continuous-time models of physical plant. This paper describes a rigorous approach to the model-based design of such systems through co-simulation of discrete-event models in the Vienna Development Method (VDM) and continuous-time models in 20-sim. These are coupled by a co-simulation tool that coordinates the execution of the models in their respective simulators. Co-models can be augmented with descriptions of potential failures and fault tolerance mechanisms, allowing early stage evaluation of alternatives before a commitment is made to realising functionality in the cyber or physical side. We describe the content of an emerging methodology for co-model development, co-simulation and design space exploration, presenting a case study and two examples from the library of design patterns developed for this setting.
Keywords :
Vienna development method; continuous time systems; discrete event systems; failure analysis; fault tolerance; groupware; object-oriented methods; software libraries; VDM; Vienna development method; collaborative development; continuous-time models; cosimulation tool; cyber side; design patterns development; design space exploration; discrete-event models; fault tolerance mechanisms; model-based design; physical plant; physical side; potential failures descriptions; resilient cyber-physical systems design; Collaboration; Computational modeling; Fault tolerance; Fault tolerant systems; Guidelines; Libraries; Monitoring; co-simulation; cyber-physical systems; fault tolerance; formal methods; resilience;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on
Conference_Location :
Boston, MA
Print_ISBN :
978-1-4673-2264-5
Electronic_ISBN :
978-1-4673-2265-2
Type :
conf
DOI :
10.1109/DSNW.2012.6264663
Filename :
6264663
Link To Document :
بازگشت