(openPR) Paris, 7. Februar 2012 – AdaCore, Anbieter von Lösungen für missions- und sicherheitskritische Software, übernimmt die technische Koordination in den Projekten "Project P" und "Hi-MoCo" (High-integrity Model Compiler). Es handelt sich dabei um zwei Open-Source-Forschungsprojekte, die von der französischen und der estnischen Regierung sowie der europäischen Agentur EUREKA unterstützt und finanziert werden.
Die beiden im Oktober 2011 gestarteten Projekte verfolgen das Ziel, ein quelloffenes, anpassbares und qualifizierbares Codegenerierungs-Framework für bereichsspezifische Modellierungssprachen bereitzustellen. Die zentrale Idee dabei ist, dass Regelungstechniker, die mit Simulink, Stateflow und Scicos/XCos arbeiten, Systemingenieure, die SysML/MARTE und AADL nutzen, und Softwareentwickler, die UML anwenden, einfacher zusammenarbeiten können, um eine Integration und Verifikation von Modellen auf Systemlevel und eine optimierte Codegenerierung für Ada 2012, C/C++ und VHDL zu ermöglichen.
AdaCore arbeitet als technischer Koordinator der Projekte eng mit den Teams des estnischen Softwareentwicklers und Systemhauses IB Krates, geleitet von Tõnu Näks, und des französischen Forschungsinstituts IRIT (Institut de Recherche en Informatique de Toulouse), geleitet von Marc Pantel, zusammen. IB Krates und IRIT sind auch die Hauptarchitekten der ITEA-GeneAuto-Technologie, auf der Project P und Hi-MoCo aufbauen. AdaCore, IB Krates und IRIT werden den größten Beitrag zur Entwicklung der Codegenerierungs-Technologie leisten, die für die neuen Tools von zentraler Bedeutung ist. Gemeinsam mit Frédéric Pothon von ACG Solutions, der auch Vorsitzender der Gruppe "Tool Qualification" des DO-178C-Gremiums ist, werden diese drei Unternehmen eine wichtige Rolle in der bereichsübergreifenden Koordination spielen, die sowohl die Luft- und Raumfahrt als auch den Automobilbereich berücksichtigt. Hier wird insbesondere die Erfahrung von AdaCore in der Zertifizierung und Qualifikation von anpassbaren, quelloffenen "commercial-of-the-shelf" (COTS)-Komponenten und Tools gefragt sein, die den Sicherheitsstandards wie DO-178 (Luftfahrt) und ECSS-E-ST-40 (Raumfahrt) entsprechen.
"Das Ziel dieser Projekte ist es, die Trennung von Regelungstechnikern, Systemingenieuren und Softwareentwicklern aufzuheben", betont Franco Gasperoni, Managing Director von AdaCore. „Engpässe in der modellbasierten Softwareentwicklung für die Luft- und Raumfahrt und die Automobilindustrie bestehen in der Integration von heterogenen Modellen und im Mangel an vollständiger Verifikation und Codegenerierungs-Technologien. Project P und Hi-MoCo wollen diese Probleme lösen, indem sie ein quelloffenes, anpassbares und qualifizierbares Codegenerierungs-Framework für heterogene Modelle entwickeln, das zugleich bereichsübergreifendes Qualifikationsmaterial bereitstellt.“
Matteo Bordin, AdaCore-Projektmanager bei Project P und Hi-MoCo, erklärt: "Aktueller Stand der Technik ist es, die Integration auf der Basis des generierten Codes vorzunehmen. Wir schlagen vor, dies direkt auf der Ebene der Modelle zu tun, um Integrationsprobleme bereits zu erkennen, bevor die Modelle stabil genug sind, um Code zu generieren.“
Über Project P
Project P ist ein auf drei Jahre angelegtes Forschungsprojekt, das vom französischen, interministeriellen Einheitsfonds FUI 2011 finanziert wird. Unter der Leitung von Continental Automotive France arbeiten hier 19 Unternehmen und Institutionen zusammen. Dazu gehören Unternehmen aus der Luft- und Raumfahrt sowie der Automobilindustrie (Airbus, Astrium, Continental Automotive, Rockwell Collins, Safran, Thales Alenia Space und Thales Avionics), Technologieanbieter (AdaCore, Altair, STInformatique, Scilab Enterprise), Dienstleistungsunternehmen (ACG Solutions, Aboard Engineering, Atos Origins) sowie Forschungszentren (ENPC, INPT/CNRS, ONERA, Lab-STICC/Université de Bretagne Sud). Weitere Informationen finden sich unter http://www.open-do.org/projects/p.
Über Hi-MoCo
Hi-MoCo ist ein auf zwei Jahre angelegtes Forschungsprojekt, das im Rahmen von Eurostar 2011 finanziert wird und in dem IB Krates (Estland), IRIT und AdaCore (Frankreich) zusammenarbeiten.
Diese Presseinformation kann auch unter www.pr-com.de abgerufen werden.
