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