Accession Number:

ADP003427

Title:

Military Computer Family Operating System: An Ada (Trademark) Application,

Descriptive Note:

Corporate Author:

RCA GOVERNMENT SYSTEMS DIV MOORESTOWN NJ MISSILE AND SURFACE RADAR

Personal Author(s):

Report Date:

1984-03-01

Pagination or Media Count:

3.0

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

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE