Modeling and Risk Analysis of Hardware-Software Systems
https://doi.org/10.15514/ISPRAS-2017-29(5)-13
Abstract
Hardware-software systems are widely used now and must be safe and reliable. Manual analysis of risks for structural complex systems is very expensive, so formal automated methods are required. The most important aspect here is the possibility to describe safety requirements in terms used in safety theory, such as Markov chains or logic-probabilistic functions, since for the decades of development of the theory, a large number of very useful results have been accumulated. Different approaches to assessing safety of systems do not compete, but complement each other, so having some universality in describing safety requirements is a very valuable quality. In this article, we demonstrate the advisability of using the AADL modeling language and its extension Error Model Annex to describe safety requirements of a system under design. First, we describe a mathematical model of safety requirements expressible in AADL Error Model Annex. Next, we present algorithms to perform the following automated risk analysis on the base of AADL models: Fault Tree Analysis (including calculation of minimal cut sets and ranking of primary events with respect to different relevant importance measures), Failure Mode and Effects Analysis, and Markovian Analysis. At last, we consider an example of a real avionic system. We present an architecture of an AADL model of the system under design and describe how to develop Error Model Annex specifications for the model. With the help of risk analysis, we show how one can identify, localize and fix a bug in the architecture of the system on the design stage of the system development. All presented algorithms are implemented in MASIW framework for design of modern avionics systems.
About the Authors
S. V. Zelenov
Ivannikov Institute for System Programming of the Russian Academy of Sciences; National Research University Higher School of Economics (HSE)
Russian Federation
Russian Federation
S. A. Zelenova
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation
Russian Federation
References
1. D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, and A. V. Khoroshilov. Tools for system design of integrated modular avionics. Trudy ISP RAN/Proc. ISP RAS, volume 26, issue 1, pages 201-230, 2014. DOI: 10.15514/ISPRAS-2014-26(1)-6 (Russian)
2. Gnedenko, B. V.; Beljaev, Ju. K.; Kovalenko, I. N. Mathematical problems in the theory of reliability. (Russian) 1966 Theory of Probability, Math. Statist., Theoret. Cybernet. 1964 (Russian) pp. 7-53 Akad. Nauk SSSR Inst. Naučn. Informacii, Moscow.
3. B.V. Gnedenko, Y.K. Belyayev, and A.D. Solovyev. Mathematical methods of reliability theory. Nauka, Moscow, 1965. (Russian)
4. V.K. Dedkov, A.S. Pronikov, A.N. Terpilovskij. Reliability of complex technical systems. Methods for determining and ensuring the reliability of industrial products. Academy of National Economy, Moscow, 1983. (Russian)
5. Karnov A.A., Zelenov S.V. Stochastic Methods for Analysis of Complex Hardware-Software Systems. Trudy ISP RAN/Proc. ISP RAS, vol. 29, issue 4, 2017, pp. 191-202. DOI: 10.15514/ISPRAS-2016-29(4)-12
6. Nikolskij V.I. Some accidents and disasters of domestic passenger ships. St. Petersburg State University of Water Communications, St.Petersburg, 2011. (Russian)
7. I.A. Ryabinin. The concept of the logic-probabilistic theory of safety. Devices and control system, 10:6-9, 1993. (Russian)
8. I.A. Ryabinin. Reliability and Safety of Structural Complex Systems. Politechnika, St.Petersburg, 2000. (Russian)
9. I.A. Ryabinin. Logic-probabilistic Analysis of Problems of Safety, Survivability and Safety. South Russian State University, Lik, Novocherkassk, 2009. (Russian)
10. I.A. Ryabinin and G.N. Cherkesov. The logic-probabilistic research methods of structure-complex systems reliability. Radio and communication, Moscow, 1981. (Russian)
11. Albert Nikolaevich Shiryaev. Probability. 2nd edition, 1995.
12. State Standard 27.302-2009. Dependability in technics. Fault tree analysis. Moscow, Standartinform Publ., 2011. (In Russian)
13. K.K. Aggarwal, J.S. Gupta, and K.B. Misra. A new method for system reliability evaluation. Microelectronics Reliability, 12(5):435-440, Nov 1973.
14. U.M. Ascher and L.R. Petzold. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 1998.
15. E.E. Barlow, F. Proschan, and L.C. Hunter. Mathematical Theory of Reliability. Wiley, New York-London-Sydney, 1965.
16. R.G. Bennetts. On the analysis of fault trees. IEEE Transactions on Reliability, R-24(3):175-185, Aug 1975.
17. J. Delange, P. Feiler, D. Gluch, J. Hudak. AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. CMU/SEI-2014-TR-020, 2014.
18. Peter H. Feiler, David P. Gluch. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional, 2012.
19. L. Fratta and U.G. Montanari. A boolean algebra method for computing the terminal reliability in a communication network. IEEE Transactions on Circuit Theory, 20(3):203-211, 1973.
20. J. Hadamard. Lectures on Cauchy’s Problem in Linear Partial Differential Equations. Dover phoenix editions. Dover Publications, 2003.
21. E.J. Henley and H. Kumamoto. Reliability engineering and risk assessment. Prentice-Hall, 1981.
22. E.J. Henley and H. Kumamoto. Designing for reliability and safety control. Prentice-Hall International Series in Industrial and Systems Engineering. Prentice-Hall, 1985.
23. Alexey Khoroshilov, Dmitry Albitskiy, Igor Koverninskiy, Mikhail Olshanskiy, Alexander Petrenko, and Alexander Ugnenko. AADL-based toolset for IMA system design and integration. SAE Int. J. Aerosp., 5:294-299, Oct 2012.
24. M. Kwiatkowska, G. Norman, and D. Parker. Prism 4.0: Verification of probabilistic real-time systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV11), ser. LNCS, volume 6806, pages 585-591. Springer, 2011.
25. Nils J. Nilsson. Probabilistic logic. Artif. Intell., 28(1):71-88, February 1986.
26. I.A. Ryabinin. Reliability of Engineering Systems. Principles and Analysis. MIR, Moscow, 1976.
27. W. Vesely, J. Dugan, J. Fragola, Minarick, and J. Railsback. Fault Tree Handbook with Aerospace Applications. Handbook, National Aeronautics and Space Administration, Washington, DC, 2002.
28. ARINC 664 part 7, Avionics Full Duplex Switched Ethernet (AFDX) network, 2005.
29. MASIW: Modular Avionics System Integrator Workplace, 2016. https://forge.ispras.ru/projects/masiw-oss/.
30. OpenFTA, 2005. http://openfta.com/.
31. OSATE: Open Source AADL2 Tool Environment, 2016. http://osate.org/.
32. SAE International standard ARP4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996. http://standards.sae.org/arp4761/.
33. SAE International standard AS5506C, Architecture Analysis & Design Language (AADL), 2004. Rev. 2017, http://standards.sae.org/as5506c/.
34. SAE International standard AS5506/1A, Architecture Analysis & Design Language (AADL), Annex E: Error Model Annex, 2011. Rev. 2015, http://standards.sae.org/as5506/1a/.
Review
For citations:
Zelenov S.V., Zelenova S.A. Modeling and Risk Analysis of Hardware-Software Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(5):257-282. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(5)-13
Email this article 