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
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;
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
DOI :
10.1109/CMPEUR.1990.113635