Kombinerad modellbaserad integration och kvalificerad kodgenerering för säkerhetskritiska system

Paris och Toulouse, Frankrike den 1 februari 2012 – Embedded Real Time Programvara och system 2012 – AdaCore tillkännagav idag sitt deltagande i "Projekt" P"och" Hi-MoCo"(High Integrity Model Compiler), två öppna källkoder för forskningsinsatser som stöds och delvis finansieras av de franska och estniska regeringarna och Europeiska EUREKA-byrån. Det kombinerade projekt, som startade i oktober 2011, syftar till att tillhandahålla en öppen källkod, med avstämbara och kvalificerad ramkodgenerering för domänspecifika modelleringsspråk. Huvudtanken är att möjliggöra kontroll för ingenjörer (med hjälp av Simulink, Stateflow och Scicos/XCos), systemingenjörer (med SysML/Marte och AADL) och ingenjörers programvara (med UML) för att enkelt samarbeta för system-nivå med modellintegration, verifiering och den senaste optimerade kodgenerationen som riktar sig till Ada 2012, C/ C+ + och VHDL-språk.

AdaCore är teknisk samordnare för projekten och har ett nära samarbete med IB Krates som leds av Tõnu Näks och medlemmar från IRIT (Institut de Recherche en Informatique de Toulouse) som leds av Marc Pantel, arkitekt av ITEA GeneAuto -projektet med teknologi som ”Project P” och Hi-MoCo är baserade på. AdaCore, Krates och IRIT kommer att vara de främsta bidragsgivarna till koden med generationens teknologi i, hjärtat av de verktyg som utvecklas. Tillsammans med Frédéric Pothon av ACG Solutions och ordförande i Tool Qualification undergrupp av DO-178C-kommittén, kommer de tre företagen spela en viktig roll i domänöverskridande examensarbete som spänner över avionik, utrymme, och fordonsindustrin. AdaCores kompetens i att utveckla och stödja certifiering/kvalificering av avstämbar öppen källkod, commersial-of-the-shelf (COTS) -komponenter och verktyg som uppfyller säkerhet och tillförlitlighet med standarder och certifiering, t.ex. DO-178 (flygelektronik) och ECSS-E-ST -40 (rymden) kommer att vara särskilt relevant.

"Det yttersta målet för dessa projekt är att få slut på segregationen mellan kontroll, system-och mjukvaruingenjörer", säger Franco Gasperoni, VD för AdaCore. En stor flaskhals i modelldriven utveckling av mjukvara för flygelektronik, rymd och Automotive Systems är integrering av heterogena modeller och bristen på heltäckande verifiering och kod till teknikgenerationen. "Projekt P" och "Hi-MoCo" syftar till att lösa detta problem genom att utveckla en öppen källkod, avstämbara och kvalificerbart ramverk med kodgenerering för heterogena modeller, samtidigt som flera domäner med material är tillgängligt. "Det mest avancerade idag är att utföra integration på genererade källor. Vi föreslår att göra detta på modellnivå med att verifiera integrationsfrågor långt innan modellerna är tillräckligt mogna för kodgenerering ", avslutade Matteo Bordin, projektledare för "Projekt P" och "Hi-MoCo" hos AdaCore.

Om Project P
Projekt P är ett treårigt forskningsprojekt med ekonomiskt stöd inom den franska FUI 2011 finansierings ram. Leds av Continental Automotive Frankrike, handlar det i samarbete med 19 partners såsom större industriella användare från flyg-, fordons- och rymdindustrin (Airbus, Astrium, Continental Automotive, Rockwell Collins, Safran, Thales Alenia Space och Thales Avionics), teknikleverantörer (AdaCore, Altair, STInformatique, Scilab Enterprise), tjänsteföretag (ACG Solutions, Aboard Engineering, Atos Origins) och forskningscentra (ENPC, IRIT-INPT/CNRS, INRIA, ONERA, Lab-STICC/Université de Bretagne Sud). Ytterligare information finns på http://www.open-do.org/projects/p.

Om Hi-MoCo
Hi-MoCo P är ett tvåårigt forskningsprojekt med ekonomiskt stöd inom Eurostar 2011 finansieringsram. Det stöder samarbete med IB Krates (Estland), IRIT och AdaCore (Frankrike).

Om AdaCore

AdaCore grundades 1994 och är den ledande leverantören av kommersiella mjukvarulösningar för Ada, ett toppmodernt programmeringsspråk utformat för stora, långlivade tillämpningar där säkerhet, skydd och pålitlighet är kritiska faktorer. AdaCores flaggskeppsprodukt är utvecklingsmiljön GNAT Pro, som säljs med expert-support online och finns tillgänglig på fler plattformar än någon annan Ada-teknologi. AdaCore har en omfattande global användarbas; se http://www.adacore.com/home/company/customers/ för mer information.

 

Ada och GNAT Pro ser nu en stor ökning inom tillämpningar med hög integritet och säkerhetscertifiering, till exempel kommersiell flygteknik, militärsystem, flygtrafikledning/-kontroll, järnvägssystem, medicinsk utrustning, samt inom säkerhetskänsliga områden såsom finanstjänster. Verktygsuppsättningen SPARK Pro, som tillhandahålls av AdaCore, är särskilt användbar i sådana sammanhang.

 

AdaCore har ett nordamerikanskt huvudkontor i New York och ett europeiskt huvudkontor i Paris. www.adacore.com

 

Presskontakt:

Jamie Ayre

AdaCore

[u]press@adacore.com[/u]

[u]http://twitter.com/AdaCoreCompany[/u]

 

Andreas Wadensten

Time PR

0709-77 90 90

andreas.wadensten@time.se

 

 

 

Pressreleasen kommer från: Newsdesk