05/12-11   -   Pressmeddelande

AdaCore får Agile-certifiering: OPENCOSS- och pSafecer-projekt

AdaCore tillför sin expertis av högsta integritet till viktiga samarbetsprojekt

Certification Together Conference - AdaCore har glädjen att meddela om sitt deltagande i två EU-finansierade forskningsprojekt, OPENCOSS och pSafecer. Båda projekten syftar till att stödja komponentbaserad utveckling i säkerhetskritiska system, i synnerhet genom sammansättning av produktionen av säkerhetsbevis. De syftar också till att maximera återanvändning av komponenter. Denna strategi beskrevs nyligen i en EE Times artikel The “Big Thaw" - An Agile Process for Software Certification.

AdaCores bidrag till båda projekten kommer att vara utveckling av ett certifierings- och ledningssystem som kommer ge stöd för certifieringaktiviteter. “Qualifying Machine" vars slutmål är fullt stöd för en flexibel, stegvis och kontinuerlig certifieringsprocess som automatiserar de mest tidskrävande certifieringsaktiviteterna, såsom hanteringen och kontrollen av spårbarhet av uppgifter.

"Vårt deltagande i dessa två viktiga EU-finansierade projekt ger oss möjlighet att validera de idéer i Open-DO-initiativ med våra många partners från olika branscher. Det är mycket spännande, liksom mycket utmanande, att dra nytta av en så rik miljö för att utveckla ett Open Source för multi-industrin, ett certifierings-orienterat ramverk", säger Cyrille Comar, ordförande, AdaCore Europa.

Om OPENCOSS
OPENCOSS syftar till att bygga ett öppet ramverk av Source certifiering, som sträcker sig över järnvägen, flyg- och fordonsindustrin. Projektet fokuserar på att främja sammansättning av certifiering genom återanvändning av säkerhetsargument och bevis. OPENCOSS startade i oktober 2011 och kommer att pågå i 3,5 år. OPENCOSS omfattar 17 partner och finansieras inom EU:s sjunde ramprogram för forskning och teknisk utveckling. Mer information om OPENCOSS projektet finns på http://www.opencoss-project.eu/.

Om pSafecer
pSafecer syftar till att stödja komponentbaserad utveckling genom en URL-komponent-modell av säkerhet och kontraktcertifiering. pSafecer driftskompatibla och öppna verktyg kommer att bygga på denna specifikation att automatisera flera certifieringsaktiviteter. pSafecer inleddes i april 2011 och kommer att pågå i två år. Mer än 30 partners är involverade i projektet, som finansieras av EU:s ARTEMIS Embedded Computing Systems Initiative. Mer information om pSafecer projektet finns på http://www.safecer.eu/.

För att ta reda på mer om AdaCores forskningsinsatser och om företagets bidrag till projekt för forskningssamverkan besök http://www.open-do.org/projects.

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
press@adacore.com
http://twitter.com/AdaCoreCompany

Andreas Wadensten
Time PR
0709-77 90 90
andreas.wadensten@time.se