Introduktion
Radio Technical Commission for Aeronautics (RTCA) udvikler teknisk vejledning og standarder for luftfartsindustrien med fokus på at sikre sikkerhed, ydeevne og pålidelighed i luftbårne systemer. Blandt dets mest kritiske bidrag er DO-178-serien af standarder, som fastlægger retningslinjer for udvikling og verifikation af flyelektroniksoftware.
RTCA DO-178 er de facto-standarden for certificering af software, der anvendes i sikkerhedskritiske luftbårne systemer og udstyr. Den definerer mål, processer og kriterier for at sikre softwarepålidelighed, compliance og sporbarhed gennem hele udviklingslivscyklussen. DO-178 hjælper med at mindske risici, forbedre softwarekvaliteten og opfylde regulatoriske krav, hvilket gør det afgørende for kommercielle og forsvarsmæssige luftfartsprojekter.
Først introduceret i 1992, blev RTCA DO-178B bredt vedtaget som en hjørnesten i luftfartssoftwarecertificering. Fremskridt inden for softwareteknologier og udviklingsmetoder fremhævede imidlertid behovet for opdateringer. RTCA DO-2011C blev udgivet i 178 og imødekom disse udfordringer ved at introducere supplerende dokumenter til modelbaseret design, formelle metoder, objektorienteret programmering og forbedrede værktøjskvalificeringsprocesser. Denne overgang gjorde det muligt for industrien bedre at tilpasse sig moderne softwareingeniørpraksis og samtidig opretholde strenge sikkerhedskrav.
Forståelse af RTCA DO-178B og RTCA DO-178C
Hvad er DO-178B?
RTCA DO-178B, formelt benævnt "Softwareovervejelser i luftbårne systemer og udstyrscertificering," blev introduceret i 1992. Den dukkede op som den anden iteration af DO-178-standarden, der erstattede den tidligere version, DO-178A, for at imødekomme udviklende softwareudviklingsudfordringer i luftfartsindustrien.
Nøglemål og retningslinjer
DO-178B skitserer en struktureret ramme for at sikre, at sikkerhedskritisk software opfylder strenge certificeringskrav. Dens mål omfatter:
- Etablering af en klar udviklingslivscyklus.
- Sikring af sporbarhed fra krav til kode og test.
- Verifikation af rigtigheden og fuldstændigheden af softwarefunktioner.
Standarden kategoriserer software i fem Design Assurance Levels (DAL'er), hvor DAL A er det mest kritiske og kræver den strengeste overholdelse.
Rolle i at sikre overholdelse af software
DO-178B sikrer, at flyelektroniksoftware overholder sikkerheds- og pålidelighedsstandarder, hvilket minimerer risikoen for systemfejl. Dens retningslinjer er afgørende for at opnå regulatorisk godkendelse fra luftfartsmyndigheder som FAA og EASA, hvilket muliggør global standardisering af luftbåren softwarecertificering.
Hvad er DO-178C?
Fremskridt inden for softwareudviklingspraksis, herunder objektorienteret programmering, modelbaseret design og formelle verifikationsmetoder, skabte huller i DO-178B's anvendelighed. For at afhjælpe disse huller blev RTCA DO-178C introduceret i 2011 og tilbyder forbedret vejledning skræddersyet til moderne metoder, samtidig med at dets forgængers strenge sikkerhedsfokus bevares.
Udvidede fokusområder
DO-178C introducerer supplerende dokumenter for at udvide dens omfang:
- THU-330: Værktøjskvalificeringsprocesser.
- THU-331: Vejledning til modelbaseret udvikling og verifikation.
- THU-332: Overvejelser til objektorienteret teknologi.
- THU-333: Anvendelse af formelle metoder til verifikation.
Disse tillæg giver detaljeret vejledning til at håndtere specifikke kompleksiteter i moderne softwareudvikling.
Forbedret klarhed og yderligere tillæg
Sammenlignet med DO-178B tilbyder DO-178C klarere mål, raffinerede kravsporbarhedsprocesser og opdaterede verifikationsvejledninger. Den lægger vægt på automatiserede værktøjer og metoder til forbedring af effektivitet, konsistens og overholdelse på tværs af softwareudviklingens livscyklus.
Nøgleforskelle mellem DO-178B og DO-178C
|
Aspect
|
DO-178B
|
DO-178C
|
|---|---|---|
|
Supplerende dokumenter
|
Ingen supplerende dokumenter
|
Introducerede fire tillæg: DO-330 (værktøjskvalifikation), DO-331 (modelbaseret udvikling), DO-332 (objektorienteret teknologi), DO-333 (formelle metoder)
|
|
Værktøjskvalifikation
|
Begrænset vejledning om værktøjskvalifikation
|
Detaljeret vejledning til kvalificerende udviklings- og verifikationsværktøjer med DO-330
|
|
Modelbaseret udvikling
|
Ikke adresseret
|
DO-331 giver vejledning til brug af modeller i softwareudvikling og verifikation
|
|
Objektorienteret teknologi
|
Ikke dækket
|
DO-332 skitserer overvejelser for objektorienteret programmering og design
|
|
Formelle metoder
|
Ikke specificeret
|
DO-333 gør det muligt at bruge formelle metoder til verifikation, hvilket reducerer testindsatsen
|
|
Kravstyring
|
Grundlæggende kravdefinition og validering
|
Forbedret kravstyring med forbedret sporbarhed
|
|
Sporbarhed
|
Grundlæggende krav til sporbarhed
|
Styrket ende-til-ende sporbarhed fra krav til kode og test
|
|
Verifikationsprocesser
|
Manuelle og semi-automatiserede processer
|
Vægt på automatisering til verifikations- og valideringsaktiviteter
|
|
Automatiseringssupport
|
Begrænset automatiseringsvejledning
|
Stærkt fokus på automatiseret værktøjsbrug og kvalificeringsprocesser
|
Denne tabelformede repræsentation fremhæver forskellen mellem DO-178B og DO-178C, og hvordan RTCA DO-178C bygger på sin forgænger ved at tilbyde mere omfattende, moderniseret vejledning til softwareudvikling inden for flyelektronik.
Hvad er udfordringerne ved overgangen mellem DO-178B og DO-178C? Hvordan overvinder man dem?
Kompatibilitetsproblemer med ældre systemer
Udfordring: DO-178B-baserede systemer kan mangle den struktur og sporbarhedsmekanismer, der kræves til DO-178C-overholdelse, hvilket gør integration med nye krav vanskelig.
Opløsning:
- Udfør en hulanalyse for at identificere områder, der kræver opdateringer.
- Implementer trinvise systemopgraderinger for at opfylde DO-178C-målene.
- Brug bagudkompatible værktøjer til at bygge bro mellem ældre systemer og moderne løsninger.
Øgede krav til verifikation og validering
Udfordring: DO-178C kræver mere stringente verifikationsaktiviteter, herunder brug af formelle metoder og modelbaseret udviklingspraksis.
Opløsning:
- Automatiser verifikations- og valideringsprocesser ved hjælp af kvalificerede værktøjer.
- Brug DO-333 (formelle metoder) til at reducere testindsats gennem matematiske beviser.
- Udnyt modelbaseret design til tidlig validering af softwaremodeller.
Komplekse værktøjskvalificeringsprocesser
Udfordring: Introduktionen af DO-330 til værktøjskvalificering øger kompleksiteten i at sikre, at udviklings- og verifikationsværktøjer overholder certificeringskravene.
Opløsning:
- Etabler en struktureret værktøjskvalificeringsproces baseret på DO-330 retningslinjer.
- Vedligehold omfattende dokumentation for at demonstrere værktøjets overholdelse.
- Partner med leverandører, der tilbyder prækvalificerede værktøjer til effektivitet.
Trænings- og ressourceudfordringer
Udfordring: Overgang til DO-178C kræver specialiseret træning i nye supplerende dokumenter og avancerede teknikker såsom formelle metoder og objektorienteret design.
Opløsning:
- Invester i omfattende træningsprogrammer for udviklings- og kvalitetsteams.
- Lej eller rådfør dig med eksperter, der er fortrolige med DO-178C-praksis.
- Udvikle interne videndelingsprogrammer for at fremme bedste praksis.
Ved proaktivt at håndtere disse udfordringer kan organisationer problemfrit skifte fra DO-178B til DO-178C, hvilket sikrer overholdelse, samtidig med at softwareudvikling og certificeringseffektivitet forbedres.
Sammenligning af DO-254 VS DO-178C
Hvad er DO-254?
DO-254, med titlen "Design Assurance Guidance for Airborne Electronic Hardware," er en standard udviklet af RTCA til at guide udviklingen og certificeringen af hardware, der bruges i flyelektroniksystemer. Udgivet i 2000, fokuserer det på at sikre sikkerheden og pålideligheden af elektroniske komponenter såsom printkort, ASIC'er og FPGA'er.
DO-254 fungerer som hardwaremodstykket til DO-178C, som styrer softwareudvikling. Ved at sætte mål for design, verifikation og sporbarhed sikrer DO-254, at luftbåren elektronisk hardware opfylder strenge krav til sikkerhed og pålidelighed, hvilket gør det afgørende for certificering af luftfartsmyndigheder.
Nøgleforskelle mellem DO-254 og DO-178C
|
Aspect
|
THU-254
|
DO-178C
|
|---|---|---|
|
Fokusområde
|
Hardware udvikling
|
Softwareudvikling
|
|
Formål
|
Sikrer sikkerheden og pålideligheden af luftbåren elektronisk hardware
|
Sikrer sikkerhed, sporbarhed og kvalitet af flyelektroniksoftware
|
|
Design Assurance Levels (DAL'er)
|
DAL A til DAL E (hardware-kritiske niveauer)
|
DAL A til DAL E (softwarekritiske niveauer)
|
|
Overholdelsesmål
|
Mindre detaljerede verifikationskrav sammenlignet med software
|
Omfattende verifikations- og valideringsprocesser
|
|
Certificeringsomfang
|
Fokuserer på fysiske komponenter som PCB'er, FPGA'er og ASIC'er
|
Dækker indlejret software, kodedesign og test
|
|
Værktøjskvalifikation
|
Begrænset vejledning om værktøjskvalifikation
|
Omfattende værktøjskvalifikationsvejledning gennem DO-330
|
|
Sporbarhed
|
Sporbarhed mellem hardwarekrav og design
|
End-to-end sporbarhed fra krav til kode og test
|
|
Verifikationsmetoder
|
Funktionstest, simulering og dækningsanalyse
|
Dynamisk test, statisk analyse og formelle metoder
|
|
overlap
|
Begge standarder kræver dokumentation, designsikkerhedsniveauer og certificeringsartefakter
|
Begge sigter mod at sikre overholdelse af sikkerheden for luftbårne systemer
|
DO-254 og DO-178C integrationsudfordringer
Kompleksitet i samtidig certificering
Udfordring: Samtidig certificering af både hardware (DO-254) og software (DO-178C) kan være udfordrende på grund af forskellige tidslinjer og udviklingsprocesser.
Opløsning:
- Etabler en integreret projektplan, der afstemmer hardware- og softwarecertificeringsmilepæle.
- Brug standardiseret dokumentationspraksis for at reducere redundans og forbedre sammenhængen.
Kommunikation mellem hardware- og softwareteams
Udfordring: Dårlig kommunikation mellem hardware- og softwareudviklingsteams kan føre til forkerte krav og forsinkelser.
Opløsning:
- Fremme tværgående samarbejde gennem regelmæssige møder og fælles værktøjer.
- Implementer integrerede kravsporbarhedssystemer for at sikre overensstemmelse mellem hardware- og softwarekrav.
Ved at forstå forskellene og tackle integrationsudfordringer kan organisationer strømline certificeringsprocessen for flyelektroniksystemer og samtidig opfylde både DO-254 og DO-178C overholdelsesmål.
Fordele ved DO-254 og DO-178C standarder
Forbedret sikkerhed og pålidelighed
- Begge standarder sikrer udviklingen af flyelektroniksystemer af høj kvalitet, hvilket minimerer risikoen for systemfejl.
- DO-178C sikrer softwaresikkerhed, mens DO-254 fokuserer på hardwarepålidelighed og tilbyder en holistisk tilgang til systemsikkerhed.
- Ved at overholde disse standarder kan organisationer opfylde strenge regulatoriske krav til luftbårne systemer.
Strukturerede udviklingsprocesser
- Standarderne giver en systematisk tilgang til design, udvikling, verifikation og certificering af hardware og software.
- Definerede designsikkerhedsniveauer (DAL'er) for både DO-178C og DO-254 hjælper med at prioritere udviklingsaktiviteter baseret på kritikalitet.
- Strukturerede retningslinjer fremmer konsistens i projektudførelsen, hvilket sikrer forudsigelige resultater.
Øget sporbarhed og validering
- Sporbarhed fra ende til ende sikrer, at alle krav registreres, implementeres og testes grundigt.
- DO-178C lægger vægt på sporbarhed fra krav til kode og testcases, mens DO-254 kobler hardwarekrav til fysiske designs.
- Forbedrede valideringsteknikker forbedrer defektdetektion og sikrer overholdelse af certificeringsmål.
Ved at udnytte fordelene ved DO-254 og DO-178C kan organisationer opnå sikre, pålidelige og kompatible flyelektroniksystemer og opnå en konkurrencefordel i rumfartsindustrien.
Bedste praksis til at løse DO-178C og DO-254 udfordringer
Invester i automatiserede værktøjer til overholdelse
- Brug certificerede og kompatible værktøjer til kravstyring, verifikation og sporbarhed for at reducere manuel indsats.
- Implementer DO-330-kvalificerede værktøjer til at automatisere test-, validerings- og dokumentationsprocesser.
- Fordelene omfatter hurtigere certificeringstidslinjer og forbedret fejlregistrering.
Tidlig integration af hardware- og softwareteams
- Tilskynd til samarbejde mellem hardware- og softwareudviklingsteams fra projektets start.
- Gennemfør fælles designgennemgange og valideringssessioner for at tilpasse hardware- og softwarekravene.
- Brug integrerede platforme til samtidig håndtering af DO-178C og DO-254 artefakter.
Korrekt træning og ressourceallokering
- Giv specialiseret træning i DO-178C, DO-254 og supplerende dokumenter som DO-331 og DO-333.
- Lej eller rådfør dig med eksperter, der er dygtige til både hardware- og softwarecertificeringsprocesser.
- Tildel ressourcer strategisk til at håndtere komplekse værktøjskvalificerings- og verifikationsopgaver.
Oprethold stærk sporbarhed
- Etabler omfattende sporbarhed mellem krav, designelementer og testcases.
- Brug avancerede kravstyringsplatforme til at forbinde hardware- og softwarekrav problemfrit.
- Sikre sporbarhed for certificeringsartefakter for at demonstrere overholdelse og reducere revisionsrisici.
Ved at vedtage disse bedste praksisser kan organisationer overvinde udfordringerne med samtidig DO-178C og DO-254 certificering og opnå overholdelse effektivt og samtidig forbedre kvaliteten af luftbårne systemer.
Visurekrav ALM-platform til DO-254, DO-178B og DO-178C
Visure Requirements ALM-platformen forenkler håndteringen af DO-178C og DO-254-overholdelse og sikrer, at software og hardware opfylder strenge certificeringskrav. Sådan understøtter Visure certificeringsprocesser:
Robust kravstyring
- Centraliseret lager: Administrer software- og hardwarekrav på én platform for bedre samarbejde.
- Versionskontrol og genbrugelighed: Spor effektivt ændringer og genbrugskrav på tværs af projekter.
End-to-end sporbarhed
- Fuldstændig sporbarhed: Sikre sporbarhed fra krav til design, kode, test og verifikation.
- Visualisering: Spor og visualiser sammenhænge mellem krav og udviklingsaktiviteter.
Overholdelsesmålinger og rapportering, der kan tilpasses
- Skræddersyet rapportering: Opret tilpassede overholdelsesrapporter for DO-178C og DO-254 certificering.
- Realtidsmålinger og dashboards: Hold dig på sporet med fremskridtssynlighed og automatiserede revisioner.
AI-assistent
- Generering af krav og testcase: AI hjælper med at generere krav og testcases og foreslår gældende standarder.
- Risiko- og kvalitetsanalyse: Analyserer automatisk risiko og foreslår forbedringer for bedre overholdelse.
Verifikation og validering
- Automatiseret bekræftelse: Link krav til tests for automatiseret verifikation og validering på tværs af domæner.
- DO-178C/DO-254 Overholdelse: Understøtter alle verifikationsaktiviteter, der kræves for certificering.
Risiko- og forandringsledelse
- FMEA og effektanalyse: Reducer risici tidligt med integreret FMEA og konsekvensanalyse.
- Baseline Management: Bevar kontrol over godkendte krav og ændringer.
Problemfri Integration
- Import/eksport fra MS Word og Excel: Migrér nemt eksisterende dokumentation til Visure.
- Værktøjsintegration: Integrer med værktøjer som Rapita Systems og IBM DOORS, der understøtter jævn dataudveksling.
Fordele ved at bruge Visure til DO-178C og DO-254 overensstemmelse:
- Øget effektivitet: Automatisering af nøgleprocesser, såsom kravgenerering, oprettelse af testsager og risikoanalyse, fremskynder overholdelsesprocessen.
- Forbedret overholdelse og sporbarhed: End-to-end-sporbarhed og overholdelsesrapportering i realtid sikrer en strømlinet certificeringsrejse.
- Problemfrit samarbejde: Forbedret samarbejde på tværs af hardware- og softwareteams minimerer fejl og fejljusteringer.
- Skalerbar til store projekter: Visures platform er designet til at skalere til store, komplekse rumfartsprojekter, der understøtter både små og store teams.
Visure-krav ALM Platform strømliner den komplekse certificeringsproces for DO-254, DO-178B og DO-178C, hvilket forbedrer overholdelse, effektivitet og nøjagtighed.
Konklusion
Overgangen til DO-178C og DO-254 standarder giver unikke udfordringer, men med de rigtige værktøjer og strategier kan overholdelse opnås mere effektivt. De Visure Krav ALM Platform tilbyder en omfattende løsning, der sikrer ende-til-ende sporbarhed, robust kravstyring, AI-assisterede processer og problemfri integration med eksisterende værktøjer. Ved at forbedre samarbejdet på tværs af software- og hardwareteams, automatisere nøgleopgaver og give overholdelsessynlighed i realtid, forenkler Visure kompleksiteten ved at opfylde certificeringsstandarder for rumfartsprojekter.
For organisationer, der søger at strømline deres certificeringsproces og forbedre den overordnede projekteffektivitet, Visure er det ideelle valg.
Udnyt Visure's 14-dages gratis prøveperiode og udforsk, hvordan vores platform kan hjælpe dig med at opfylde DO-178C og DO-254 overholdelse med lethed.
