DEVELOPMENT<BR>Processes for Engineering a System; James N. Martin<BR>Digital Avionics Modeling and Simulation; Jack Strauss, Joseph Lyvers, Terry Venema, and Grant Stumpf<BR>Formal Methods; Sally C. Johnson and Ricky W. Butler<BR>Electronic Hardware Reliability; Nikhil Vichare, Ping Zhao, Diganta Das, and Michael G. Pecht<BR>Electromagnetic Environment; Richard Hess<BR>RTCA DO-297/EUROCAE ED-124 Integrated Modular Avionics (IMA) Design Guidance and Certification Considerations; Cary R. Spitzer<BR>Certification of Civil Avionics; G. Frank McCormick<BR>IMPLEMENTATION<BR>Fault-Tolerant Avionics; Ellis F. Hitt and Dennis Mulcare<BR>Boeing B-777; Michael J. Morgan<BR>New Avionics Systems-Airbus A330/A340; Peter Potocki de Montalk<BR>McDonnell Douglas MD-11 Avionics System; Gordon R.A. Sandell<BR>Genesis Platform; Randy Walter and Chris Watkins<BR>Advanced Distributed Architectures; Jim Moore<BR>INDEX