An ADA language model of the AN/SPY-1A component of the AEGIS weapon system
Loading...
Authors
McCoy, Earl E.
Subjects
ADA
Specification Languages
Modeling
Systems Design
SPY-1
AEGIS
Specification Languages
Modeling
Systems Design
SPY-1
AEGIS
Advisors
Date of Issue
1980-08
Date
1980-08
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
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)
Type
Technical Report
Description
Series/Report No
Department
Identifiers
NPS Report Number
NPS-52-80-011
Sponsors
Prepared for: Naval Postgraduate School; Monterey, California 93940
Funder
SEATASK Project No. 80-109
Format
39 p. ; 28 cm.
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.