Обеспечение функциональной безопасности киберфизических систем является необходимым условием их внедрения в области, в которых надежное и предсказуемое поведение узлов распределенных систем киберфизического управления является критическим требованием. В литературе с начала 90-х годов прошлого столетия в рамках теории управления рисками обсуждается подход к обеспечению функциональной безопасности субъектоцентрических систем. Концептуальную основу этого подхода составляет положение о неизбежности наличия в сложных технических системах латентных дефектов разной природы, условия активизации которых предсказать невозможно. Из этого вытекает необходимость создания барьеров, препятствующих преобразованию опасности в инцидент. Предлагаемый в настоящей работе подход к построению системы структурных моделей на основе аппарата схем сопряжения и таблиц истинности функциональных компонентов следует рассматривать с позиций информационной поддержки формирования барьеров. Основу рассматриваемого подхода к построению структурных моделей, позволяющих выполнять сценарный анализ показателей функциональной безопасности узлов киберфизических систем, составляет аппарат схем сопряжения и таблиц истинности. Показано, что предлагаемый подход позволяет в качестве частных решений получать модели, соответствующие Failure Tree Analysis, Root Cause Analysis, а также совокупность моделей, получаемых в рамках концепции профилей.
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.
The authors declare that there are no conflicts of interest present.