Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем

Abstract

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