This paper discusses the additional design assurance strategies stated in RTCA/DO-254, Appendix B - "Design assurance considerations for level A and level B functions." In particular, we address the use of formal specification languages such as the property specification language (PSL) in combination with dynamic (simulation) and static (formal) verification methods for programmed logic devices. Using these methods, we suggest a design assurance strategy for complex programmable airborne electronics compliant with the guidelines of RTCA/DO-254. The strategy is a semi-formal solution, a hybrid of static and dynamic assertion based verification.
Emerging verification methods for complex hardware in avionics
24th Digital Avionics Systems Conference ; 1 ; 6.B.1-61
2005-01-01
352045 byte
Conference paper
Electronic Resource
English
Emerging Verification Methods for Complex Hardware in Avionics
British Library Conference Proceedings | 2005
|Hardware/Software compatibility: A verification approach for space shuttle avionics
Tema Archive | 1981
|Flight Avionics Hardware Roadmap
NTRS | 2013
|Shuttle avionics hardware programs
Tema Archive | 1975
|