Information support for proactive management of functional safety of components of cyber-physical systems

Ensuring the functional safety of cyber-physical systems is a prerequisite for their implementation in areas in which reliable and predictable behavior of nodes of distributed cyberphysical control systems is a critical requirement. In the literature from the beginning of the 90s of the last century, within the framework of the theory of risk management, an approach to ensuring the functional safety of subject-centric systems is discussed. The conceptual basis of this approach is the provision on the inevitability of the presence of latent defects of different nature in complex technical systems, the activation conditions of which cannot be predicted. This implies the need to create barriers to the conversion of danger into an incident. The approach proposed in this paper to constructing a system of structural models based on the apparatus of conjugation schemes and truth tables of functional components should be considered from the perspective of information support for the formation of barriers. The basis of the approach to constructing structural models that allow performing a scenario analysis of the functional safety indicators of the nodes of cyber-physical systems is the apparatus of conjugation schemes and truth tables. It is shown that the proposed approach allows one to obtain models corresponding to Failure Tree Analysis, Root Cause Analysis, as well as a set of models obtained as part of the concept of profiles as particular solutions.

1. Shappell S.A. The Human Factors Analysis and Classification System – HFACS, Final Report, U.S. Department of Transportation, Federal Aviation Administration, 2000.

2. Lee E.A. Cyber Physical Systems: Design Challenges. Electrical Engineering and Computer Sciences. 10.1109/ISORC.2008.25. 2008:363-369.

3. Reason J., Hollnagel E., Paries J., Revisiting the «Swiss Cheese» Model of Accidents, EEC Note No. 13/06. European Organization for the Safety of Air Navigation. 2006.

4. Perneger T.V. The Swiss cheese model of safety incidents: Are there holes in the metaphor? BMC Health Services Research. 5. 71. 10.1186/1472-6963-5-71, 2005. Available at: https://www.researchgate.net/publication/7488318_The_Swiss_cheese_model_of_safet y_incidents_Are_there_holes_in_the_metaphor (accessed 20.01.2020).

5. Thorogood J.L., Lauche K., Crichton M., Pollard I., Hviid L.B., Verweijen B., Getting to Grips with Human Factors in Drilling Operations. Society of Petroleum Engineers, DOI:10.2118/173104-MS. 2015.

6. Buslenko N.P. Complex system modeling. Moscow. 1978.

7. State Standard 51901.13-2005. Risk management. Fault Tree Analysis. Available at: http://docs.cntd.ru/document/gost-r-51901-11-2005 (accessed 13.02.2020).

8. State Standard 62502-2014. Risk management. Event Tree Analysis. Available at: http://docs.cntd.ru/document/1200114221 (accessed 13.02.2020).

9. Jucan G., Root Cause Analysis for IT Incidents Investigation. Available at: https://docplayer.net/3945984-Root-cause-analysis-for-it-incidents-investigation.html. (accessed 15.01.2020)

10. R. Soni, A. Preet, Cognitive Approach to Root Cause Analysis for Improvement Quality of Life: A Case Study for IT industry. International Journal of Informative and Futuristic Research. 2013:1(1). Available at: https://pdfs.semanticscholar.org/cd2d/a82fe166bece80319041709e04ab5002129f.pdf (accessed 15.01.2020)

11. Moroz G., Koval G., Korotun T. The concept of profiles in the reliability engineering of software systems. Mathematical machines and systems. 2004;1:166-182.

12. Cheung R. A User-oriented Software Reliability Model. IEEE Trans. Soft. Eng. 1980;6(2):11-125.

13. Nunes D., Sa Silva J., Boavida F. A Practical Introduction to Human-in-the-Loop CyberPhysical Systems. John Wiley & Sons Ltd. 2018.

14. Visnepolschi S., Zlotin B., Kaplan S., Zusman A. New Tools for Failure and Risk Analysis Anticipatory Failure Determination (AFD) and the Theory of Scenario Structuring. Ideation Intl Inc. 1999.

15. Meadows D. Thinking in systems. Moscow. 2010.