A norma RTCA DO-254 / Eurocae ED-80 " ORIENTAÇÃO DE GARANTIA DE PROJETO PARA HARDWARE ELETRÔNICO AÉREO " foi desenvolvida e editada em conjunto pela RTCA | RTCA Inc. e pela EUROCAE, respectivamente .
O DO-254 é a contraparte do DO-178B / Eurocae ED-12B. Ele foi criado para acompanhar a rápida evolução dos equipamentos eletrônicos. Ele especifica, em particular, as restrições de desenvolvimento associadas à obtenção da certificação de equipamentos de aviônica eletrônica.
A combinação de hardware DO-254 e software DO-178B forma um sistema embarcado que é governado por um padrão ARP4754 dedicado . O conjunto constitui uma abordagem coerente para os métodos de desenvolvimento de sistemas de bordo para aplicações aeronáuticas.
O DO-254 foi formalmente reconhecido como um meio de atender aos requisitos de certificação por autoridades de certificação internacionais em 2005 ( FAA Advisor Circular AC 20-152 ) e em 2006 (CAST27 para todas as autoridades de certificação em todo o mundo).
Ele distingue entre equipamentos eletrônicos simples e complexos, reconhece cinco níveis de criticidade, variando de catastrófico a nenhum efeito, e fornece "recomendações" de desenvolvimento para equipamentos eletrônicos para cada nível de criticidade.
DO-254 tem 5 níveis de criticidade (de A a E) definidos da seguinte forma:
Esses 5 níveis também são chamados de DAL (Nível de Garantia de Design).
O DO-254 classifica o equipamento eletrônico na categoria simples apenas se uma combinação completa e determinística de testes e análises adequadas ao nível de criticidade garantem o desempenho funcional correto em todas as condições de uso previsíveis, sem comportamento anormal. Quando um equipamento não pode ser classificado como simples, ele deve ser classificado como complexo. Uma montagem de unidades simples pode gerar uma unidade complexa.
Com essa definição ambígua, a classificação simples / complexa de equipamentos eletrônicos não era fácil para todos. Este ponto foi esclarecido no documento CAST-30 , elaborado emagosto de 2007 pelas autoridades de certificação.
Deve ser entendido que ASICs e PLDs (FPGA, CPLD, etc.) agora podem integrar funções muito complexas, como funções de cálculo (processamento de dados, algoritmos), transferência e interface (ARINC429, links seriais, 1553B, Ethernet, PCIe, CAN. ..) bem como microcontroladores e seus periféricos. Essas funções são essencialmente codificadas usando uma linguagem de descrição de hardware HDL ( VHDL ou Verilog ), sendo VHDL às vezes preferido por sua sintaxe mais rigorosa.
É dada ênfase particular aos aspectos de Verificação e Validação que garantem a conformidade do resultado (o objeto material) com as especificações iniciais (os requisitos de material).