System hardware and software reliability analysis
Embedded computer dependencies
Is the Ada bandwagon rolling at last? (military software)
Future spacecraft need distributed data systems
Capacity management of air traffic control computer systems
Ada in Embedded Avionic Systems
Avionics Systems Engineering and Its Relationship to Mission Software Development
Controlling large cyclic avionics software systems written in Ada
Approaches and implementation of software test and development system for embedded computer systems
Software Engineering and Its Application to Avionics
Computing Systems Configuration for Highly Integrated Guidance and Control Systems
The use of JSD on the Spearfish system (heavyweight torpedo)
Intelligent Tutoring in the Spacecraft Command/Control Environment
Multilevel analysis of complex embedded computer systems
Common Ada Missile Packages. Phase 2. (CAMP-2). Volume 2. 11th Missile Demonstration
Personal computer models Mil-Std-1750A avionics systems
A verifiable, autonomous satellite control system
Real-time, Ada-based, avionics processing
Security audit for embedded avionics systems
Real-time software development in multiprocessor, multifunction systems
Modular embedded computer software for advanced avionics systems
Laboratory concepts in avionics software
Setting software requirements: scenario for future fighters
Embedded Training in the Polaris SSBN Missile Fire Control System
Digital map integration in advanced tactical cockpits
A high performance, multi-application single card signal processor
Ada on reduced instruction set computers, for real-time embedded systems
Benchmarking of compilers and processors for space embedded real-time systems
Benchmarking of compilers and processors for space embedded real-time systems
Design of an Ada Expert System Shell for the VHSIC Avionic Modular Flight Processor, (Abstract Only)
Computer-aided prototyping for a command-and-control system using CAPS
MAC-TSA Applied in the ISO and SAX Spacecraft Projects
Robotic Vehicle Mobility and Task Performance: A Flexible Control Modality for Manned Systems
Flight Test Avionics Data Acquisition System for Future Fokker Aircraft
Testing Operational Flight Programs (OFPS)
Codesign of architectures for automotive powertrain modules
RASSP: changing the paradigm of electronic system design
An Integrated Tool Set For Developing Embedded Control System Software
Ground zero zero: flying into the next millennium with embedded systems
Embedding Safety Critical Software in an Airframe
High Assurance Systems Engineering
Software Life-Cycle Costs and Solutions
Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach
AJACS : applying Java to automotive control systems