Высоконадежное ПО - МЭК 880

Первоначально опубликовано Grab

Первоначально опубликовано Grab

Какое программное обеспечение (операционные системы, SCADA системы, языки програмирования, трансляторы), предлагаемое на рынке соответствует рекомендациям МЭК 61508 (желательно МЭК 60880)? Какие аппаратные средства соответствуют стандару МЭК 61513, 1998, Nuclear power plants – Instrumentation and control for systems important to safety – General requirements for systems. (Аппаратное обеспечение систем важных для безопасности АЭС. Общие требования.)
Какие производители позиционируют себя именно на этом сегменте рынка?

Я думаю Ваи имеет смысл поискать среди организаций аккредитованных выдавать сертификаты соответствия на упомянутые Вами стандарты (60880 и 61513 обычно рассматривается в связке с 60884 и 60987)
Можете спросить например у http://www.tuev-wolfsburg.de/17688.asp
Иногда такие организации вывешивают списки сертифицированных ими продуктов прямо на своей веб-странице.
По моему сертификаты безопасности имеет операционная система OSE (не помню точно какие).

Первоначально опубликовано Grab

Какие изделия наиболее подходят для данного применения?

Я думаю многие изделия подходят. Но вряд ли многие компании настолько заинтересованы в рынке АЭС, что бы тратить деньги на сертификацию.  Вам похоже нужно выбирать среди тех, кто потратился.
Насколько я помню у нас применение любых свободно программируемых средств в системах именно "ядерной безопасности" (в контурах управления собственно реактором), было чуть ли не под запретом.
С Уважением,
Сергей Сорокин