Computer architectures for advanced air traffic control applications
Safety of flight issues for an automatic trajectory control system
A multi microprocessor flight control system architectural concepts
New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
Quality measurement of mission critical systems
Methods for evaluating integrated airframe/propulsion control system architectures
Reliability and flexibility of the IRAS on-board software
A new computerized approach to reliability assessment of complex satellite payloads
A highly available microprocessor-based plant controller
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
The selection of a microprocessor for the Pioneer Venus large probe mass spectrometer
Some challenging control problems in ballistic missile defense
Establishing realistic requirements for reliability, maintainability, and built-in-test