DO-178C Guide: Introduktion till RTCA DO-178-certifiering
Innehållsförteckning
Bästa DO-178C efterlevnadsverktyg, checklistor och mallar
Beskrivning
DO-178C är en uppsättning standarder och riktlinjer för utveckling av programvara för kommersiella flygplan. Den publicerades av Radio Technical Commission for Aeronautics (RTCA) 1992 och har sedan dess uppdaterats flera gånger, med den senaste versionen DO-178C/ED-12C, som släpptes 2011.
DO-178C hänvisas ofta till som standarden "Software Considerations in Airborne Systems and Equipment Certification". Den ger vägledning om hur man genomför ett programvaruutvecklingsprojekt för att säkerställa att den resulterande programvaran är säker för användning i ett flygplan.
DO-178C är ingen obligatorisk standard, men den används flitigt inom flygindustrin och krävs av många luftfartsmyndigheter, såsom Federal Aviation Administration (FAA) i USA vid certifiering av nya flygplan.
I den här artikeln kommer vi att diskutera några stora kravhanteringsprogramvaruorganisationer kan använda för DO-178C-efterlevnad, standardchecklistor och viktiga mallar.
Bästa DO-178C Compliance Tools
När det kommer till kravhanteringsverktyg för DO-178C, som är en standard för utveckling av mjukvara i luftburna system, finns flera alternativ tillgängliga. Här är några populära verktyg för kravhantering som ofta används i samband med DO-178C-efterlevnad:
Visurkrav ALM-plattform
Kravhanteringsverktyg som Visure Requirements kan stödja DO-178B genom att tillhandahålla spårbarhet från slut till ände mellan alla krav, verifiering, problemrapportering, checklistor och projektartefakter. Den erbjuder en sammanhållen miljö som fungerar som ett centraliserat och öppet förråd för alla artefakter, inklusive DO-178B-mål.
Med Visure Requirements är det enkelt att standardisera och genomdriva de definierade processerna i hela organisationen för att följa DO-178B-riktlinjen och göra det på ett tillgängligt, samarbetsvilligt och kostnadseffektivt sätt.
Tack vare dess mångsidiga integrationsplattform kan Visure Requirements integreras med tredjeparts, kommersiella eller proprietära verktyg för att utöka förändringen konsekvensanalys funktioner för element utanför dess räckvidd för att ytterligare stödja DO-178B.
Andra kravhanteringsfunktioner i Visure Requirements inkluderar filter, användardefinierade vyer, rollbaserat användargränssnitt, grafiskt definierad kravprocess och spårbarhet, inbyggda arbetsflöden, ett obegränsat antal användardefinierade attribut, versionshantering och jämförelse, och återställning till äldre versioner, bland annat.
- Kravshantering: Kravhantering är en kritisk process i mjukvaruutveckling, särskilt inom säkerhetskritiska domäner som flyg. Visure Requirements ALM-plattformen erbjuder funktioner för effektiv kravhantering. Det låter dig fånga, analysera, dokumentera och spåra krav under hela mjukvaruutvecklingens livscykel. Den tillhandahåller möjligheter för att framkalla krav, organisation, prioritering och allokering.
- spårbarhet: Spårbarhet är en viktig aspekt av kravhantering, vilket säkerställer att kraven är korrekt kopplade till designelement, testfall och andra artefakter. Visure Requirements ALM-plattformen möjliggör spårbarhet genom att upprätta och upprätthålla länkar mellan olika stadier av mjukvaruutvecklingsprocessen. Det låter dig spåra krav från deras ursprung genom design, implementering och testning, vilket säkerställer att varje krav tas upp och valideras.
- Riskhantering: Riskhantering spelar en avgörande roll i utvecklingen av säkerhetskritiska system. Visure Requirements ALM-plattformen underlättar riskhantering genom att tillhandahålla verktyg för att identifiera, bedöma och mildra risker i samband med krav. Det låter dig definiera risknivåer, prioritera risker och koppla dem till motsvarande krav. Detta hjälper till att säkerställa att potentiella risker hanteras på ett adekvat sätt under hela utvecklingsprocessen.
- Change Management: Förändringshantering är avgörande i alla programvaruutvecklingsprojekt för att hantera ändringar av kraven på ett effektivt sätt. Visure Requirements ALM-plattformen erbjuder förändringshanteringsfunktioner som låter dig spåra och hantera kravändringar. Det möjliggör versionshantering, ändringsspårning och konsekvensanalys för att förstå konsekvenserna av nödvändiga ändringar och säkerställa korrekt ändringskontroll.
- Konfigurationshantering: Konfigurationshantering innebär att hantera och kontrollera versioner, baslinjer och varianter av programvaruartefakter. Visure Requirements ALM-plattformen tillhandahåller funktioner för konfigurationshantering som gör att du kan hantera olika versioner av krav, spåra ändringar och underhålla baslinjer. Det säkerställer korrekt kontroll och spårbarhet av krav under hela utvecklingens livscykel.
- Arbetsflöden flöden~~POS=HEADCOMP: Arbetsflöden definierar sekvensen av aktiviteter och deras beroenden i mjukvaruutvecklingsprocessen. Visure Requirements ALM-plattformen stöder anpassningsbara arbetsflöden som är i linje med DO-178C-standarden eller någon annan specifik process du följer. Det låter dig definiera stadier, övergångar och godkännandeprocesser för kravhantering, vilket säkerställer en strukturerad och kontrollerad utvecklingsmiljö.
- Krav Dokumentation: Dokumentation är en viktig del av mjukvaruutveckling, särskilt inom säkerhetskritiska domäner där noggrann dokumentation krävs för certifiering. Visure Requirements ALM-plattformen erbjuder möjligheter att generera omfattande kravdokumentation automatiskt. Den tillhandahåller mallar, anpassningsbara rapporter och spårbarhetsmatriser för att producera högkvalitativ dokumentation som överensstämmer med DO-178C-standarden eller andra relevanta bestämmelser.
Enterprise Architect
Enterprise Architect är ett populärt modellerings- och designverktyg som stödjer utvecklingen av mjukvaruintensiva system inom olika industrier, inklusive flyg- och rymdindustrin. Även om Enterprise Architect i sig inte är specifikt skräddarsydd för DO-178C, tillhandahåller den en flexibel plattform som kan anpassas och konfigureras för att anpassas till de krav och processer som definieras av DO-178C. Så här kan Enterprise Architect användas i samband med DO-178C:
- Kravshantering: Enterprise Architect låter dig fånga, organisera och hantera krav med hjälp av dess inbyggda kravhanteringsfunktioner. Du kan definiera krav, tilldela attribut och upprätta spårbarhetslänkar mellan krav och andra designartefakter.
- Modellbaserad design: Enterprise Architect stöder skapandet och visualiseringen av system- och mjukvarumodeller, inklusive blockdiagram, tillståndsmaskiner, dataflödesdiagram och aktivitetsdiagram. Dessa modeller kan hjälpa dig att specificera och dokumentera systemarkitektur, programvarukomponenter och gränssnitt, vilket är avgörande för DO-178C-efterlevnad.
- Spårbarhet och konsekvensanalys: Enterprise Architect gör det möjligt för dig att upprätta och hantera spårbarhetslänkar mellan olika designartefakter, såsom krav, modeller, källkod och tester. Denna spårbarhet hjälper till att visa överensstämmelse med DO-178C-kraven och utföra konsekvensanalyser när förändringar inträffar.
- Testhantering: Enterprise Architect tillhandahåller funktioner för att hantera testfall, testprocedurer och testresultat. Du kan definiera testfall baserat på krav och spåra deras utförande och täckning. Detta hjälper till att verifiera att programvaran uppfyller de specificerade kraven och stöder DO-178C:s testkrav.
- Konfigurationshantering: Enterprise Architect integreras med versionskontrollsystem, så att du kan hantera olika versioner av modeller, krav och andra designartefakter. Detta säkerställer korrekt konfigurationshantering, vilket är en viktig aspekt av DO-178C-efterlevnad.
- Dokumentation: Enterprise Architect erbjuder flexibla dokumentationsgenereringsmöjligheter. Du kan generera dokument och rapporter baserat på fördefinierade mallar eller anpassa dem för att matcha din organisations dokumentationsstandarder och DO-178C-krav. Detta hjälper till att skapa den nödvändiga dokumentationen som krävs för DO-178C-certifiering.
LDRA
LDRA är en programsvit för testning och verifiering av programvara som ger stöd för utveckling och verifiering av säkerhetskritiska programvarusystem, inklusive de som utvecklats i enlighet med DO-178C-standarden. LDRA erbjuder en rad verktyg och funktioner som hjälper till att uppfylla DO-178C-målen. Så här kan LDRA användas i samband med DO-178C:
- Krav Spårbarhet: LDRA-verktyg stödjer etablering och hantering av spårbarhetslänkar mellan programvarukrav, designartefakter och verifieringsaktiviteter. Det låter dig spåra krav under hela mjukvaruutvecklingens livscykel och visa att du följer DO-178C:s spårbarhetskrav.
- Strukturell täckningsanalys: LDRA tillhandahåller analysverktyg för strukturell täckning som hjälper till att verifiera att programvaran har utövats på ett adekvat sätt under testningen. Den mäter kodtäckningsmått, såsom satstäckning, filialtäckning och MC/DC (Modified Condition/Decision Coverage), som krävs av DO-178C.
- Statisk analys: LDRA-verktyg erbjuder statiska analysmöjligheter för att identifiera potentiella kodnings- och designproblem tidigt i utvecklingsprocessen. Den utför kodinspektioner, kontrollerar överensstämmelse med kodningsstandarder och upptäcker potentiella programvarufel, förbättrar kodkvaliteten och stödjer DO-178C:s programvaruverifieringskrav.
- Enhetstestning: LDRA låter dig skapa och utföra enhetstester för enskilda programvarukomponenter. Den tillhandahåller verktyg för generering av testfall, testexekvering och resultatanalys. Enhetstestning är en viktig del av DO-178C:s programvaruverifieringsprocess, och LDRA stödjer skapandet och hanteringen av enhetstester för att visa att programvaran är korrekt.
- Verifiering av strukturell täckning: LDRA-verktyg hjälper till vid verifiering av strukturella täckningskrav specificerade i DO-178C. De tillhandahåller rapporter och mätvärden som visar den uppnådda täckningsnivån för olika kod- och beslutspunkter, vilket hjälper dig att säkerställa efterlevnad av DO-178C:s täckningsmål.
IBM DÖRRAR
IBM DOORS (Dynamic Object-Oriented Requirements System) är ett populärt kravhanteringsverktyg som kan användas i samband med DO-178C-efterlevnad. DOORS tillhandahåller möjligheter att fånga, analysera och hantera krav under hela mjukvaruutvecklingens livscykel, vilket stöder den rigorösa kravhantering som krävs av DO-178C. Så här kan IBM DOORS användas i samband med DO-178C:
- Kravfångst och organisation: DOORS låter dig fånga krav på ett strukturerat sätt, vilket gör att du kan definiera kravhierarkier, attribut och relationer. Du kan skapa och hantera kravbaslinjer och säkerställa versionskontroll och konfigurationshantering enligt DO-178C-kraven.
- Spårbarhetshantering: DOORS tillhandahåller robusta spårbarhetsfunktioner, så att du kan upprätta och hantera spårbarhetslänkar mellan krav, designartefakter, testfall och andra relaterade föremål. Du kan visa spårbarhetsöverensstämmelse med DO-178C-målen genom att enkelt spåra kravflödet under hela mjukvaruutvecklingens livscykel.
- Change Management: DOORS stöder förändringshantering genom att tillhandahålla funktioner för att spåra och hantera kravändringar. Det låter dig registrera och kontrollera ändringar, spåra historiken för ändringar och bedöma effekterna av ändringar på andra artefakter. Detta hjälper till att upprätthålla korrekt ändringskontroll som krävs av DO-178C.
- Kravbaslinje och konfigurationshantering: DOORS erbjuder funktioner för att hantera kravbaslinjer och säkerställa korrekt konfigurationshantering. Du kan skapa och hantera flera baslinjer, jämföra olika baslinjer och återgå till tidigare versioner vid behov. Detta hjälper till att upprätthålla kravens integritet och uppfylla DO-178C:s krav för konfigurationshantering.
- Kravverifiering: DOORS underlättar kravverifiering genom att tillhandahålla funktioner för att associera verifieringsaktiviteter, såsom testfall eller recensioner, med krav. Du kan spåra verifieringsstatusen för varje krav och generera rapporter för att visa överensstämmelse med DO-178C:s verifieringsmål.
Polarion
Polarion är en omfattande plattform för Application Lifecycle Management (ALM) som kan användas för att stödja DO-178C-efterlevnad. Polarion tillhandahåller en rad funktioner och funktioner som är relevanta för kraven, spårbarheten och verifieringsaspekterna för DO-178C. Så här kan Polarion användas i samband med DO-178C:
- Kravshantering: Polarion låter dig fånga, organisera och hantera krav effektivt. Du kan definiera kravhierarkier, attribut och relationer och säkerställa korrekt versionskontroll och baslinje. Polarion tillhandahåller funktioner för kravspårbarhet, konsekvensanalys och förändringshantering, vilket säkerställer efterlevnad av DO-178C:s kravhanteringsmål.
- Spårbarhetshantering: Polarion erbjuder robusta spårbarhetsfunktioner som gör att du kan upprätta och hantera spårbarhetslänkar mellan krav, designartefakter, testfall och andra relaterade föremål. Du kan enkelt visualisera och spåra spårbarhetsrelationer, vilket säkerställer en omfattande täckning och överensstämmelse med DO-178C:s spårbarhetskrav.
- Change Management: Polarion stöder förändringshantering genom att tillhandahålla funktioner för att spåra och hantera kravändringar. Det låter dig registrera och spåra ändringar, utföra konsekvensanalyser och hantera ändringsgodkännanden och baslinjer. Dessa funktioner hjälper till att upprätthålla korrekt ändringskontroll och överensstämmelse med DO-178C:s ändringshanteringskrav.
- Testhantering: Polarion erbjuder testhanteringsfunktioner som stödjer skapande, exekvering och spårning av testfall och testresultat. Du kan definiera testfall baserat på krav, utföra tester och spåra täckning och resultat. Polarions testhanteringsfunktioner hjälper till att visa överensstämmelse med DO-178C:s testmål.
- Arbetsflöde och processautomatisering: Polarion låter dig definiera och anpassa arbetsflöden för att matcha din organisations utvecklingsprocess och DO-178C-krav. Du kan konfigurera gransknings- och godkännandeprocesser, automatisera aviseringar och eskaleringar och upprätthålla efterlevnad av fördefinierade processer. Detta hjälper till att säkerställa konsekvens och överensstämmelse med DO-178C:s arbetsflödeskrav.
DO-178C Checklista
Nedan finns en checklista på hög nivå för efterlevnad av DO-178C. Observera att denna checklista inte är uttömmande och bör anpassas till dina specifika projekt- och organisationskrav:
- Planera:
- Utveckla en projektplan som inkluderar aktiviteter, milstolpar och resurser för varje fas av mjukvaruutvecklingens livscykel.
- Identifiera programvarans kritiska nivå (DAL A, B, C eller D) baserat på säkerhetsbedömning.
- Definiera mjukvaruutvecklings- och verifieringsprocesserna, inklusive deras mål, aktiviteter och artefakter.
- Kravutveckling:
- Definiera och fånga programvarukrav och se till att de är kompletta, konsekventa och spårbara.
- Utför kravanalys, inklusive att identifiera krav på systemnivå och härleda programvarukrav.
- Tilldela programvarukrav till specifika programvarukomponenter eller funktioner.
- Mjukvarudesign:
- Utveckla en mjukvaruarkitektur och design som uppfyller de tilldelade kraven.
- Dokumentera mjukvarudesignen, inklusive gränssnitt, datastrukturer, algoritmer och felhanteringsmekanismer.
- Se till att mjukvarudesignen är modulär, underhållsbar och uppfyller säkerhets- och tillförlitlighetsöverväganden.
- Kodning och enhetstestning:
- Skriv kod enligt kodningsstandarder och riktlinjer.
- Utför enhetstestning för att verifiera korrekt implementering av enskilda programvarukomponenter.
- Säkerställ att kodtäckningsmått, såsom uttalandetäckning och beslutstäckning, uppfylls.
- Integration och verifiering:
- Integrera och verifiera programvarukomponenterna för att säkerställa att de fungerar korrekt tillsammans.
- Utföra testning av mjukvaruintegrering, inklusive utveckling och exekvering av testfall.
- Verifiera programvaran mot de tilldelade kraven, för att säkerställa att spårbarheten upprätthålls.
- Validering och systemtestning:
- Utveckla och utföra tester på systemnivå för att validera programvaran mot systemkraven.
- Utför funktionstestning, prestandatester och andra nödvändiga testaktiviteter.
- Dokumentera testresultat, inklusive eventuella avvikelser eller avvikelser som observerats.
- Konfigurationshantering:
- Etablera och underhålla ett konfigurationshanteringssystem för programvara och relaterade artefakter.
- Kontrollera och spåra ändringar av krav, design, kod och testartefakter.
- Se till att baslinjer och versioner av artefakter hanteras och identifieras på rätt sätt.
- Dokumentation:
- Generera och underhålla programutvecklingsplaner, programvarukravspecifikationer, programvarudesigndokument och annan relevant dokumentation.
- Ta fram spårbarhetsmatriser som visar spårbarheten av krav genom alla utvecklingsstadier.
- Generera programvaruverifieringsrapporter, inklusive testplaner, testprocedurer och testresultat.
- Kvalitetssäkring:
- Upprätta en kvalitetssäkringsprocess för att säkerställa överensstämmelse med DO-178C mål.
- Genomför regelbundna revisioner och granskningar för att verifiera efterlevnad av etablerade processer och standarder.
- Utför konfigurationsrevisioner för att säkerställa konsistens och korrekthet i programvarans baslinjer.
- Säkerhetsöverväganden:
- Identifiera och analysera potentiella faror och säkerhetsrisker i samband med programvaran.
- Utveckla och implementera lämpliga säkerhetsstrategier och mekanismer för att minska identifierade risker.
- Generera säkerhetsutvärderingsrapporter, inklusive säkerhetsplaner, riskanalys och säkerhetsbevis.
- certifiering:
- Förbered programvaran och tillhörande dokumentation för certifiering av tillsynsmyndigheten.
- Sammanställ alla nödvändiga artefakter och bevis för att visa överensstämmelse med DO-178C-målen.
- Skicka in certifieringspaketet till tillsynsmyndigheten och åtgärda eventuella fynd eller förfrågningar.
Det är viktigt att notera att efterlevnad av DO-178C kräver en grundlig förståelse av standarden och dess mål. Samråd med domänexperter, efterlevnad av branschens bästa praxis och användning av lämpliga verktyg kan avsevärt underlätta efterlevnadsprocessen.
Viktiga DO-178C-mallar
DO-178C tillhandahåller inga specifika mallar för dokumentation. Det finns dock vissa viktiga dokument som vanligtvis skapas under programvaruutvecklingsprocessen för att visa överensstämmelse med DO-178C-målen. Här är några av de väsentliga dokument som vanligtvis används i DO-178C-efterlevnad:
Programvaruutvecklingsplan (SDP):
SDP beskriver tillvägagångssättet för mjukvaruutveckling, metoder och aktiviteter som ska följas under hela projektet. Den beskriver projektorganisationen, ansvar och scheman, och identifierar de standarder och processer som ska tillämpas.
Programverifieringsplan (SVP):
SVP beskriver tillvägagångssätt och metoder för programvaruverifieringsaktiviteter. Den definierar verifieringsmål, strategier, testtäckningskriterier och verifieringsmiljön. SVP innehåller också detaljer om testmiljön, verktyg och testfall som ska användas.
Software Requirements Document (SRD):
SRD:n fångar upp programvarukraven som härrör från krav på systemnivå. Den beskriver funktionella och icke-funktionella krav, inklusive säkerhetskrav, prestandakrav och eventuella begränsningar som gäller för programvaran.
Software Design Description (SDD):
SDD ger en översikt över mjukvaruarkitekturen och designen. Det inkluderar blockdiagram, dataflödesdiagram, tillståndsdiagram och alla andra nödvändiga diagram eller beskrivningar som illustrerar strukturen och beteendet hos programvarukomponenterna.
Programvaruverifieringsfall och -procedurer (SVCP):
SVCP-dokumentet innehåller testfallen och procedurerna för att verifiera programvarukraven. Den beskriver testmålen, testingångar, förväntade utdata och kriterierna för godkänt/underkänd för varje testfall. Den ger också instruktioner för att utföra testerna.
Software Configuration Management Plan (SCMP):
SCMP definierar konfigurationshanteringsprocedurerna och processerna som ska följas under mjukvaruutveckling. Den innehåller information om versionskontroll, baslinjer, ändringskontroll och identifiering och hantering av konfigurationsobjekt.
Software Quality Assurance Plan (SQAP):
SQAP beskriver de kvalitetssäkringsaktiviteter och processer som ska följas under hela mjukvaruutvecklingens livscykel. Den innehåller detaljer om revisioner, granskningar och inspektioner för att säkerställa överensstämmelse med DO-178C mål och standarder.
Software Accomplishment Summary (SAS):
SAS-dokumentet ger en sammanfattning av aktiviteterna, artefakterna och bevisen som producerats under mjukvaruutvecklingen och verifieringsprocessen. Den tjänar som en heltäckande förteckning över de efterlevnadsaktiviteter som genomförts och de bevis som genererats för att visa överensstämmelse med DO-178C.
Det är viktigt att notera att den exakta strukturen och innehållet i dessa dokument kan variera beroende på organisation och projektspecifika krav. Mallarna och formaten för dessa dokument kan också variera. Det rekommenderas att du rådgör med branschexperter, hänvisar till DO-178C vägledningsmaterial och överväger organisatoriska och projektspecifika behov när du skapar dessa viktiga dokument.
Slutsats
DO-178C är en internationellt accepterad standard som används för att säkerställa att flygelektroniksystem är korrekt testade och verifierade för säkerhet. Det finns flera verktyg, checklistor och mallar som kan hjälpa din organisation att följa standarden. Genom att använda tekniska framsteg, som Visure Requirements ALM-plattformen, kan du vara säker på att du är helt kompatibel med DO-178C-riktlinjerna samtidigt som du har större synlighet i projekt för snabb lösning av alla problem eller risker som är förknippade med DO-178C. Varför ta risken med manuell datainmatning och kontroll efter problem när det finns en lösning som Visure som kan göra allt i ett bekvämt paket? Ge det ett försök med en gratis 30-dagars försök och se hur lätt det kan vara att upprätthålla efterlevnad!
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
Börja få heltäckande spårbarhet över dina projekt med Visure idag
Börja 30 dagars gratis provperiod idag!