QGen (2011-Ongoing)

The Gene-Auto toolset has been superseded by the QGen Toolset developed jointly by IB Krates and AdaCore since 2011. The basis of QGen has been developed within the European projects Project P and Hi-MoCo. QGen has a completely new core that has been written in the Ada language. More precisely, in its 2012 version that among other things has integrated support for formal contracts. However, QGen's architecture is fully compatible with the EMF modelling framework. Some examples of customised toolchains can be seen on the Project P website. The development of QGen has been set up in accordance with the DO-178C avionic software qualification guideline and its Tool Qualification Level 1 (TQL 1). The full qualification material will be available in the near future. For further information and quotations please contact us.

• Partners: AdaCore

Integrating the QGen (GMS-P) Automatic Code Generator with the Space Component Model (2014-2015)

The QGen qualifiable and tunable code generation and model verification tool allows code generation from Simulink and Stateflow to MISRA C or SPARK Ada. As a result of the current project it is now possible to define the architecture of an application in the TASTE architectural modelling toolset, functionality of modules in Simulink and use TASTE for generating both, their functional code using QGenc and the binding glue code for various different real-time target platforms.

More information can be found in the TASTE webpage. and this article.

• Customer: European Space Agency (ESA).
  ESA Contract No: 4000110564/13/NL/KML

Hi-MoCo - High-Integrity Model Compiler - EuroStars project 6037 (2011-2015) and Project P - FUI 2011 project (2011-2015)

Project P webpage.
Hi-MoCo Eurostars webpage

• Partners: Aboard Engineering, Airbus Operations, Astrium Satellites, Atos Origin, Continental Automotive, IRIT, ONERA, Rockwell-Collins France, ST Informatique Services, Thales Alenia Space, Thales Avionics, AdaCore, Altair, ENPC, INRIA, Sagem Défense Sécurité, Scilab Enterprises, ACG Solutions, LabSTICC.
• Tools: Matlab/Simulink/Stateflow, Scicos, Xcos, Ada, GPS, Java, Eclipse, EMF, Maven, Enterprise Architect.

Support and customisation of Gene-Auto (2009 - 2010)

Gene-Auto community webpage.
IB Krates Gene-Auto support page.

• Customers: Airbus France, Astrium Sattelites.
• Partners: Alyotech, AdaCore
• Tools: Matlab/Simulink/Stateflow, Java, Eclipse, Maven, Enterprise Architect.

Gene-Auto - Code Generator for Safety Critical Embedded Systems - ITEA Project 05018 (2006 - 2008)

Gene-Auto community webpage.
IB Krates Gene-Auto support page.

• Partners: Continental, Airbus France, Thales Alenia Space, Astrium Sattelites, Israel Aircraft Industries, Barco, Alyotech, INRIA, INTP, Tallinn University of Technology
• Tools: Matlab/Simulink/Stateflow, Scicos, Java, Eclipse, Maven, Enterprise Architect.

Limits CASE tool developed together with Tallinn Technical University (1997 - 1998)

• Customer: Tallinn Technical University (Estonia)
• Tools: VC++, Rogue Wave graphics libraries. MS Jet DB engine