Исходное сообщение
"Аудит кода показал полную беззащитность авиационного ПО пере..." Отправлено yantux, 17-Май-09 19:07
> Эта фраза предполагает, что можно получить сертификаты разработчика, годности и прочие (http://www.mak.ru/russian/certificates_all.html) не имея и не подтверждая качества верификации ПО? Или что можно официально оснащать борт несертифицированным оборудованием? Нет, это фраза предполагает, что у нас это делается чисто формально, для бумажки. Это реальный факт и реальная жизнь наших почтовых ящиков. По вашей ссылке нет ни чего про сертификацию софта. > По ссылке, есть сертификаты двух систем, в разработке и сертификации которых я принимал непосредственное участие (не считая сертификации самого предприятия). Как происходит этот процесс в реальной жизненной практике, к примеру, в Конго, я действительно понятия не имею, и соответственно не очень-то его понимаю. Ясненько :) стало быть откаты стрижёте? В не поверю, что есть польза от вашей сертификации предприятия. Кроме Конго, есть ещё другие страны, которые добились существенных успехов по части верификации. На собственном опыте знаю (верификация софта для прибора 787), что организация сертификации в США это серьёзно. У нас на таком уровне это сделать не реально - нужна нормальная организация процесса и деньги. У нас же деньги просто распилят. А за копеечную зарплату провести нормальный процесс верификации в принцепе не возможно.