Suche   Â
AdaCore beteiligt sich an Forschungsprojekten "Project P" und "Hi-MoCo"
ID: 568980
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.
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. AdaCore hat eine große, weltweite Kundenbasis; bitte finden Sie weitere Informationen auf der folgenden Seite: http://www.adacore.com/home/company/customers/
Sowohl Ada als auch GNAT Pro werden immer häufiger im High-integrity-Bereich und für sicherheitszertifizierte Anwendungen eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor.
AdaCore hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Frank Bauderer
frank.bauderer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
  
  
  
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 0 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore beteiligt sich an Forschungsprojekten "Project P" und "Hi-MoCo""
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).