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 条
  • [1] PRINCIPLES OF PROGRAM SYNTHESIS FOR REAL-TIME SYSTEMS ON THE BASIS OF A FORMAL LOGICAL DESCRIPTION OF THE PROBLEM ENVIRONMENT
    ROS, AA
    CYBERNETICS, 1985, 21 (05): : 599 - 606
  • [2] Formal description of time management in real-time operating systems
    Rusu-Banu, Fabricio
    Wang, Yingxu
    2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5, 2006, : 1801 - +
  • [3] Signal: A formal design environment for real-time systems
    LeGuernic, P
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 789 - 790
  • [4] An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems
    Muthiayen, D
    Alagar, VS
    Khendek, F
    Sefidcon, A
    SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 491 - 497
  • [5] DYNAMIC LINKING IN A REAL-TIME ENVIRONMENT.
    Novak, Robert E.
    GTE Automatic Electric Worldwide Communications Journal, 1981, 19 (02): : 57 - 60
  • [6] Formal description of an IEC 61499 runtime environment with real-time constraints
    Suender, Christoph
    Rofner, Hermann
    Vyatkin, Valeriy
    Favre-Bulle, Bernard
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 853 - +
  • [7] FACTS: REAL-TIME INFORMATION IN THE MANUFACTURING ENVIRONMENT.
    Jordan, R.
    Gates, N.
    Grayson, J.
    RCA engineer, 1986, 31 (04): : 35 - 41
  • [8] Formal synthesis and control of soft embedded real-time systems
    Hsiung, PA
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 35 - 50
  • [9] A formal model of real-time program compilation
    Lermer, K
    Fidge, C
    THEORETICAL COMPUTER SCIENCE, 2002, 282 (01) : 151 - 190
  • [10] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
12345