Esterel technologies Scade

   SCADE Editor, software generating DO-178B DAL A certified  
  code