Существует такой стандарт DO-254 (и его перевод с комментариями КТ-254), применяется при разработке авионики. Некоторые САПР это поддерживают, некоторые даже софт толкают для разработки под ПЛИС по этому стандарту. Читаю я это чудо, но вызывает отторжение нечеткость формулировок, отсутствие конкретики. Просто много красивых правильных слов. Мне такое не понятно.   Есть ли у кого опыт работы по этому стандарту (процессам)? Есть ли статьи на эту тему, пусть даже англоязычные, где был бы разобра