NASA NTRS · 19870017985
The implementation and use of Ada on distributed systems with high reliability requirements
Abstract
A preliminary analysis of the Ada implementation of the Advanced Transport Operating System (ATOPS), an experimental computer control system developed at NASA Langley for a modified Boeing 737 aircraft, is presented. The criteria that was determined for the evaluation of this approach is described. A preliminary version of the requirements for the ATOPS is contained. This requirements specification is not a formal document, but rather a description of certain aspects of the ATOPS system at a level of detail that best suits the needs of the research. The survey of backward error recovery techniques is also presented.
Keep this discovery
Explore connections, maps & timelines
Knight, J. C.. 1987-03-01. The implementation and use of Ada on distributed systems with high reliability requirements. https://ntrs.nasa.gov/citations/19870017985
Cite the original work for its findings. Save a collection to share your selection of sources.