An ADA Language Model of the AN/SPY-1A Component of the AEGIS Weapon System.
Abstract
AN ADA-like language is proposed as a high level, specification oriented modeling tool. It is asserted that the very early system design modeling tasks are typically not given adequate stress, with the result that poor system designs are carried forward into the mid design phases. A lack of suitable modeling tools is likely one reason, and so an ADA-like modeling technique is proposed. It has many of the properties of specification languages, including the ability to be machine processed to indicate incomplete or inconsistent systems. The unclassified portions of the SPY-1 radar component of the AEGIS weapon system is used as a test vehicle to illustrate the modeling technique. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1980
- Accession Number
- ADA092260
Entities
People
- Earl E. Mccoy
Organizations
- Naval Postgraduate School