• 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