Military Computer Family Operating System: An Ada (Trademark) Application,
Abstract
The Military Computer Family Operating System (MCFOS) Program is an interesting Ada* application effort. Not only will the operating system be one of the early Ada applications, but it is also an Ada operating system for a new family of machines and is designed to support fielded, real-time Ada applications programs. Finally, the operating system will be the first Ada program designed to be a formally verified multilevel secure system. This ambitious but completely do-able program will certainly stretch the state of the art of ADA programming, if not actually advance it. This paper explores some of the Ada issues that have a major impact on the MCFOS program. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1984
- Accession Number
- ADP003427
Entities
People
- F. E. Wuebker