05/12-11   -   Pressmeddelande

Qualification Material tillgängligt för GNATcheck och GNATcoverage

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

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

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