AdaCore släpper komponenter som möjliggör mer flexibel programcertifiering

NEW YORK, PARIS and TOULOUSE, France, 5 december, 2011 – Certification Together Conference – AdaCore, leverantör av Ada-verktyg och expertis för verksamhetskritiska och
säkerhetskritiska programvarusamhällen, meddelade idag att det finns kompetensmaterial för två verktyg: GNATcheck, en Ada kodningsstandard och regelkontroll, och GNATcoverage, en icke-störande strukturell kodtäcknings-analysator. Dessa kvalifikationsdokument utökar befintliga AdaCore-certifieringar och material som innehåller paketet Traceability Analysis Package, en källa till objektkod för spårbarhet för GNAT Pro High-Integrity Edition. Dessa nya produkter kommer att bidra till utvecklingen av certifierade applikationer som är kompatibla med DO-178B avionics programvara med säkerhetsstandard upp till nivå A och kommer att gälla både för DO-178C samt den kommande revideringen av DO-178B.

Kvalificeringenspaketet tillåter utvecklare att ta åt sig äran för användning av GNATcheck och verktyget GNATcoverage i certifieringen av ansökningar i enlighet med DO-178B-standarden på nivå A och nedan (Tabell A5 mål 4 och tabell A7 mål 5, 6, respektive 7).

Traceability Analysis Package svarar på behovet av det ytterligare kontrollarbete som
krävs av DO-178B, nivå A, som en del av den strukturella kodtäckningsaktiviteten. Det möjliggör användning av GNAT Pro compiler för att möta Tabell A7 mål 7, i enlighet med de riktlinjer som beskrivs i Certifikatutfärdaren Software Team Position Paper CAST-12. Spårbarheten i analysmaterialet etablerar spårbarhet mellan källkod och objektkod och ger ytterligare kontroll för spårlöst kod som beskrivs i avsnitt 6.4.4.2.b av DO-178B-standarden. Analysen utförs på en uppsättning kodmönster som är representativt för kundens applikation.

Med denna utgåva har AdaCore tagit de första stegen i utvecklingen av ett certifierings- och ledningssystem. Benämnd ”Qualifying Machine” och det är en smidig ram som stödjer utveckling, underhåll och modifiering av programvara och tillhörande kompetensmaterial. Det
underlättar att ge flera versioner av ett verktyg, varje stöds av ett korrekt och aktuellt kompetensmaterial. Ändra verktyg för att integrera nya funktioner, eller för fixering av rapporterade problem, vilket nu är möjligt, och återkvalificering kan ske stegvis och på ett kostnadseffektivt sätt. Slutmålet är att fullt ut stödja en flexibel, stegvis och kontinuerlig certifieringsprocess som automatiserar de mest tidskrävande certifieringsaktiviteterna, såsom
hanteringen och kontrollen av spårbarhet av uppgifter. Denna strategi beskrevs nyligen i en EE Times artikel The ”Big Thaw” – An Agile Process for Software Certification.

"Genom att erbjuda off-the-shelf qualifiable -verktyg som utvecklas och förbättras tillsammans med resten av tekniken som är den utmaning vi håller på att lösa. Detta kommer att ge de senaste och mest innovativa funktioner till dem som behöver dem, utan att kompromissa med absolut krav på säkerhet ", säger Cyrille Comar, ordförande, AdaCore
Europa.

 

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