Aviation History,
2010
Minnesota State University, Mankato
Aviation History, Southwest Minnesota State University
Aeronautics
Bibliography and photographs of a display of government documents from Southwest Minnesota State University.
Hardware Certification For Real-Time Safety-Critical Systems: State Of The Art,
2010
Embry-Riddle Aeronautical University
Hardware Certification For Real-Time Safety-Critical Systems: State Of The Art, Andrew J. Kornecki, Janusz Zalewski
Electrical, Computer, Software and Systems Engineering - Daytona Beach
This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors’ own study on tool qualification are presented.
