An ADA language model of the AN/SPY-1A component of the AEGIS weapon system

摘要

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)