'Project P' and 'Hi-MoCo' Research Projects Launched
Open-source research projects combine model-based integration and qualified code generation for safety-critical systems
TOULOUSE, France, PARIS and NEW YORK, February 1, 2012 - ERTS Congress - AdaCore today announced its participation in ‘Project P’ and ‘Hi-MoCo’ (High-Integrity Model Compiler), two open-source research efforts supported and partly funded by the French and Estonian national governments and the European EUREKA agency. The combined projects, which started in October 2011, 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 led by Tõnu Näks and members from IRIT (Institut de Recherche en Informatique de Toulouse) led by Marc Pantel, the principal architects of the ITEA GeneAuto project and technology on which Project P and Hi-MoCo are based. AdaCore, IB Krates, and IRIT will be the principal contributors to the code generation technology at the heart of the toolset being developed. Together with Frédéric Pothon of ACG Solutions and chair of the Tool Qualification subgroup of the DO-178C committee, the three 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 (COTS) components and tools that meet safety and reliability certification standards such as DO-178 (avionics) and ECSS-E-ST-40 (space) will be especially relevant.
“The ultimate goal of these projects is to end the segregation between the control, system and software engineers,” said Franco Gasperoni, Managing Director of AdaCore. “A major bottleneck in the model-driven development of software for avionics, space, and automotive systems is the integration of heterogeneous models and the lack of comprehensive verification and code generation technologies. Project P and Hi-MoCo aim to solve this problem by developing an open-source, tunable and qualifiable code generation framework for heterogeneous models, while making cross-domain qualification material available.”
“The current state-of-the-art is to perform integration on generated sources,” concluded Matteo Bordin, project manager of the Project P and Hi-MoCo efforts at AdaCore. “We are proposing to do this at the model level to verify integration issues well before models are mature enough for code generation.”
About Project P
Project P is a three-year research project financially supported within the French FUI 2011 funding framework. Headed by Continental Automotive France, it involves the collaboration of 19 partners, including major industrial users from the avionics, automotive and space domains (Airbus, Astrium, Continental Automotive, Rockwell Collins, Safran, Thales Alenia Space and Thales Avionics), technology providers (AdaCore, Altair, STInformatique, Scilab Enterprise), service companies (ACG Solutions, Aboard Engineering, Atos Origins) and research centers (ENPC, IRIT-INPT/CNRS, INRIA, ONERA, Lab-STICC/Université de Bretagne Sud). Additional information can be found at http://www.open-do.org/projects/p.
Hi-MoCo is a two-year research project financially supported within the Eurostar 2011 funding framework. It supports the collaboration of IB Krates (Estonia), IRIT, and AdaCore.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.
Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.
AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com