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 条
  • [21] Logical Formalism for Specification of Real-Time Multiagent Systems
    Bugaichenko, D. Yu.
    Solov'ev, I. P.
    VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2007, 40 (02) : 131 - 137
  • [22] Duration calculus, a logical approach to real-time systems
    Zhao, CC
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 1 - 7
  • [23] Operational and logical semantics for polling real-time systems
    Dierks, H
    Fehnker, A
    Mader, A
    Vaandrager, F
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 29 - 40
  • [24] PASS: A prototyping, analysis, simulation, and synthesis environment for real-time systems
    Kuo, TW
    Ho, SJ
    Wei, CH
    Wang, F
    FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, : 260 - 267
  • [25] Formal verification of real-time systems with preemptive scheduling
    Didier Lime
    Olivier (H. ) Roux
    Real-Time Systems, 2009, 41 : 118 - 151
  • [26] A formal design language for real-time systems with data
    Bradley, S
    Henderson, W
    Kendall, D
    Robson, A
    SCIENCE OF COMPUTER PROGRAMMING, 2001, 40 (01) : 3 - 29
  • [27] Formal Analysis of Sporadic Bursts in Real-Time Systems
    Quinton, Sophie
    Negrean, Mircea
    Ernst, Rolf
    DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 767 - 772
  • [28] Formal Analysis of Sporadic Overload in Real-Time Systems
    Quinton, Sophie
    Hanke, Matthias
    Ernst, Rolf
    DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 515 - 520
  • [29] A practical approach to formal design of real-time systems
    Baresi, L
    Braberman, V
    Felder, M
    Pezze, M
    Piezianek, F
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1014 - 1019
  • [30] A Formal Architecture Pattern for Real-Time Distributed Systems
    Al-Nayeem, Abdullah
    Sun, Mu
    Qiu, Xiaokang
    Sha, Lui
    Miller, Steven P.
    Cofer, Darren D.
    2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2009, : 161 - +
12345