Abstract
When developing safety-critical systems, performing dependability analyses such as computing the reliability is of utmost importance. In the safety standard IEC61508, Markov processes are suggested for quantifying the reliability. However, real-world systems can not always be accurately modeled as a Markov process. Semi-Markov Processes (SMPs) generalizes Markov processes to allow for more accurate models. It has been previously suggested that a intuitive modeling approach of semi-Markov processes is to assign a timer to each possible transition. These timers race to first reach zero which triggers the corresponding transition. However, some situations such as non-perfect diagnostic procedures cannot be modeled with these transition timers. As the first, and main contribution, the theory of modeling SMPs with transition timers is extended with branching transitions, i.e. transitions with several possible output states. The second contribution is tool support for dependability analyses of SMPs modeled with branching transitions. A use case example of an automotive steering system modeled as an SMP with transition timers and with branching transitions is considered and analyzed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press, Cambridge (2017)
International Electrotechnical Commission: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems (IEC61508) (2010)
Marsan, M.A.: Stochastic Petri nets: an elementary introduction. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 424, pp. 1–29. Springer, Heidelberg (1990). https://doi.org/10.1007/3-540-52494-0_23
Zio, E.: The Monte Carlo Simulation Method for System Reliability and Risk Analysis, 1st edn. Springer, London (2013). https://doi.org/10.1007/978-1-4471-4588-2
Limnios, N. : Dependability analysis of semi-Markov systems. In: Reliability Engineering and System Safety, vol. 55, pp. 203–207. Elsevier (1997)
Levy, P.: Processus semi-Markoviens. In: Proceedings of the International Congress of Mathematicians, Amsterdam, pp. 416–426 (1954)
Smith, W.: Regenerative stochastic processes. Proc. Roy. Soc. A 232(1188), 6–31 (1955)
Limnios, N., Oprişan, G.: Semi-Markov Processes and Reliability. Springer, New York (2001). https://doi.org/10.1007/978-1-4612-0161-8
Grabski, F.: Semi-Markov Processes: Applications in System Reliability and Maintenance. Elsevier Inc., Amsterdam (2015)
Nyberg, M. : Safety analysis of autonomous driving using semi-Markov processes. In: Proceedings of the 28th International European Safety and Reliability Conference, pp. 781–788 (2018)
Kaalen, S., Nyberg, M., Bondesson, C.: Tool-supported dependability analysis of semi-Markov processes with application to autonomous driving. In: 4th International Conference on System Reliability and Safety (ICSRS), Rome, pp. 126–135 (2019)
Rausand, M.: Reliability of Safety-Critical Systems: Theory and Applications. Wiley, Hoboken (2014)
David, A., Larsen, K.G., Legay, A., Mikučionis, M., Poulsen, D.B.: UPPAAL SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397–415 (2015). https://doi.org/10.1007/s10009-014-0361-y
Acknowledgments
The authors acknowledge the following agencies and projects for financial support: FFI, the Swedish strategic vehicle research and innovation programme through the AVerT project (reference number 2018-02727), and the European H2020 - ECSEL PRYSTINE (grant agreement number 783190). The work was performed with the support of Scania CV AB. This work was also partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by Knut and Alice Wallenberg Foundation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Kaalen, S., Nyberg, M. (2020). Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. In: Zeller, M., Höfig, K. (eds) Model-Based Safety and Assessment. IMBSA 2020. Lecture Notes in Computer Science(), vol 12297. Springer, Cham. https://doi.org/10.1007/978-3-030-58920-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-58920-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58919-6
Online ISBN: 978-3-030-58920-2
eBook Packages: Computer ScienceComputer Science (R0)