Тут на днях в Москве был семинар - посмотрел материалы - впечатляет!
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