РАЗРАБОТКА ВЫСОКОНАДЕЖНЫХ СИСТЕМ НА ОСНОВЕ МЕТОДА ВЗАИМНОЙ ПРОВЕРКИ АКСИОМАТИЧЕСКИХ БАЗИСОВ
https://doi.org/10.21683/1729-2646-2016-16-1-66-76
Аннотация
На основе метода взаимной проверки аксиоматических базисов разработаны безопасные микропроцессорные системы, устойчивые к отказам. Проведены их испытания на безопасность и отказоустойчивость с помощью комплекса имитационных испытаний на безопасность (КИИБ). Выявлено, что усиление проверяющего аксиоматического базиса позволяет улучшить показатели отказоустойчивости. Показано, что взаимная проверка аксиоматических базисов позволяет разрабатывать отказоустойчивые и безопасные системы с целевыми свойствами.
Для цитирования:
Харлап С.Н., Сивко Б.В. РАЗРАБОТКА ВЫСОКОНАДЕЖНЫХ СИСТЕМ НА ОСНОВЕ МЕТОДА ВЗАИМНОЙ ПРОВЕРКИ АКСИОМАТИЧЕСКИХ БАЗИСОВ. Надежность. 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. https://doi.org/10.21683/1729-2646-2016-16-1-66-76
Просмотров:
753
ISSN 1729-2646 (Print)
ISSN 2500-3909 (Online)
ISSN 2500-3909 (Online)
Послать статью по эл. почте 