Re: Новые проблемы...
> http://www.defensenews.com/story.php?i=4078604&c=EUR&s=AIR
>Производитель управляющего софта для движков запорол сертификацию на ДО178Б с непонятными пока последствиями.
Ситуация действительно забавная. Как пишут в статье сертификация уперлась в "requirement traceability through development cycles", т.е. по-русски в прослеживаемость связи исходных требований с тем что в итоге получилось в коде. Такая прослеживаемость может достигаться различными способами, но все эти способы реально трудозатратны - например, написание так называемых "unit test"-ов и "test cases" + проведение тестов по ним может в разы перекрыть по времени написание самого софта. Плюс для создание условий для нормального функционирования всего этого барахла может потребоваться изменение архитектуры.
Так что имхо дело плохо, т.к. отдельных требований в таких системах может быть тысячи, а, возможно и десятки тысяч ..