Transport automation research Transport automation research Автоматика на транспорте 2412-9186 81797 Стандартизация и сертификация STANDARDIZATION AND CERTIFICATION Стандартизация и сертификация Axiomatic-based approach for development of trustworthy and fault-tolerant systems АКСИОМАТИКО-БАЗИСНЫЙ ПОДХОД ДЛЯ РАЗРАБОТКИ БЕЗОПАСНЫХ И ОТКАЗОУСТОЙЧИВЫХ СИСТЕМ СИВКО Борис Витальевич Sivko Boris V bsivko@gmail.com Белорусский государственный университет транспорта ru Belorussian State University of Transport ru 25 12 2015 25 12 2015 1 4 381 399 12 12 2015 15 12 2015 https://atjournal.ru/en/nauka/article/81797/view

Предложен подход на основе аксиоматических базисов, позволяющий формализовать решение ряда проблем разработки и верификации отказоустойчивых и безопасных систем. Сформулированы положения и задачи аксиоматико-базисного подхода. Показано, что подход согласуется с опытом инженерии безопасных и отказоустойчивых систем; позволяет повышать их отказо устойчивость и безопасность; сравнивать отказоустойчивость систем; сохранять баланс между отказоустойчивостью и сложностью разработки и верификации; применять формальные методы для доказательства; формализовать интеграцию систем; повышать и оценивать уровень диверситета без привлечения независимых групп разработчиков и экспертов; формализованно проектировать и верифицировать системы, обнаруживающие собственные отказы. Вместе с тем подход позволяет решать актуальные проблемы отказоустойчивых и безопасных систем, такие как формализация методов внутрипроцессорного контроля и разработка условий его проведения, а также доказательство достаточности диверситета разрабатываемых и верифицируемых систем.

The article proposes an approach on the ground of axiomatic bases, that allows to formalize a solution of number of problems of development and verifi cation of fault-tolerant and trustworthy systems. The article states the provisions and objectives of this axiomatic-based approach. It is shown that the approach is consistent with the experience of fault-tolerant and trustworthy systems engineering, and allows to improve its fault tolerance and safety, to carry out a comparison of system fault tolerance, to maintain the balance between the fault tolerance and the complexity of development and verifi cation, to apply formal methods of prove, to formalize the integration of systems, to improve and to evaluate the level of diversity without the involvement of independent groups of developers and experts, and to formalized develop and verify system, detecting its own failures. Moreover, the approach makes it possible to solve the current problems of fault-tolerant and trustworthy systems, such as the formalization of methods for intraprocessor control, and of development of its realization conditions, as well as the proof of suffi ciency of the diversity of developed and verifi able systems.

 отказоустойчивость доказательство безопасности формальные методы формализация диверситет обнаружение отказов fault tolerance safety proof formal methods formalization diversity failure detection