Open Access. Powered by Scholars. Published by Universities.®

Aviation Commons

Open Access. Powered by Scholars. Published by Universities.®

1,230 Full-Text Articles 1,466 Authors 243,770 Downloads 64 Institutions

All Articles in Aviation

Faceted Search

1,230 full-text articles. Page 42 of 42.

Aviation History, Southwest Minnesota State University 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, Andrew J. Kornecki, Janusz Zalewski 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.


Digital Commons powered by bepress