Cover: AdaCore & co reveal their draft free certification
Write:
Arielle [2011-05-20]
Cover: AdaCore & co reveal their draft free certification
FOSS rises to power in the industry. AdaCore, Open Wide, Telecom ParisTech and LIP6 have formalized Tuesday the launch of the draft coverage during a press briefing. This project free and open source is developing tools for analysis of coverage of code used by critical applications (emulation and virtualization) that require certification (DO-178B standard in the avionics). The tools developed will be independent of programming languages, non-intrusive, adaptable and consistent with the objectives of qualification tools' DO-178. "The project is to develop an ecosystem around the concept of certificationfree, in other words, the component of an environment that will enable companies to certify to a competent authority," said Cyrille Comar, co-founder and associate director of AdaCore, before a small assembly made up of partners and industrialists, including Thales. Before adding: "With free software, certification is not immutable, it is the subject of cooperation beneficial to all the players in the ecosystem." For two years, the project partners coverage will work towards its implementation. Within a year, a first prototype should be presented. Society editor of GNAT pro (compiler ADA), AdaCore will drive the project. Open Wide, integrator of open source solutions, will work to its adaptability in the field. As for Telecom ParisTech (ex-ENST) and LIP6 (Laboratory of Computer Science Paris 6, University Pierre and Marie Curie), they generalized approach to the distributed systems and languages to run on virtual machines. The team of developers behind the project is headed by Roberto Di Cosmo, chairman of the group 'free software' in the pole competitiveness System @ tic Paris-Region. "This is one of the flagship projects of the pole, a good combination of industrial applications and formal methods and theoretical, with the driver over free software. This is both an element of support for industrial projects and a vehicle recovery of research. I look forward to this project, including over relations between manufacturers and laboratories, "he said. Labellise under the 5th call for projects of the unique inter-fund the project coverage (analysis of structural coverage) requires a global effort estimated at 160 men per month. It is funded by over 1 million by the Directorate General Enterprise (CEO) of the Ministry of Economy and Industry, the Ile-de-France and the department of Paris.