> -- Дмитрий Дагаев писал(а):
> За атомную отрасль могу сказать. Есть стандарты МЭК, в них написано про использование ранее разработанного ПО. Два варианта:1. Делаем систему безопасности - тогда каждая строчка кода, ось и весь инструментарий сертифицируется - требования, проект, план качества, ...плюс требования защиты массивов, нет goto, см МЭК-60880

И реально какие применяются инструменты, соответствующие этому стандарту? Ada?