“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
Floating surge stopper provides unlimited overvoltage protection
May 17, 2013
Protecting sensitive electronic circuitry from voltage transients is an essential part of any system be it automotive, industrial, ...
Altera to integrate Enpirion power interfaces into its FPGAs
Automation CAN group plans permanent interoperability test capability
Opening up new user-interaction scenarios with Time-of-Flight measurements
Goepel electronic initiates Cooperation Network with EMS companies
The number of charging stations for electrical vehicles is expected to soar by 20220, study says
May 17, 2013
The number of electric vehicle charging stations is set to soar globally by 2020, supporting a shift in driving away from ...
In automotive lighting, LEDs still lacks of horsepower, study says
Ultra-low-power SoC supports world's smallest Bluetooth location stickers
Imec and Renesas collaborate on ultra-low power short range radios
InterviewWireless control drives Atmel in Europe
Atmel's recent acquisition of Osmo Devices with a WiFi Direct design center in Cambridge and some key microcontroller launches has seen the company focus heavily on wireless control in Europe says Jörg ...
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
The development platform for i.MX 6Quad from element14 (built to the Freescale SABRE Lite design) is an evaluation platform featuring the powerful i.MX 6Q, a multimedia application processor with Quad ARM Cortex-A9 cores at 1.2 GHz from Freescale Semiconductor.
This month, Freescale and element14 are giving away five such platforms, worth £128.06 each, for EETimes Europe's readers to win. The platform helps evaluate the rich set of peripherals and includes a 10/100/Gb Ethernet port, SATA-II, HDMI v1.4, LVDS, parallel RGB interface, touch screen interface, analog headphone/microphone, micro TF and SD card interface, USB, serial port, JTAG, camera interface, and input keys for Android.
And the winners are...
In our previous reader offer, Pico Technology was giving away one of its recently launched PicoScope 3207B, a 2-channel USB 3.0 oscilloscope worth 1451 Euros. Lucky winner Mr L. Sanchez-Gonzalez from Spain should be receiving his PicoScope 3207B soon. Let's wish them some interesting findings with his projects.
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.