DO-254 certificeringsvejledning
Dækning af CEH-design i DO-254
Indholdsfortegnelse
DO-254 er en standard, der definerer processen til udvikling af kompleks hardware, der kan bruges i luftbårne systemer. Standarden giver vejledning til certificering af kompleks hardware, der anvendes i luftbårne systemer, herunder kommercielle og militære fly. Et af nøgleelementerne i DO-254-overholdelse er dækningen af de kritiske elementer i hardwaredesignet, hvilket er afgørende for sikker og pålidelig drift af systemet. I denne artikel vil vi fokusere på dækningen af CEH-designet (Complex Electronic Hardware) i DO-254.
Hvad er CEH Design i DO-254?
CEH er defineret som enhver hardware i det luftbårne system, der indeholder programmerbare logiske enheder, såsom Field Programmable Gate Arrays (FPGA'er), Application-Specific Integrated Circuits (ASIC'er) og mikroprocessorer. Disse enheder bliver mere og mere almindelige i rumfartsapplikationer på grund af deres fleksibilitet og processorkraft. Deres komplekse design kræver dog omfattende test og verifikation for at sikre, at de opfylder kravene i DO-254.
Dækningen af CEH-design i DO-254 er vigtig for at sikre, at hardwaren udvikles på en sikker og pålidelig måde. Standarden kræver, at hver CEH skal have en klar og kortfattet designspecifikation, der inkluderer en detaljeret beskrivelse af hardwarefunktionalitet, grænseflader og ydeevnekrav. Denne specifikation bruges til at verificere, at hardwaredesignet lever op til de påkrævede ydeevneniveauer, og at eventuelle afvigelser er korrekt dokumenteret og rettet.
Dækning af CEH-design i DO-254
Dækningen af CEH-designet i DO-254 er et kritisk aspekt af standarden. Dækningsanalysen giver et mål for designets fuldstændighed, og den sikrer, at al den nødvendige funktionalitet er implementeret korrekt. Dækningsanalysen udføres gennem hele designprocessen, startende fra kravfasen og fortsætter gennem design-, implementerings- og verifikationsfaserne.
Dækningsanalysen omfatter flere målinger, såsom kravdækning, kodedækning og strukturel dækning. Kravdækning sikrer, at alle kravene til CEH-designet er blevet fanget og implementeret. Kodedækning måler procentdelen af koden, der er blevet udført under test. Strukturel dækning måler designets fuldstændighed, herunder designets testbarhed og kontrollerbarhed, observerbarheden af output og designets fejldækning.
For at opnå DO-254 compliance er det væsentligt at sikre, at dækningsanalysen udføres grundigt, og at resultaterne af analysen dokumenteres hensigtsmæssigt. DO-254-standarden kræver, at dækningsanalyseresultaterne dokumenteres i verifikationsplanen, og at resultaterne gennemgås af en uafhængig verifikator.
CEH-verifikation og validering for DO-254
DO-254 kræver også, at der udvikles en omfattende verifikationsplan for hvert CEH-design. Denne plan bør omfatte testprocedurer og dækningsmålinger, der vil blive brugt til at demonstrere, at hardwaredesignet opfylder ydeevnekravene. Dækningsmålingerne bør vælges omhyggeligt for at sikre, at de tester hardwaredesignet tilstrækkeligt og giver tilstrækkelig dokumentation for, at designet er sikkert og pålideligt.
Verifikationsprocessen for CEH-design skal udføres af uafhængige verifikations- og valideringshold (IV&V), som ikke er involveret i hardwareudviklingsprocessen. Denne adskillelse af opgaver er afgørende for at sikre, at hardwaren testes grundigt, og at eventuelle problemer identificeres og løses, før hardwaren frigives til brug i luftbårne systemer.
THU-330
DO-254 giver også retningslinjer for certificering af CEH-designet. Denne certificeringsproces er et kritisk trin for at sikre, at hardwaren er sikker og pålidelig. Certificeringsprocessen involverer evaluering af CEH-designet i forhold til kravene specificeret i DO-254, samt eventuelle yderligere krav specificeret af certificeringsmyndigheden. Certificeringsprocessen skal udføres af en kvalificeret certificeringsmyndighed, som har den nødvendige ekspertise til at evaluere hardwaredesignet.
For at hjælpe med dækningen af CEH-design i DO-254 giver standarden også vejledning om brugen af værktøjer og processer, der kan hjælpe med verifikation og validering af hardwaredesign. En sådan vejledning er DO-330, som er en retningslinje for brugen af softwareværktøjer i certificeringsprocessen. DO-330 giver retningslinjer for, hvordan man bruger softwareværktøjer på en måde, der er i overensstemmelse med kravene i DO-254.
DO-330 giver vejledning om kvalificering af softwareværktøjer og udvikling af værktøjskvalificeringsplaner. Retningslinjen giver også en ramme for vurdering af pålideligheden og effektiviteten af softwareværktøjer i certificeringsprocessen. DO-330 er et vigtigt værktøj til dækning af CEH-design i DO-254, da det giver vejledning i, hvordan man bruger softwareværktøjer på en måde, der er i overensstemmelse med kravene i DO-254.
Overvejelser for CEH-designdækning
Når du designer en CEH til DO-254-overensstemmelse, er det vigtigt at overveje flere faktorer for at sikre, at dækningsanalysen er nøjagtig og fuldstændig. Disse overvejelser omfatter:
- Krav Sporbarhed: Sporbarhed fra kravene til den endelige implementering er afgørende for CEH-designdækningsanalysen. Designet skal kunne spores til kravene, og alle kravene skal implementeres og testes.
- Testbarhed: CEH-designet skal være testbart, og testene skal kunne verificere designets funktionalitet. Designet skal omfatte indbyggede testfunktioner (BIT) for at give mulighed for test under flyvningen.
- Dækningsmålinger: De dækningsmetrikker, der bruges til CEH-designdækningsanalysen, skal være passende for designet. Metrikken skal måle fuldstændigheden af designet og skal omfatte kravdækning, kodedækning og strukturel dækning.
- Uafhængig verifikation: CEH-designdækningsanalysen skal gennemgås af en uafhængig verifikator for at sikre, at analysen er nøjagtig og fuldstændig.
Konklusion
Dækningen af CEH-designet i DO-254 er et kritisk aspekt af standarden. Dækningsanalysen sikrer, at CEH-designet er komplet, og at al den nødvendige funktionalitet er implementeret korrekt. For at opnå DO-254-overensstemmelse er det vigtigt at udføre en grundig dækningsanalyse og dokumentere resultaterne korrekt. Overvejelserne skitseret i denne artikel kan være med til at sikre, at dækningsanalysen er nøjagtig og fuldstændig, og at CEH-designet opfylder kravene i DO-254.
Glem ikke at dele dette opslag!
