Вопрос о сертификации прикладных расчетных программ

Мой друг-Профессор (на самом деле профессор, доктор и большой ученый) обратился ко мне с вопросом по поводу сертификации ПО. Как у нас обстоят дела в этой сфере.

Я, в общем-то, в теме ПО не новичок, про вопросы сертификации имею кое-какие представления. Но – именно "кое-какие". На моей памяти вся проблема сертификации ПО у нас связана или с вопросами совместимости (чаще всего с Windows) или обеспечения безопасности (тут я полный профан, знаю только, что есть).

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

В целом все это остается пустыми разговорами.

Хотя в целом подход к проблеме таков: выработка требований – это хорошо, сертификация – тоже хорошо. Но сертификация должна быть добровольной и не должно быть нормативных требований по обязательному наличию сертификата.

Но это – бизнес-приложения.
А что делать с научно-расчетными системами?

Выполняется задача: оценка запасов подземных вод (это – из области моей "дожурналистской" деятельности).
Собираются фактические данные изысканий, проводятся дополнительные изыскания. Далее – собственно анализ, прогноз, выводы.
Все это делается на основе каких-то математических моделей. А модели реализуются с помощью программ.

Проблем тут (в плане оценки достоверности получаемого результата) – выше крыши. Одна из главных – адекватность математических моделей. Вторая (кстати, более простая, но тоже очень сложная) – насколько адекватно программ реализует математическую модель.

Собственно, тут и возникает вопрос сертификации ПО.
Вы сделали Оценку запасов. Но дальне требуется ваш отчет "защитить" (в принципе, как и любую другую НИР). Вопрос-то серьезный – на основе вашей оценки будут приниматься серьезные решения.

Процедура защиты подразумевает прохождение внешней независимой экспертизы.
И вот этот независимый эксперт (обычно это организация) спрашивает: а ваша расчетная программа сертифицирована?

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

Пример. Организация Атомпроект проектирует атомную станцию. Она рассчитывает ес-но тепловой режим реактора. Для этого используется некий программный код. Должен ли этот код быть сертифицирован Росатомнадзором?

То должен ли быть некий внешний контроль над теми программами, которые используются при проектировании объектов, доказывающий что они правильные?
Ведь, например, чтобы делать инженерные изыкания, надо получить лицензию. У нас в стране много лицензируемых видов деятельности. Если завтра мы с тобой создадим фирму А+С и, как старые изыскатели, захотим занаться изыскательской деятельностью, нас заставят получить лицензию. Есть ли подобный механизм в разных предметных отраслях, специальной сертификации (я не пишу лицензирования, поскольку лицензия в IT понимается, как право на использование программы) ПО? Как, например, дело обстоит у военных, у людей, следящих за нами и пр. Есть процедуры, которая программа должна пройти прежде, чем ее официально допустят к работе?
===============

В принципе сама постановка вопроса понятна и справедлива. Но как она реализуется на практике.
Я задал другу-Профессору некоторые встречный вопросы (например, на основе каких нормативных требований эксперт требует сертификации). Он пока выясняет. Но просил меня проконсультироваться по поводу сертификации прикладного ПО у ИТ-проффи.

Что я и делаю. Интересно мнение ИТ-проффи.
Спасибо!