МЕТОДЫ ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ НАДЕЖНОСТИ ПРОГРАММ

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

программа, ошибка, надежность программ, предупреждение ошибок, обнаружение ошибок, исправление ошибок, устойчивость к ошибкам, защитное программирование, многоверсионное программирование, рестарт, динамическая избыточность, алгоритмическая избыточность, изоляция ошибок

1. Шубинский И.Б. Функциональная надежность информационных систем (Методы анализа). М.: ООО «Журнал «Надежность», 2012, 296с.

2. BS EN 50128:2011. Программное обеспечение для систем управления и защиты на железных дорогах.

3. ГОСТ Р/МЭК 61508-3-2012. Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Требования к программному обеспечению.