“Project P” and “Hi-MoCo” projects focus on safety critical model-based integration and code generation
February 01, 2012 // Julien Happich
AdaCore has 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, 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. We are proposing to do this at the model level to verify integration issues well before models are mature enough for code generation,” concluded Matteo Bordin, project manager of the “Project P” and “Hi-MoCo” efforts at AdaCore.
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 centres (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
Transport for London plans new road network lighting program to trim energy use by 40 per cent
December 04, 2013
One of the largest 'invest to save' strategic road lighting projects ever undertaken in the UK will see LED technology used ...
World market for direct current power systems for commercial buildings to be USD10bn by 2020
Wireless gesture control device monitors muscle activity to decode user input
Jobs to go at Lfoundry Rousset
Tower signs deal with Shanghai hub
NXP, Datang Telecom launch first Chinese automotive chip company
December 03, 2013
Within the past decade, China became one of the world's largest - and fastest-growing - automotive nations. Now the first ...
Researchers significantly improve efficiency, capacity of lithium-air batteries
Startup drives 60 GHz to small cells
Europe improves as China drives chip market
- 3mm × 3mm QFN IC Directly Monitors 0V to 80V Supplies
- UltraCMOS® Semiconductor Technology Platforms: A Rapid Advancement of Process & Manufacturing
- Adaptive Cell Converter Topology Enables Constant Efficiency in PFC Applications
- Isolated 4-Channel, Thermocouple/RTD Temperature Measurement System with 0.5°C Accuracy
InterviewPerformance monitoring solution helps provide intelligent control of high power systems
A performance monitoring solution designed to enable companies to monitor high power IGBT module systems in locomotive, wind turbine, High Voltage DC and industrial drive applications was unveiled this ...
Filter WizardCheck out the Filter Wizard Series of articles by Filter Guru Kendall Castor-Perry which provide invaluable practical Analog Design guidelines.
Linear video channel
READER OFFERRead more
Internet of Things (IoT) manufacturer Ciseco has launched the Raspberry Pi ‘Wireless Inventors Kit’ (RasWIK), featuring 88 pieces to provide everything a Pi owner needs to follow a series of step-by-step projects or to create their own wireless devices, without the need for configuration or even writing code.
RasWIK has been designed to be highly accessible, demystifying the dark art of wireless and enabling anyone with basic computing skills to begin building wireless devices with a Raspberry Pi. You can create anything from a simple traffic light, to a battery monitor, or even a temperature gauge that sends data to the Xively IoT cloud so billions can access the data.This month, Ciseco is giving away twelve Raspberry Pi Wireless Inventors kits, worth £49.99 each for EETimes Europe's readers to win. Read more
December 15, 2011 | Texas instruments | 222901974
Unique Ser/Des technology supports encrypted video and audio content with full duplex bi-directional control channel over a single wire interface.