Integrert verifikasjons- og samsvarsløsning

LDRA, et TASKING-selskap som er spesialisert innen automatisert programvareverifisering, sporbarhet og samsvar med standarder, kunngjorde i dag en alt-i-ett-produktivitetspakke for luftfarts- og forsvarsindustrien som adresserer programvaresertifiseringskrav for elektrisk vertikal start og landing (eVTOL)-applikasjoner.

Ved å kombinere kravsporbarhet, programvareanalyse og samsvarsrapportering i én strømlinjeformet arbeidsflyt, akselererer LDRA-produktivitetspakken for luftfart og forsvar utviklingen og sertifiseringen av trygge, sikre og pålitelige innvevde programvareapplikasjoner som avionikk, flykontroller, batteristyring og nyttelaststyringssystemer som må oppfylle strenge standarder til funksjonell sikkerhet og trygghet.

Etter hvert som luftfarts- og forsvarsmarkedet beveger seg mot mer autonome, elektrifiserte og regionale luftfartsapplikasjoner for urban luftmobilitet, fortsetter utviklingsteam å bli utfordret av større programvarekompleksitet og økende samsvarskostnader, ifølge LDRA. For eksempel øker elektrifisering av systemer utfordringen med å oppfylle nivå A-krav. Samtidig, fordi et strømbrudd kan føre til en fullstendig systemfeil, er veien til samsvar på nivå A enda viktigere. Ved å tilby en skreddersydd, samlet løsning, skal LDRA Productivity Package for Aerospace and Defense hjelpe disse teamene med å redusere risiko og forbedre produktiviteten, samtidig som den fremskynder sertifiseringer for standarder som DO-178C, DO-330, DO-326A/B, DO-356A, MIL-STD-882E, JSSSEH og samsvar med The Open Source Future Airborne Capability Environment (FACE) Technical Standard.

– At vi kan erstatte individuell sporbarhet, programvareanalyse og samsvarsrapporteringsløsninger med én enkelt, strømlinjeformet arbeidsflyt er virkelig banebrytende for programvareutviklere som jobber med eVTOL-programmer som støtter elektrisk fremdrift, vertikale start-/landingskontrollsystemer og andre som muliggjør urban luftmobilitet, uttaler Ian Hennell, driftsdirektør i LDRA.

– Med hundrevis av nivå A-sertifiseringer og støtte fra LDRA-sertifiseringstjenester, gir vår integrerte pakke både etablerte luftfartsprodusenter eller systemintegratorer og nye eVTOL-innovatører trygghet for at programvaren deres kan bestå sertifiseringsrevisjoner første gang, samtidig som de reduserer kostnader og eliminerer kompleksitet, hevder han.

I tillegg til å støtte bransjestandarder, integreres LDRA Productivity Package for Aerospace and Defense enkelt med moderne DevSecOps-plattformer for å muliggjøre og utvide kontinuerlig integrasjon, kontinuerlig distribusjon og kontinuerlig verifisering (CI/CD/CV). Integrasjoner med TASKING-kompilatorer og feilsøkings-/sporingsløsninger skal videre redusere kostnadene og risikoen ved utvikling og sertifisering ytterligere. Løsningen tilbyr også flerkjerneanalyse av verst tenkelig eksekveringstid (WCET) for moderne sikkerhetsprosessorer, inkludert ARM Cortex-R og RISC-V.

I stedet for å kreve at utviklere skal finne, integrere og vedlikeholde flere verifiseringsverktøy, samler denne pakken alle de viktigste funksjonene som kreves for å demonstrere samsvar på de høyeste sikkerhetsnivåene, inkludert:

• Toveis sporbarhet av krav (høyt og lavt nivå)

• Kravbasert testing (vert eller mål)

• Statisk og dynamisk analyse for kodekvalitet og dekning

• Samsvar med kodestandarder (MISRA, CERT, osv.)

• Verifisering av objektkode

• Testing på enhets- og systemnivå (vert/mål)

• Sikkerhetsanalyse og rapportering

• Analyse av data-/kontrollkoblinger

• Analyse av verst tenkelige eksekveringstider

• Verktøykvalifiseringspakker

• Full livssyklusstøtte, fra krav til verifisering

• Utvidet TASKING-kompilator og integrering av feilsøkings-/sporingsverktøy