Abstract
Cars embed a steadily increasing number of Electric and Electronic Systems. The ISO 26262 defines a number of constraints, rules and requirements that the development of Automotive E/E Systems must obey in order to guaranty their Functional Safety. One of the means at hand to enhance the safety of these systems is to reinforce them with so-called Safety Mechanisms. The Standard discusses at length how to estimate the contribution of these mechanisms to Functional Safety. These calculations rely however on Fault Tree models or ad-hoc formulas that are hard to check for completeness and validity. In this article, we propose generic AltaRica 3 for Electric and Electronic Systems protected by first and second order safety mechanisms. These models are of a great help to clarify the behavior of these systems as well as to determine the domain of validity of simpler models such the above mentioned Fault Trees or ad-hoc formulas.
This is a preview of subscription content, log in via an institution to check access.
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
ISO 26262, Road vehicles – Functional safety, Working Group ISO TC22 SC3 (2011)
IEC 61508, Functional safety of electrical/electronic/programmable electronic safety-related systems, parts 1–7. Geneva: International Electrotechnical Commission (1998)
Innal, F., Dutuit, Y., Rauzy, A., Signoret, J.-P.: New insight into the average probability of failure on demand and the probability of dangerous failure per hour of safety instrumented systems. Journal of Risk and Reliability 224, 75–86 (2010)
Jin, H., Lundteigen, M.A., Rausand, M.: Reliability performance of safety instrumented systems: A common approach for both low- and high-demand mode of operation. Reliability Engineering and System Safety 96, 365–373 (2011)
Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.-P.: The AltaRica Data-Flow Language in Use: Assessment of Production Availability of a MultiStates System. Reliability Engineering and System Safet 91(7), 747–755 (2006)
Brameret, P.-A., Rauzy, A., Roussel, J.M.: Preliminary System Safety Analysis with Limited Depth Markov Chain Generation. In: Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, York, Great Britain (September 2013)
Cherfi, A., Rauzy, A., Leeman, M., Meurville, F.: Modeling Automotive Safety Mechanisms: A Markovian Approach, Reliability Engineering and System Safety (accepted in April 2014), doi: http://dx.doi.org/10.1016/j.ress,04.013
Prosvirnova, T., Batteux, M., Brameret, P.-A.: The AltaRica 3.0 project for Model-Based Safety Assessment. In: DCDS 2013, York, Great Britain (September 2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Cherfi, A., Rauzy, A., Leeman, M. (2014). AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. In: Ortmeier, F., Rauzy, A. (eds) Model-Based Safety and Assessment. IMBSA 2014. Lecture Notes in Computer Science, vol 8822. Springer, Cham. https://doi.org/10.1007/978-3-319-12214-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-12214-4_10
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12213-7
Online ISBN: 978-3-319-12214-4
eBook Packages: Computer ScienceComputer Science (R0)