Abstract
In this position paper we outline the challenges that face safety critical systems. We identify the need to shift the validation emphasis from process to product, and state how formal proofs would be of great benefit by providing stronger evidence for safety case arguments. We also argue that a successful solution for the incremental certification problem could bring benefit to all levels of system design. A better understanding of the non-functional behaviour and methods for expressing, embedding into design, and managing properties that play a role in this aspect of safety critical systems are urgently needed. We also speculate that research into trusted components and compositional architectures is vital for the future of safety critical systems design. In partnership with BAE SYSTEMS, Rolls Royce, and QinetiQ, we have developed a framework and an architectural description language that addresses these issues.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Leveson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)
Avizienis, A., Laprie, J.C., Randell, B.: Fundamental Concepts of Computer System Dependability. In: Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments, Seoul, Korea (2001)
Littlewood, B., Strigini, L.: Validation of Ultradependability for Software Based Systems. In: Predictably Dependable Computing Systems. Springer, Heidelberg (1995)
McDermid, J.A., et al.: Experience with the application of HAZOP to computer-based systems. In: 10th Annual Conference on Computer Assurance (1995)
ARINC, Software Considerations in Airborne Systems and Equipment Certification, in DO-178B, ARINC: Annapolis, Maryland (1992)
OMG, MDA Guide Version 1.0. 2003, Object Management Group (2003)
OMG, OMG Unified Modelling Language Specification v1.4. 2001, Object Management Group (2001)
IEEE-1471, Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE (2000)
SAE, Architecture, Analysis and Design Language (AADL) v1.0. SAE Aerospace (2004)
Garlan, D., Monroe, R., Wile, D.: Acme: An Architecture Description Interchange Language. In: Proc. of CASCON 1997 (1997)
Conmy, P.: What is a Contract? Technical Report. DARP HIRTS (2004)
Kopetz, H.: Component-Based Design of Large Distributed Real-Time Systems. Control Engineering Practice - A Journal of lFAC 6, 53–60 (1998)
Radjenovic, A.: Architectural Information Modelling: The Infrastructure and the LRAAM CAse Study, Technical Report. DARP HIRTS (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radjenovic, A. (2005). Modelling to Safety. In: Morrison, R., Oquendo, F. (eds) Software Architecture. EWSA 2005. Lecture Notes in Computer Science, vol 3527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494713_11
Download citation
DOI: https://doi.org/10.1007/11494713_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26275-6
Online ISBN: 978-3-540-32268-9
eBook Packages: Computer ScienceComputer Science (R0)