Traceable Engineering of Fault-Tolerant SoSs

Systems of systems (SoSs) are characterised by a challenging combination of continuous evolution, emergent behaviour and distributed, autonomous, independent constituents. The development of SoSs that can tolerate faults and harmful events is hampered by these and other complexities. Currently there is little in the way of models or tools to help SoS developers to design fault-tolerant SoSs. In this paper we present a structured approach for capturing requirements for a fault-tolerant SoS and a fault modelling architectural framework (FMAF) that supports disciplined and reusable development of fault-tolerant architectures, as well as a traceable mapping of the fault-tolerant requirements into SoS architectural designs. Finally we present an example real-world SoS case study to demonstrate the application of our techniques.

[1]  Alexander Romanovsky,et al.  Fault modelling for systems of systems , 2013, 2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS).

[2]  Zoe Andrews,et al.  SysML fault modelling in a traffic management system of systems , 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).

[3]  Matthias Jarke,et al.  Requirements tracing , 1998, CACM.

[4]  Jo Ann Lane,et al.  Systems Engineering for Capabilities , 2008 .

[5]  Balasubramaniam Ramesh,et al.  Implementing requirements traceability: a case study , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[6]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[7]  Jim Woodcock,et al.  Features of CML: A formal modelling language for Systems of Systems , 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).

[8]  Julia Rubin,et al.  Model traceability , 2006, IBM Syst. J..

[9]  John S. Fitzgerald,et al.  SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study , 2014, ArXiv.

[10]  Simon Perry,et al.  3.2.2 Traceable Engineering of Fault‐Tolerant SoSs , 2014 .

[11]  Steve Riddle,et al.  Tailoring Traceability Information to Business Needs , 2006 .

[12]  CLAUS BALLEGAARD NIELSEN,et al.  Model-based Engineering of Systems of Systems , 2013 .

[13]  Mark W. Maier.  Architecting Principles for Systems‐of‐Systems , 1996 .

[14]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[15]  Alexandre Mota,et al.  Model-based development of fault tolerant systems of systems , 2013, 2013 IEEE International Systems Conference (SysCon).

[16]  Simon Perry,et al.  Model-Based Requirements Engineering , 2011 .

[17]  Simon Perry,et al.  SysML for Systems Engineering , 2008 .

[18]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[19]  Jon Holt,et al.  A Pragmatic Guide to Business Process Modelling , 2005 .