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(1). |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/SysCon.2013.6549906 | 2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013) |
Keywords | Field | DocType |
cognition,semantics,formal verification,unified modeling language,error detection,fault tolerance,sysml,software architecture,model based development,computational modeling | Compass,Systems engineering,Computer science,System of systems,Software fault tolerance,Model-based design,Real-time computing,Fault tolerance,Software architecture,Systems Modeling Language,Formal verification | Conference |
ISSN | Citations | PageRank |
1944-7620 | 7 | 0.48 |
References | Authors | |
5 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zoe Andrews | 1 | 25 | 2.00 |
richard payne | 2 | 19 | 2.12 |
Alexander Romanovsky | 3 | 824 | 80.19 |
André Didier | 4 | 17 | 3.07 |
Alexandre Mota | 5 | 72 | 11.09 |