Standard RTCA DO-254 / Eurocae ED-80 „ DESIGN ASSURANCE GUIDANCE FOR AIRBORNE ELECTRONIC HARDWARE “ byl společně vyvinut a upraven společností RTCA | RTCA Inc. a EUROCAE .
DO-254 je analogický k DO-178B / Eurocae ED-12B. Byl vytvořen, aby držel krok s rychlým vývojem elektronických zařízení. Specifikuje zejména vývojová omezení spojená se získáním certifikace elektronického avionického zařízení.
Kombinace hardwaru DO-254 a softwaru DO-178B tvoří palubní systém, který se řídí dedikovaným standardem ARP4754 . Celok tvoří ucelený přístup k metodám vývoje palubních systémů pro letecké aplikace.
DO-254 byl formálně uznán jako prostředek ke splnění certifikačních požadavků mezinárodními certifikačními úřady v roce 2005 ( FAA Advisor Circular AC 20-152 ) a v roce 2006 (CAST27 pro všechny celosvětové certifikační úřady).
Rozlišuje mezi jednoduchým a složitým elektronickým zařízením, rozeznává pět úrovní kritičnosti od katastrofických po žádné a poskytuje vývojová „doporučení“ pro elektronická zařízení pro každou úroveň kritičnosti.
DO-254 má 5 úrovní kritičnosti (od A do E) definovaných takto:
Těchto 5 úrovní se také nazývá DAL (Design Assurance Level).
DO-254 klasifikuje elektronická zařízení do jednoduché kategorie pouze tehdy, pokud úplná a deterministická kombinace testů a analýz odpovídajících úrovni kritičnosti zajistí správnou funkční výkonnost za všech předvídatelných podmínek použití bez abnormálního chování. Pokud zařízení nelze klasifikovat jako jednoduché, musí být klasifikováno jako složité. Sestava jednoduchých jednotek může generovat složitou jednotku.
S touto nejednoznačnou definicí nebylo jednoduché / složité klasifikace elektronických zařízení pro každého snadné. Tento bod byl objasněn v dokumentu CAST-30 , sepsaném vsrpna 2007 certifikačními orgány.
Je třeba si uvědomit, že ASIC a PLD (FPGA, CPLD atd.) Mohou nyní integrovat velmi složité funkce, jako jsou výpočtové funkce (zpracování dat, algoritmy), přenos a rozhraní (ARINC429, sériové linky, 1553B, Ethernet, PCIe, CAN). ..) a také mikrokontroléry a jejich periferie. Tyto funkce jsou v zásadě kódovány pomocí HDL hardwarového popisového jazyka ( VHDL nebo Verilog ), přičemž VHDL je někdy upřednostňován kvůli přísnější syntaxi.
Zvláštní důraz je kladen na aspekty ověřování a ověřování, které zajišťují shodu výsledku (hmotný objekt) s počátečními specifikacemi (materiálové požadavky).