Implementação de um receptor ARINC 429 utilizando noções do processo de desenvolvimento de hardware para a aviação DO-254

Abstract

Esse trabalho tem como objetivo o desenvolvimento da lógica programável de um receptor ARINC 429 utilizando noções do processo de desenvolvimento de hardware para a aviação DO-254. Por referenciar-se a sistemas e normas utilizados na aviação, o texto apresenta inicialmente conceitos básicos de arquitetura de sistemas eletrônicos presentes na aviação (aviônica). Em seguida, por tratar-se de hardware embarcado em aeronaves e que pode ser crítico, isto é, sua falha pode ocasionar uma falha catastrófica na aeronave, o texto apresenta uma metodologia de desenvolvimento de hardware utilizada na aviação que visa certificar o sistema desenvolvido como seguro, a norma DO-254. Após isso, a interface ARINC 429 é detalhada ao leitor. Então, no capítulo de desenvolvimento, é apresentado o fluxo de atividades que foram executadas para o projeto e verificação do receptor ARINC 429. Esse fluxo é baseado na DO-254, que por sua vez é baseada na criação de requisitos de design que devem ser implementados em lógica. Para verificar o sistema, simulações foram feitas com o intuito de provar que os requisitos estão de fato implementados e que o sistema funciona como foi especificado nos requisitos. Por fim, concluiu-se que a metodologia utilizada para o desenvolvimento do receptor ARINC 429 seguiu de fato noções da DO-254. Também conclui-se que, embora os requisitos do receptor tenham sido provados que estão implementados em lógica através das simulações, para de fato provar a funcionalidade do sistema na prática, é necessário que realize-se testes com os sistemas que fazem interface com o receptor ARINC 429 desenvolvido.

This work has as objective the development of the programmable logic of an ARINC 429 receiver using notions of the hardware development process for the aviation DO- 254. As it refers to systems and standards used in aviation, the text initially presents basic concepts of electronic systems architecture present in aviation (avionics). Then, because it is hardware embedded in aircraft and which can be critical, that is, its failure can cause a catastrophic failure in the aircraft, the text presents a hardware development methodology used in aviation that aims to certify the developed system as safe, the DO- 254 standard. After that, the ARINC 429 interface is detailed to the reader. Then, in the development chapter, the flow of activities that were performed for the design and verification of the ARINC 429 receiver is presented. This flow is based on DO-254, which is based on creating design requirements that must be implemented in logic. To verify the system, simulations were carried out in order to prove that the requirements are in fact implemented and that the system works as specified in the requirements. In conclusion, this methodology used for the development of the ARINC 429 receptor actually followed notions of DO-254. It is also concluded that, although the receiver requirements have been proven that they are implemented in logic through simulations, to actually prove the functionality of the system in practice, it is necessary to carry out tests with the systems that interface with the developed ARINC 429 receiver.