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 条
  • [31] Formal modeling and verification of real-time concurrent systems
    Yan, Fei
    Tang, Tao
    2007 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, PROCEEDINGS, 2007, : 219 - 224
  • [32] Formal verification of real-time systems with data processing
    Tóth, Tamás (totht@mit.bme.hu), 1600, Budapest University of Technology and Economics (61):
  • [33] ANIMATION PROTOTYPING OF FORMAL SPECIFICATIONS OF REAL-TIME SYSTEMS
    HUGHES, TS
    COOLING, JE
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 381 - 388
  • [34] Formal patterns for multirate distributed real-time systems
    Bae, Kyungmin
    Meseguer, Jose
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 91 : 3 - 44
  • [35] Formal verification of real-time systems with preemptive scheduling
    Lime, Didier
    Roux, Olivier H.
    REAL-TIME SYSTEMS, 2009, 41 (02) : 118 - 151
  • [36] An approach to platform independent real-time programming: (1) formal description
    Hooman, J
    Van Roosmalen, O
    REAL-TIME SYSTEMS, 2000, 19 (01) : 61 - 85
  • [37] An Approach to Platform Independent Real-Time Programming: (1) Formal Description
    Jozef Hooman
    Onno van Roosmalen
    Real-Time Systems, 2000, 19 : 61 - 85
  • [38] Specification and verification of a real-time field bus with formal description languages
    Marino, P
    Poza, F
    Dominguez, M
    Nogueira, J
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 415 - 429
  • [39] Comparing model checking and logical reasoning for real-time systems
    Dierks, H
    FORMAL ASPECTS OF COMPUTING, 2004, 16 (02) : 104 - 120
  • [40] Specification Methods for Logical Sequences in Real-time Systems.
    Vogel, Eberhard W.
    Technische Mitteilungen PTT, 1983, 61 (03): : 93 - 99
12345