Есть ли стандарты верификации алгоритмов и ПО в промышленности?

Question

[Clean Coder]

Пример утрирован, привожу чисто для наглядности вопроса. Допустим, есть автоматизированный комплекс, контролирующий качество листов металла, которые, пойдут на обшивку самолетов. Степень ответственности очень высокая, пропуск дефектного листа может привести к авиакатастрофе. Отсюда большие требования к работе комплекса, он никак не должен пропустить брак. Все компоненты (датчики и т. п.) должны быть проверены и откалиброваны. Но помимо аппаратной части, есть еще и ПО, которое обрабатывает все входящие данные, и выдает результат. Соответственно, сам вопрос - как производится верификация ПО и алгоритмов в подобных ситуациях? Есть ли какие-то стандартизированные методики проверки корректности, ГОСТы и т. д. ?

Comments

[Roman]

Где можно почитать/посмотреть про принципы проектирования и написания ПО для стратегически важных объектов?

Answer 1

[vvvvvvv]

Конечно есть, Петух например. Только это очень непростой процесс, мало кто может себе позволить нанимать специалистов подобного уровня и тратить так много времени.