DocumentCode
2706431
Title
An application generator for a family of real-time monitor and control systems
Author
Benaya, Tamar ; Yehudai, Amiram
Author_Institution
Tel-Aviv Univ., Israel
fYear
1990
fDate
8-10 May 1990
Firstpage
274
Lastpage
279
Abstract
An application generator (AG) for a family of real-time monitor and control system (RTMCS) is presented. The input to the AG is a system specification of a desired RTMC system, and the output is an Ada program for the specified system (the target system). The system specification of a desired RTMC system is defined with the aid of an interactive menu-driven program. After checking the specification for internal inconsistencies and commissions, the AG generates Ada code for the specified target system. The generated code can then be compiled and linked to produce either an operational target system or a simulation of the target system. The family of applications for which this AG was developed includes real-time systems which receive data from the real world, based on asynchronous interrupts; process the data by performing transformations, analysis and timed response in the form of local displays, alarms and remote control; and control the environment by means of both operator and automatic control
Keywords
application generators; computerised control; formal specification; real-time systems; Ada program; alarms; application generator; asynchronous interrupts; interactive menu-driven program; local displays; real-time monitor and control systems; remote control; simulation; system specification; timed response; Application software; Automatic control; Computer science; Computerized monitoring; Control systems; Displays; Performance analysis; Real time systems; Remote monitoring; Software performance;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location
Tel-Aviv
Print_ISBN
0-8186-2041-2
Type
conf
DOI
10.1109/CMPEUR.1990.113635
Filename
113635
Link To Document