AdaCore beteiligt sich an Forschungsprojekten "Project P" und "Hi-MoCo"

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.

(firmenpresse) - 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.



Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
PresseKontakt / Agentur:
Bereitgestellt von Benutzer: PR-COM
Datum: 07.02.2012 - 11:46 Uhr
Sprache: Deutsch
News-ID 568980
Anzahl Zeichen: 4425

Kontakt-Informationen:
Ansprechpartner: Frank Bauderer
Stadt:

Paris

Telefon: +49-89-59997-803

Kategorie:

Computer & Technik

Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 07.02.2012

Diese Pressemitteilung wurde bisher 510 mal aufgerufen.

AdaCore stärkt mit RecordFlux die Sicherheit binärer Kommunikationsprotokolle ...
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re

AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr

AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.

Weitere Mitteilungen von AdaCore

SAP Award für arvato Systems ...
Gütersloh -- Die SAP Partner Impact Awards wurden von SAP (NYSE: SAP) anlässlich des SAP® EMEA & DACH Field Kick-Off Meetings 2012 (FKOM), das vom 23. bis 25. Januar in Mailand stattfand, an die erfolgreichsten SAP Channel Partner und SAP Services Partner in den Regionen Europa, Naher Osten u

arvato Systems präsentiert sich als Top-Anbieter auf der CeBIT ...
Vom 6. bis 10. März 2012 präsentiert arvato Systems auf der CeBIT - der weltweit wichtigsten Messe der digitalen Industrie - sein breites Microsoft-Lösungsportfolio. Der Fokus wird dabei auf CRM- und SharePoint-Lösungen liegen sowie auf der Präsentation des Methodenstandardtools MITO, Weltneuhe

Partner von ITmitte.de im Profil: IT Business Consulting Bernard Czaja – ITBC² ...
Kurzbeschreibung der IT Business Consulting Bernard Czaja – ITBC² Die IT Business Consulting Bernard Czaja ist Ihr Partner für IT Governance und IT Service Management. Wir verstehen uns als aktive Zuhörer und Macher mit hoher Um­setzungskompetenz. Eine offene Kommunikation, Vertrauen und We

Partner von ITsax.de im Profil: Arbeitskreis Software, Silicon Saxony e.V. ...
Kurzbeschreibung der Arbeitskreis Software, Silicon Saxony e.V. Der Arbeitskreis Software unterstützt, dass sich Silicon Saxony auch zu einem Software-Netzwerk weiterentwickelt. Sachsen gilt als ein kontinuierlicher Trend­setter der Software-Industrie. Basis für Wachstum, hochwertige Arbeitspl