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).
What people are saying - Write a review
We haven't found any reviews in the usual places.
accept clause ACCEPT frequency_change_request ACCEPT statements ADA language ADA-like language ADA-like notation AEGIS components AEGIS weapon system appropriate ARRAY coordinates BODY PROCEDURE BODY c&d_interface_input c&d_user_services_input called task cedures classified computer architecture Computer Science console_address control_grp_trk_no controlling task ctsl data objects data structure END RECORD END spy_l END spy_l_control executing in parallel fictitious function group functions high level indicate infinite loop initialization command interaction interface interface_types_package internal tasks invoked Listinq message type modeling tool multiprocessing Naval Postgraduate School ORTS orts_interface_input package body particular phase changed PL/I Postgraduate School Monterey private data types PROCEDURE BODY PROCEDURE programming languages radar_silence range_rate RECORD kind record structure reference document rendezvous concept request SELECT statement SEPARATE shown in Listing specification spy_l_control task SPY-1 package SPY-1 radar system SPY-1 system system design TASK BODY task entry points task or procedure Test tion track track_data TYPE TYPE TYPE unclassified vices vices vices video_formatter wcs_interface_output