DocumentCode :
2329010
Title :
Advanced verification methods and safety critical hardware
Author :
Butka, B.
Author_Institution :
Embry-Riddle Aeronaut. Univ., Daytona Beach, FL, USA
fYear :
2012
fDate :
24-26 April 2012
Abstract :
Within the aviation industry RTCA DO-254 is the design assurance process for safety-critical airborne electronic hardware development. Safety-critical hardware (DAL A or B) requires the application of additional advanced verification techniques such as Elemental Analysis to ensure that elements of the design are adequately verified. This paper compares the verification processes currently used in the semiconductor industry to what is commonly used to meet DO-254 guidelines. Requirements based testing as specified in DO-254 is widely viewed as being inadequate to assure design correctness of complex hardware. Additional robustness testing techniques such as constrained random testing and assertions are typically used to improve the verification process. A methodology of subjecting the design to constrained random verification testing throughout the design process is examined. The applicability of this proposed process to DO-254 based design is evaluated.
Keywords :
aerospace testing; avionics; formal verification; DO-254 guidelines; advanced verification method; aviation industry RTCA DO-254; constrained random testing; constrained random verification testing; design assurance process; design correctness; elemental analysis; robustness testing; safety critical hardware; safety-critical airborne electronic hardware development; semiconductor industry; Hardware; Hardware design languages; Monitoring; Optimization; Testing; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Integrated Communications, Navigation and Surveillance Conference (ICNS), 2012
Conference_Location :
Herndon, VA
ISSN :
2155-4943
Print_ISBN :
978-1-4673-1901-0
Type :
conf
DOI :
10.1109/ICNSurv.2012.6218419
Filename :
6218419
Link To Document :
بازگشت