Доступ открыт Открытый доступ  Доступ закрыт Доступ платный или только для Подписчиков

РАЗРАБОТКА ВЫСОКОНАДЕЖНЫХ СИСТЕМ НА ОСНОВЕ МЕТОДА ВЗАИМНОЙ ПРОВЕРКИ АКСИОМАТИЧЕСКИХ БАЗИСОВ


https://doi.org/10.21683/1729-2646-2016-16-1-66-76

Полный текст:


Аннотация

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

Об авторах

С. Н. Харлап

Россия


Б. В. Сивко

Россия


Список литературы

1. Бочков К. А. Микропроцессорные системы автоматики на железнодорожном транспорте: учеб. пособие / К. А. Бочков, А. Н. Коврига, С. Н. Харлап // Гомель, БелГУТ. – 2013.

2. Сивко Б. В. Аксиоматико-базисный подход для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Автоматика на транспорте: ПГУПС. – 2015. – № 4, т. 1., С. 381–399.

3. Бочков К. А. Методы и средства доказательства функциональной безопасности микроэлектронных систем железнодорожной автоматики / К. А. Бочков, С. Н. Харлап, Д. Н. Шевченко // Електромагнітна сумісність та безпека на залізничному транспорті. – 2011. – № 2. – С. 73–81.

4. Сивко Б. В. Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Вестник БелГУТа: Наука и Транспорт. – 2014. – № 1(28). – С. 19–23.

5. Bates M. PIC microcontrollers: an introduction to microelectronics. / M. Bates // Elsevier. – 2012. – 441 p.


Дополнительные файлы

Для цитирования: Харлап С.Н., Сивко Б.В. РАЗРАБОТКА ВЫСОКОНАДЕЖНЫХ СИСТЕМ НА ОСНОВЕ МЕТОДА ВЗАИМНОЙ ПРОВЕРКИ АКСИОМАТИЧЕСКИХ БАЗИСОВ. Надежность. 2016;16(1):66-76. https://doi.org/10.21683/1729-2646-2016-16-1-66-76

For citation: Kharlap S.N., Sivko B.V. DEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASES. Dependability. 2016;16(1):66-76. (In Russ.) https://doi.org/10.21683/1729-2646-2016-16-1-66-76

Просмотров: 171

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1729-2646 (Print)
ISSN 2500-3909 (Online)