Тут на днях в Москве был семинар - посмотрел материалы - впечатляет!
http://www.esterel-technologies.com/SCADE Suite is the standard for the development of safety-critical Mil-Aero embedded software, including
RTCA DO-178B up to Level A certified systems.
http://www.esterel-technologies.com/produc...e/overview.html