Роль аксиоматического базиса в разработке безопасных систем заключается в том, что он позволяет:

• Проводить разработку и верификацию безопасных и отказоустойчивых систем в формализованном виде. 1 Например, в качестве утверждений могут выступать корректность выполнения инструкций микроконтроллера, условия выполнения некоторого протокола, частота отказов аппаратных средств и т. д.. 1
• Целенаправленно усиливать диверситет. 1 Это помогает решать проблему отказов по общей причине. 1
• Создавать и верифицировать системы, способные обнаруживать факт отказа. 13 Как следствие, они могут переходить в безопасное состояние или самовосстанавливаться. 1

Таким образом, аксиоматический базис служит основой для разработки безопасных систем, которые отличаются отказоустойчивостью и способностью диагностировать проблему с сохранением работоспособности. 3