DO-254 — zabezpečenie návrhu palubného elektronického hardvéru
DO-254 (RTCA DO-254 / EUROCAE ED-80) s názvom „Design Assurance Guidance for Airborne Electronic Hardware“ je medzinárodne uznávaný štandard pre vývoj zložitého elektronického hardvéru inštalovaného v lietadlách a leteckých systémoch. Je hardvérovým náprotivkom štandardu DO-178C (softvér) a letecké úrady — EASA (Európa, AMC 20-152A), FAA (USA, AC 20-152A) a Transport Canada — ho uznávajú ako prijateľný spôsob dosiahnutia súladu pri certifikácii letovej spôsobilosti.
Kľúčové fakty
| Údaj | Informácia |
|---|---|
| Úplný názov | Design Assurance Guidance for Airborne Electronic Hardware |
| Vydavateľ | RTCA (USA) / EUROCAE (Európa) |
| Referencia EASA | AMC 20-152A |
| Vzťahuje sa na | Zložitý elektronický hardvér: FPGA, ASIC, CPLD a zákaznícke SoC |
| COTS a jednoduché súčiastky | Súčiastky COTS: správa elektronických súčiastok (DO-254 § 11.2; AMC 20-152A § 6 pre zložité COTS). Jednoduché súčiastky: redukovaný rozsah dát životného cyklu |
| Doplnkový štandard | DO-178C (palubný softvér) |
Úrovne zabezpečenia návrhu (DAL)
DO-254 definuje päť úrovní zabezpečenia návrhu (Design Assurance Levels) podľa závažnosti zlyhania:
| Úroveň | Poruchový stav | Typické príklady (úroveň sa prideľuje pre konkrétne lietadlo na základe posúdenia bezpečnosti systému) | Prísnosť |
|---|---|---|---|
| DAL A | Katastrofický (Catastrophic) | Počítače riadenia letu, primárna navigácia | Najvyššia — odporúčajú sa formálne metódy |
| DAL B | Nebezpečný (Hazardous) | Riadenie motora (FADEC), systémy automatického riadenia letu | Veľmi vysoká — vyžaduje sa nezávislosť |
| DAL C | Závažný (Major) | Komunikačné systémy, meteorologický radar | Vysoká — štruktúrované pokrytie |
| DAL D | Menej závažný (Minor) | Osvetlenie kabíny, zábavné systémy | Znížená — ciele AMC 20-152A sa nevyžadujú |
| DAL E | Bez vplyvu na bezpečnosť (No safety effect) | Zobrazovacie prvky nesúvisiace s bezpečnosťou | Žiadna — mimo cieľov DO-254 |
Väčšina návrhov FPGA pre avioniku cieli na DAL A alebo DAL B, ktoré vyžadujú najprísnejšiu verifikáciu, správu konfigurácie a nezávislé preskúmanie.
Životný cyklus procesov DO-254
DO-254 definuje ciele pre súbor procesov životného cyklu hardvéru, ktoré sa bežne usporadúvajú do V-modelu. Hlavné z nich sú:
1. Proces plánovania
- Plán hardvérových aspektov certifikácie (Plan for Hardware Aspects of Certification, PHAC) — Hlavný plánovací dokument.
- Plán návrhu hardvéru (Hardware Design Plan) — Ciele pokrytia, nástroje a správa konfigurácie.
- Plán verifikácie hardvéru (Hardware Verification Plan) — Stratégie testovania, metriky pokrytia, postupy preskúmania.
2. Proces návrhu
- Zachytenie požiadaviek a sledovateľnosť
- Koncepčný návrh (architektúra, členenie)
- Detailný návrh (RTL, schémy)
- Implementácia (syntéza, umiestnenie a prepojenie, layout PCB)
3. Proces verifikácie
Najnáročnejšia fáza, ktorá vyžaduje:
| Činnosť | DAL A/B | DAL C | DAL D |
|---|---|---|---|
| Testovanie na základe požiadaviek | Vyžaduje sa | Vyžaduje sa | Vyžaduje sa |
| Analýza štrukturálneho pokrytia | Vyžaduje sa | Vyžaduje sa | Nevyžaduje sa |
| Testovanie robustnosti | Vyžaduje sa | Odporúča sa | Nevyžaduje sa |
| Časová analýza | Vyžaduje sa | Vyžaduje sa | Vyžaduje sa |
| Kvalifikácia nástrojov | Vyžaduje sa | Podmienene | Nevyžaduje sa |
4. Správa konfigurácie
- Správa verzií všetkých návrhových dát (zdrojový kód RTL, obmedzenia, testbenche)
- Hlásenie problémov a analýza vplyvu zmien
- Stanovenie referenčnej konfigurácie (baseline) v každej fáze životného cyklu
DO-254 pri vývoji FPGA
Na avionický hardvér založený na FPGA kladie DO-254 špecifické požiadavky:
- Žiadne neoverené IP tretích strán — Všetky IP bloky musia byť plne verifikované na cieľovú úroveň DAL.
- Kvalifikácia nástrojov syntézy — Nástroje musia byť kvalifikované alebo ich výstup musí byť nezávisle verifikovaný.
- Sledovateľnosť medzi netlistom a RTL — Zaistenie, že syntéza verne zodpovedá zámeru RTL.
- Správa errát — Erráta výrobcu FPGA sa musia sledovať a ich dôsledky zmierňovať.
- Environmentálna kvalifikácia — Podľa DO-160G pre teplotu, vibrácie, nadmorskú výšku a EMI.
Časté výzvy
- Náklady na verifikáciu — Verifikácia pre DAL A/B môže spotrebovať 60–70 % celkovej prácnosti projektu.
- Kvalifikácia nástrojov — Nástroje na syntézu a simuláciu musia spĺňať ciele DO-330.
- Správa súčiastok COTS — Použitie komerčných FPGA vyžaduje sledovanie errát a plánovanie životného cyklu.
- Projekty typu retrofit — Uplatnenie DO-254 na staršie návrhy (reverzné inžinierstvo existujúceho hardvéru).
Súvisiace pojmy
- FPGA — Hlavná cieľová súčiastka pre návrhy certifikované podľa DO-254.
- V-model — Model životného cyklu, ktorý sa na implementáciu procesov DO-254 používa najčastejšie.
- Návrh RTL — Implementačná fáza hardvéru v súlade s DO-254.
Inovasense dodáva vývoj FPGA v súlade s DO-254 pre európske programy v oblasti obrany, letectva a kozmonautiky — od návrhu FPGA pre DAL A/B cez verifikáciu a správu konfigurácie až po zostavenie balíka certifikačných dôkazov.
Oficiálne referencie
- DO-254 / ED-80 — Design Assurance Guidance for Airborne Electronic Hardware — RTCA (prehľad štandardu)