sustainНадежностьDependability1729-26462500-3909RAMS Journal Limited liability company10.21683/1729-2646-2016-16-1-66-76sustain-8Research ArticleФУНКЦИОНАЛЬНАЯ НАДЕЖНОСТЬ. ТЕОРИЯ И ПРАКТИКАFUNCTIONAL RELIABILITY. THE THEORY AND PRACTICEРАЗРАБОТКА ВЫСОКОНАДЕЖНЫХ СИСТЕМ НА ОСНОВЕ МЕТОДА ВЗАИМНОЙ ПРОВЕРКИ АКСИОМАТИЧЕСКИХ БАЗИСОВDEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASESХарлапС. Н.KharlapS. N.СивкоБ. В.SivkoB. V.2016140620161616676Copyright © Харлап С.Н., Сивко Б.В., 20162016Харлап С.Н., Сивко Б.В.Kharlap S.N., Sivko B.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.dependability.ru/jour/article/view/8

На основе метода взаимной проверки аксиоматических базисов разработаны безопасные микропроцессорные системы, устойчивые к отказам. Проведены их испытания на безопасность и отказоустойчивость с помощью комплекса имитационных испытаний на безопасность (КИИБ). Выявлено, что усиление проверяющего аксиоматического базиса позволяет улучшить показатели отказоустойчивости. Показано, что взаимная проверка аксиоматических базисов позволяет разрабатывать отказоустойчивые и безопасные системы с целевыми свойствами.

Based on the method of cross check of axiomatic bases, there have been developed reliable fail-safe microprocessor systems. They have been tested for reliability and fail-safety by using a set of simulation safety tests (SST). It has been revealed that reinforcement of the checking axiomatic basis allows us to improve fail-safety parameters. It has been shown that the cross check of axiomatic bases enables to develop fail-safe and reliable systems with target properties.

функциональная безопасностьформальные методыотказоустойчивостьобнаружение отказовкритически важные объекты информатизацииfunctional safetyformal methodsfail-safetyfailure detectionIT critical objectsReferencesБочков К. А. Микропроцессорные системы автоматики на железнодорожном транспорте: учеб. пособие / К. А. Бочков, А. Н. Коврига, С. Н. Харлап // Гомель, БелГУТ. – 2013.Bochkov K.А. Microprocessor automation systems on railway transport: study guide / K. A. Bochkov, А. N. Kovriga, S. N. Kharlap // Gomel, BelSTU. – 2013.Сивко Б. В. Аксиоматико-базисный подход для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Автоматика на транспорте: ПГУПС. – 2015. – № 4, т. 1., С. 381–399.Sivko B.V. Axiomatic and basis approach to the development of reliable and fail-safe systems / B. V. Sivko // Automatic equipment on transport: PSTU. – 2015. – No. 4, v. 1., P. 381–399.Бочков К. А. Методы и средства доказательства функциональной безопасности микроэлектронных систем железнодорожной автоматики / К. А. Бочков, С. Н. Харлап, Д. Н. Шевченко // Електромагнітна сумісність та безпека на залізничному транспорті. – 2011. – № 2. – С. 73–81.Bochkov K.А. Methods and tools of evidence for functional safety of microelectronic systems of railway automation equipment / K. A. Bochkov, S. N. Kharlap, D. N. Shevchenko // – 2011. – No.2. – P. 73–81.Сивко Б. В. Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2014. – № 1(28). – С. 19–23.Sivko B.V. Diverse axiomatic bases for the development of reliable and fail-safe systems / B. V. Sivko // BelSTU Reporter: Science and Transport. – 2014. – No. 1(28). – P. 19–23.Bates M. PIC microcontrollers: an introduction to microelectronics. / M. Bates // Elsevier. – 2012. – 441 p.Bates M. PIC microcontrollers: an introduction to microelectronics. / M. Bates // Elsevier. – 2012. – 441 p.

The authors declare that there are no conflicts of interest present.