The implementation and use of Ada on distributed systems with high reliability requirements
- Knight, J. C.
- Aug 1, 1986.
- Physical Description:
- 1 electronic document
- Restrictions on Access:
- Unclassified, Unlimited, Publicly available. and Free-to-read Unrestricted online access
- The general inadequacy of Ada for programming systems that must survive processor loss was shown. A solution to the problem was proposed in which there are no syntatic changes to Ada. The approach was evaluated using a full-scale, realistic application. The application used was the Advanced Transport Operating System (ATOPS), an experimental computer control system developed for a modified Boeing 737 aircraft. The ATOPS system is a full authority, real-time avionics system providing a large variety of advanced features. Methods of building fault tolerance into concurrent systems were explored. A set of criteria by which the proposed method will be judged was examined. Extensive interaction with personnel from Computer Sciences Corporation and NASA Langley occurred to determine the requirements of the ATOPS software. Backward error recovery in concurrent systems was assessed.
- NASA Technical Reports Server (NTRS) Collection.
- Document ID: 19870002832., Accession ID: 87N12265., NASA-CR-179842., NAS 1.26:179842., and UVA/528213/CS87/109.
- No Copyright.
View MARC record | catkey: 15701324