This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Dependable Systems of Systems
ISSN: 0148-7191, e-ISSN: 2688-3627
Published April 03, 2006 by SAE International in United States
Annotation ability available
As systems necessarily become more integrated and increasingly complex through market demands for more features, technical risks and therefore business risks increase. It becomes correspondingly harder to show that the properties desired of these Systems of Systems (SoS) actually hold under normal or abnormal operation. In particular, it is hard to detect emergent properties of a SoS because properties of individual systems are not necessarily compositional, especially during failure. This paper describes the objectives of a project addressing the problem of Dependable System of Systems and other related research in the field of Automotive Electronics.
The capability being developed is based upon the scalable ‘Assumption-Commitment’ paradigm so that it can be applied to large and complex systems of systems. Through the use of a Formal description of the specification of each of the systems, we can explore the SoS to show weaknesses in terms of dependability and we have shown that the technique is scalable. We can therefore look at the way in which knowledge of individual systems (eg Black box, White box and shades in between) can be used to mitigate against failure of the SoS. We show how this is of use to system integrators such as those in the automotive or aerospace sectors. The value to the integrator is because they are vulnerable through an incomplete understanding of supplier's equipment and the suppliers are similarly unsighted on how the system integrator intends to exploit their equipment. In doing so, we enable the integrator to explore the SoS before commitment to an architecture and individual system suppliers. The technology exposes and expresses risks in a timely and understandable manner, thus enabling business decisions to be well informed and relevant risks to be mitigated.
CitationMcMurran, R., McKinney, F., Tudor, N., and Milam, W., "Dependable Systems of Systems," SAE Technical Paper 2006-01-0597, 2006, https://doi.org/10.4271/2006-01-0597.
SAE 2006 Transactions Journal of Passenger Cars: Electronic and Electrical Systems
Number: V115-7 ; Published: 2007-03-30
Number: V115-7 ; Published: 2007-03-30
- “Concurrency Verification: Introduction to Compositional and Noncompositional Methods”, de Roever et al., Cambridge Tracts in Theoretical Computer Science 54, CUP, 2001.
- SMMT 2004 “Foresight Vehicle Technology Roadmap, 2004 - Version 2”, www.foresightvehicle.org.uk
- Jennings, M., Rangan, R., “Managing Complex Vehicle System Simulation Models for Automotive System Development”, Journal of Computer and Information Science in Engineering, Dec 2004, Vol. 4/1.
- National Institute of Standards and Technology (NIST), “The Economic Impacts of Inadequate Infrastructure for Software Testing” - report May 2002.
- Adams M M, Clayton P B & Tudor N J, QinetiQ, “CLawZ: Cost-Effective Formal Verification for Control Systems”, DASC 2005.
- Cavalcanti A. L. C., Clayton P., and O'Halloran C.. Control Law Diagrams in Circus. In Fitzgerald J., Hayes I. J., and Tarlecki A., editors, FM 2005: Formal Methods, volume 3582 of Lecture Notes in Computer Science, pages 253 - 268. Springer-Verlag, 2005
- McDermid Pygott Tombs and Wilson, “Assessing Complex Computer Based Systems using the Goal Structuring Notation”, 2nd IEEE Conference on Complex Systems, Montreal October 1996.
- Dijkstra E W, “Solution of a Problem in Concurrent Programming Control”, CACM 8(9), 1965.
- de Roever Willem-Paul, et al, “Concurrency Verification” Cambridge University Press, 2001
- SysML website www.sysml.org
- AADL Website www.aadl.info
- EAST EEA Project Website www.east-eea.net