Improve - HDL, A DO-254 formal property checker used for design and verification of avionics protocol controllers

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2003, Pages

  Dellacherie, Samuel ^a   Burgaud, Lionel ^b   Di Crescenzo, Philippe ^c  

^a TNI VALIOSYS   (France)

^b TNI VALIOSYS   (France)

^c TNI VALIOSYS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; AIRCRAFT; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; EMBEDDED SYSTEMS; HIGH LEVEL LANGUAGES; NETWORK PROTOCOLS; SENSORS;

AVIONICS PROTOCOL CONTROLLERS; DATA BUS ARCHITECTURE; NETWORK WIRINGS;

AVIONICS;

EID: 0345413440     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. RTCA, document DO-254/ED-80 "Design assurance guidance for Airborne Electronic Hardware", dated April, 2000.
2. RTCA, document DO-178B/ED-12B, "Software Considerations in Airborne Systems and Equipment Certification", dated December 1, 1992
3. FAA Notice N8110.91 "Guidelines for the qualification of Software Tools using RTCA DO-178B" dated January 16, 2001.
4. "An Inductive Approach for Formal Proof of Hardware Designs" - article presented at DAC 2002
5. "Reqtify: Product compliance with DO254" Technical note, May 2003 - Lionel Burgaud - TNI-Valiosys & Tony Baghai - TekSci.