Model-based development of fault tolerant systems of systems

Author

Andrews, Zoe ; Payne, Roger ; Romanovsky, Alexandre ; Didier, A. ; Mota, Alexandre

Author_Institution

Sch. of Comput. Sci., Newcastle Univ., Newcastle uopn Tyne, UK

fYear

2013

fDate

15-18 April 2013

Firstpage

356

Lastpage

363

Abstract

This paper puts forward a new method for model-based development of fault tolerant systems of systems. The method covers early architectural design, formal modelling and verification. The focus is on supporting modelling techniques that ensure systematic and structured reasoning about faults, error detection and fault and error recovery. The method combines semi-formal modelling in SysML with formal modelling and verification conducted in CSP. The work is part of the EC COMPASS Integrated Project on Comprehensive Modelling for Advanced Systems of Systems¹.

Keywords

fault tolerant computing; formal verification; simulation languages; software architecture; SysML; architectural design; error detection; error recovery; fault recovery; fault tolerant systems-of-systems; formal modelling; formal verification; model-based development; modelling language; structured reasoning; systematic reasoning; Chaos; Cognition; Computational modeling; Fault tolerance; Fault tolerant systems; Semantics; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems Conference (SysCon), 2013 IEEE International

Conference_Location

Orlando, FL

Print_ISBN

978-1-4673-3107-4

Type

conf

DOI

10.1109/SysCon.2013.6549906

Filename

6549906