GeneAuto/Ada is a verifying model compiler for Simulink/StateFlow and Scicos models. It is based on the GeneAuto technology developed within an ITEA2 project. The target languages for GeneAuto/Ada are Ada 2005 and SPARK 2005. The tool is expected to be qualifiable under DO-178C. The GeneAuto/Ada forge is available here.

GeneAuto/Ada is expected to be further developed within the GeneAuto follow-up project, tentatively dubbed GeneAuto2. A preliminary meeting involving the GeneAuto consortium was held in Toulouse in September 2009. During the meeting, GeneAuto participants - including Airbus, Astrium, Continental, Krates and Rockwell Collins - presented the results obtained during the project. The available slides are:
  • Categories

  • Open-DO Projects

  • Contact

    info @