Abstract
This paper presents an extension and refinement to the modelling of architectures for safety functions as suggested in IEC61508-6. We propose an implementation oriented taxonomy providing an easy and unambiguous approach to model real life architectures in conformance with IEC61508.
Modelling safety related architectures with this taxonomy results in the following benefits: (1) A clear and unambiguous approach to the selection of required diagnostic techniques and measures (IEC61508-2 and IEC61508-3) based on the Safety Integrity Level (SIL); (2) Quick estimates of Probability of Failure on Demand (PFD)/ Probability of Failure per Hour (PFH) / Safe Failure Fraction (SFF) values in relation to the quantitative SIL requirements; (3) Optimising the design and performance by allocating specific diagnostic techniques to specific elements of the architecture; (4) Improved overview and understanding of the architecture supporting the development and certification process. The taxonomy is part of ongoing effort to automate the selection and conformance checking of diagnostic techniques and measures with IEC61508.
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
IEC. Functional safety of electrical/electronic/programmable electronic safety-related systems, Part 2: Requirements for electrical/eletronic/programmable electronic safety-related systems. International Electrotechnical Commission, IEC 61508-2 (2000)
IEC. Functional safety of electrical/electronic/programmable electronic safety-related systems, Part 3: software requirements. International Electrotechnical Commission, IEC 61508-3 (1998)
IEC. Functional safety of electrical/electronic/programmable electronic safety-related systems, Part 6: Guidelines on the application of IEC 61508-2 and IEC 61508-3. International Electrotechnical Commission, IEC 61508-6 (2000)
Kruchten, P.: Architectural Blueprints - The “4+1” View Model of Software Architecture. IEEE Software 12, 42–50 (1995)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical Note, CMU/SEI-2006-TN-011 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berthing, J., Maier, T. (2007). A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. In: Saglietti, F., Oster, N. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2007. Lecture Notes in Computer Science, vol 4680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75101-4_47
Download citation
DOI: https://doi.org/10.1007/978-3-540-75101-4_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75100-7
Online ISBN: 978-3-540-75101-4
eBook Packages: Computer ScienceComputer Science (R0)