AdaCore announces its participation in “Project “P” and “Hi-MoCo” (High-Integrity Model Compiler), two open-source research efforts. The combined projects aim to provide an open-source, tunable and qualifiable code generation framework for domain-specific modeling languages. The key idea is to allow control engineers (using Simulink, Stateflow and Scicos/XCos), system engineers (using SysML/MARTE and AADL), and software engineers (using UML) to easily collaborate for system-level model integration, verification, and final optimized code generation targeting the Ada 2012, C/C++ and VHDL languages.
AdaCore, the technical coordinator of the projects, is working closely with the IB Krates team and members from IRIT (Institut de Recherche en Informatique de Toulouse), the principal architects of the ITEA GeneAuto project and technology on which “Project P” and Hi-MoCo are based. AdaCore, Krates, and IRIT will be the principal contributors to the code generation technology at the heart of the toolset being developed. Together the companies will play a major role in the cross-domain qualification effort spanning the avionics, space, and automotive domains. AdaCore’s expertise in developing and supporting the certification/qualification of tunable, open-source commercial-of-the-shelf components and tools that meet safety and reliability certification standards such as DO-178 and ECSS-E-ST-40 will be especially relevant.
