PRINCIPLES OF PROGRAM SYNTHESIS FOR REAL-TIME SYSTEMS ON THE BASIS OF A FORMAL LOGICAL DESCRIPTION OF THE PROBLEM ENVIRONMENT.

被引：0
|
作者：
Ros', A.A.
机构：
来源：
Cybernetics | 1985年 / 21卷 / 05期
关键词：
CONTROL SYSTEMS - Computer Applications - DATA PROCESSING;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper discusses a method of synthesis for control and data processing programs using a formal logical description of the problem environment. It is based on a formal system of logical derivation of the control system action plan in attaining the goal. The formalization of the problems handled by the control system and the derivation structure are coordinated with the principles incorporated into the programs developed, such as ascending or modular programming. The formalism is aimed at software for real-time systems.
引用
收藏
页码：599 / 606
相关论文
共 50 条
  • [41] A logical approach for specification and execution of concurrent real-time systems
    Ramirez, R
    FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, : 182 - 185
  • [42] Teaching real-time systems in an information systems program
    Shu, LC
    Shiau, SH
    Sun, HM
    Tsai, CM
    Kuo, TW
    REAL-TIME SYSTEMS EDUCATION II, 1997, : 19 - 23
  • [43] Real-time pricing program in a smart grid environment
    Monsef, Hassan
    Wu, Bin
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2013, 89 (04): : 513 - 523
  • [44] PROGRAM STRUCTURING FOR REAL-TIME MICROPROCESSOR SYSTEMS
    RACHIMBEKOV, BM
    VARFOLOMEYEV, AN
    TELECOMMUNICATIONS AND RADIO ENGINEERING, 1984, 38-9 (10) : 37 - 40
  • [45] DEALING WITH DIFFERENT TIME GRANULARITIES IN FORMAL SPECIFICATIONS OF REAL-TIME SYSTEMS
    CORSETTI, E
    MONTANARI, A
    RATTO, E
    REAL-TIME SYSTEMS, 1991, 3 (02) : 191 - 215
  • [46] AN ENVIRONMENT FOR DISTRIBUTED PROTOTYPING OF REAL-TIME SYSTEMS
    ALONSO, A
    DUENAS, JC
    LEON, G
    DELAPUENTE, JA
    CONTROL ENGINEERING PRACTICE, 1995, 3 (06) : 871 - 876
  • [47] PERTS: A prototyping environment for real-time systems
    Liu, JWS
    Liu, CL
    Deng, Z
    Tia, TS
    Sun, J
    Storch, M
    Hull, D
    Redondo, JL
    Bettati, R
    Silberman, A
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 161 - 177
  • [48] Deployment of real-time systems in the cloud environment
    Min-Allah, Nasro
    Qureshi, Muhammad Bilal
    Jan, Farmanullah
    Alrashed, Saleh
    Taheri, Javid
    JOURNAL OF SUPERCOMPUTING, 2021, 77 (02): : 2069 - 2090
  • [49] Deployment of real-time systems in the cloud environment
    Nasro Min-Allah
    Muhammad Bilal Qureshi
    Farmanullah Jan
    Saleh Alrashed
    Javid Taheri
    The Journal of Supercomputing, 2021, 77 : 2069 - 2090
  • [50] A model-integrated program synthesis environment for parallel/real-time image processing
    Moore, MS
    Sztipanovitz, J
    Karsai, G
    Nichols, J
    PARALLEL AND DISTRIBUTED METHODS FOR IMAGE PROCESSING, 1997, 3166 : 31 - 45
12345