DO-178C Guide: Introduktion till RTCA DO-178-certifiering
Innehållsförteckning
Skillnader och utmaningar mellan DO-178B och DO-178C
Beskrivning
Inom området för utveckling av flygelektronikmjukvara är det avgörande att stränga standarder följs för att säkerställa säkerheten och tillförlitligheten hos flygplanssystem. Två framträdande standarder inom denna domän är DO-178B och dess efterföljare, DO-178C. DO-178B, även känd som Software Considerations in Airborne Systems and Equipment Certification, släpptes först 1992 av Radio Technical Commission for Aeronautics (RTCA). DO-178C, eller Software Considerations in Airborne Systems and Equipment Certification – Change 1, är den uppdaterade versionen som publicerades 2011. Den här artikeln kommer att fördjupa sig i de viktigaste skillnaderna och utmaningarna mellan DO-178B och DO-178C.
Omfattning och mål
DO-178B
DO-178B ger riktlinjer för utveckling av programvara som används i luftburna system och utrustning. Den beskriver målen och aktiviteterna som krävs för att uppnå programvarucertifiering på olika nivåer av kritik, allt från nivå A (mest kritisk) till nivå E (minst kritisk). Standarden fokuserar på att säkerställa att programvaran utför sina avsedda funktioner tillförlitligt, korrekt och säkert.
DO-178C
DO-178C bygger på den grund som DO-178B lägger och introducerar flera förbättringar och förtydliganden. Den behåller samma mål och kritikalitetsnivåer men ger uppdaterad vägledning för att hantera tekniska framsteg och lärdomar från tidigare erfarenheter. DO-178C introducerar också ett mer riskbaserat tillvägagångssätt, som lägger större vikt vid att fastställa hur kritiska programvarufunktioner är baserat på deras inverkan på systemsäkerheten.
Viktiga skillnader
Förbättrade livscykelprocesser
DO-178C introducerar en mer detaljerad uppsättning livscykelprocesser jämfört med DO-178B. Den lägger ytterligare tonvikt på krav, design, kodning och testaktiviteter. De nya processerna som definieras i DO-178C inkluderar mjukvarumodellering, formella metoder och objektorienterad teknologi, som inte uttryckligen behandlades i DO-178B.
Oberoende och verifiering
DO-178C stärker kravet på oberoende mellan mjukvaruutveckling och verifieringsaktiviteter. Den betonar behovet av oberoende vid verifiering av programvarukrav, design, kodning och testfall. Detta säkerställer att olika perspektiv tillämpas för att utvärdera programvarans funktionalitet, vilket minskar sannolikheten för bias och ökar den övergripande kvaliteten på verifieringsprocessen.
Formella metoder och modellbaserad utveckling
DO-178C uppmuntrar användningen av formella metoder och modellbaserade utvecklingstekniker för att förbättra mjukvarans kvalitet och tillförlitlighet. Dessa tillvägagångssätt involverar matematisk analys och formella resonemang för att verifiera programvarans korrekthet och säkerhetsegenskaper. Även om DO-178B inte uttryckligen tog upp dessa tekniker, ger DO-178C vägledning om deras integration i mjukvaruutvecklingsprocessen.
Verktygskvalifikation
DO-178C introducerar en mer omfattande metod för verktygskvalificering. Den erkänner det ökande beroendet av verktyg för mjukvaruutveckling och behovet av att säkerställa korrekt användning och tillförlitlighet. Standarden ger vägledning för att utvärdera och kvalificera verktyg baserat på deras inverkan på mjukvaruutveckling och säkerhetskritik.
Kompletterande riktlinjer
DO-178C innehåller flera kompletterande dokument som kallas Technical Supplements (TS). Dessa tillägg tar upp specifika ämnen som modellbaserad utveckling, objektorienterad teknik och formella metoder. Dessa TS-dokument ger ytterligare vägledning och förtydligande för att hjälpa utvecklare att implementera bästa praxis och uppfylla kraven i DO-178C.
Utmaningar
Övergång och anpassning
En av de främsta utmaningarna vid migreringen från DO-178B till DO-178C är behovet för organisationer och utvecklare att anpassa sig till de uppdaterade riktlinjerna och processerna. Övergången kan kräva betydande förändringar i utvecklingsmetoder, verktygskedjor och organisatoriska arbetsflöden. Att säkerställa en smidig övergång med bibehållen säkerhet och tillförlitlighet kan vara en komplex och resurskrävande uppgift.
Ökade dokumentationskrav
DO-178C lägger större vikt vid dokumentation jämfört med DO-178B. Standarden kräver mer omfattande dokumentation för aktiviteter som krav, design, kodning och testning. Att uppfylla dessa dokumentationskrav kräver ytterligare ansträngningar och resurser från utvecklingsteam, vilket kan innebära utmaningar när det gäller tid, kostnad och samordning.
Verktygskvalificering och certifiering
Med det ökade beroendet av verktyg för mjukvaruutveckling är det avgörande att säkerställa deras korrekta kvalifikationer och certifiering. DO-178C inför strängare krav för verktygskvalificering, inklusive behovet av att visa att verktyg inte medför några negativa effekter på mjukvarusäkerheten. Organisationer måste investera i omfattande verktygskvalificeringsprocesser och dokumentation för att uppfylla dessa krav, vilket kan vara en komplex och tidskrävande strävan.
Efterlevnad av nya processer och tekniker
DO-178C introducerar nya processer och tekniker, såsom formella metoder och modellbaserad utveckling, som kan vara obekanta för organisationer som är vana vid DO-178B-praxis. Att uppnå efterlevnad av dessa nya tillvägagångssätt kan kräva ytterligare utbildning, expertis och investeringar i nya verktyg och infrastruktur. Organisationer måste ta itu med dessa utmaningar för att effektivt kunna anta den uppdaterade standarden.
Slutsats
DO-178B och DO-178C är viktiga standarder i utvecklingen av luftburna mjukvarusystem. Medan DO-178C bygger på den grund som DO-178B lägger, introducerar den flera betydande skillnader och utmaningar. De förbättrade livscykelprocesserna, betoningen på oberoende och verifiering, införandet av formella metoder och modellbaserad utveckling och omfattande verktygskvalifikationskrav skiljer DO-178C från sin föregångare. Organisationer som övergår från DO-178B till DO-178C måste navigera i utmaningarna med anpassning, ökade dokumentationskrav, verktygskvalificering och efterlevnad av nya processer och tekniker. Genom att ta itu med dessa utmaningar på ett effektivt sätt kan utvecklare säkerställa fortsatt säkerhet, tillförlitlighet och överensstämmelse med deras flygelektronikprogram.
Glöm inte att dela detta inlägg!
kapitel
1. Luftburen standardintroduktion
2. DO-178-certifieringsprocess
3. DO-178C Verktyg och utbildningar
4. Avancerade DO-178C-ämnen
5. DO-178C Resurser
6. Ordlista
Kom till marknaden snabbare med Visure
- Se till att reglerna uppfylls
- Framtvinga fullständig spårbarhet
- Effektivisera utvecklingen
