доктор технических наук, профессор, директор
Professor, Doctor of Technical Sciences, Director
В статье рассматриваются основные аспекты построения надежного программного обеспечения. Обсуждаются методы и способы предупреждения ошибок на основе защитного и многоверсионного программирования, средства пассивного и активного обнаружения ошибок, принципы и методы исправления ошибок на основе динамической избыточности и рестарта. Большое внимание в статье уделяется решению задач построения программ устойчивых к ошибкам с помощью методов отступления, методов изоляции ошибок и построения избыточных алгоритмов не критичных к различного рода нарушениям информационного процесса.
The paper considers the basic aspects of the construction of reliable software. It discusses methods and ways of error prevention based on protective and multiversion programming, tools of passive and active detection of errors, principles and methods of error correction based on dynamic redundancy and restart. Some emphasis is made on solving the tasks of construction of error-tolerant programs with the help of digression methods, techniques of error isolation and construction of redundant algorithms not critical to various types of information process violations.
The authors declare that there are no conflicts of interest present.