NASA Office of Logic Design

A scientific study of the problems of digital engineering for space flight systems,
with a view to their practical solution.

"This Is What We Find In This Stuff"

FY2005 Software/Complex Electronic Hardware Standardization Conference

Norfolk, Virginia
July 26-28, 2005

Abstract

This presentation will cover aspects of RTCA/DO-254, "Design Assurance Guidance for Airborne Electronic Hardware." Portions of DO-254 will be covered in detail and discussed and put into context for high-reliability digital design applications with a series of case studies. Examples showing faults and areas of concern will span the range from high level design to low level implementation to the tools that are now relied on for design implementation.

The presentation will start out with a basic review of digital circuits and programmable logic technology.

Presentation: rk_faa_nasa_abridged.ppt

Note: The presentation above is the abridged version of this talk.  Sections of the talk, both abridged and unabridged, are listed below.  The reference on the bottom of this page points to various seminars that cover some of this material in additional depth.

Abridged		Unabridged
10: Introduction		10: Introduction
20: Logic Basics		20: Logic Basics
30: DO-254 Definitions		30: DO-254 Definitions
40: FSM Introduction		40: FSM Introduction
41: FSM Analysis		41: FSM Analysis
42: Gray Codes, Glitches, and Replication		42: Gray Codes, Glitches, and Replication
43: Lockup States		43: Lockup States
		44: FSM Replication
45: FSM Conclusion		45: FSM Conclusion
50: Complexity, Systems on Chip, and Intellectual Property		50: Complexity, Systems on Chip, and Intellectual Property
		60: Simple "Code" Change
70: CAE Tools and Models		70: CAE Tools and Models
80: VHDL and Critical Systems		80: VHDL and Critical Systems
		90: Hardware
100: Conclusion		100: Conclusion

Other Tutorials and Seminars on klabs.org

Home - NASA Office of Logic Design
Last Revised: July 29, 2005
Web Grunt: Richard Katz