Разработка безопасных и отказоустойчивых систем на основе взаимной проверки аксиоматических базисов

Abstract

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