SIGNAL - A DECLARATIVE LANGUAGE FOR SYNCHRONOUS PROGRAMMING OF REAL-TIME SYSTEMS

被引：0
|
作者：
GAUTIER, T [1 ]
LEGUERNIC, P [1 ]
BESNARD, L [1 ]
机构：
[1] CICB,CNRS,F-35042 RENNES,FRANCE
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 274卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：257 / 277
页数：21
相关论文
共 50 条
  • [21] Programming Paradigms for Real-Time Systems
    Landauer, Christopher
    Bellman, Kirstie L.
    2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 366 - 373
  • [22] REAL-TIME EUCLID - A LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
    KLIGERMAN, E
    STOYENKO, AD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 941 - 949
  • [23] DROL - AN OBJECT-ORIENTED PROGRAMMING LANGUAGE FOR DISTRIBUTED REAL-TIME SYSTEMS
    TAKASHIO, K
    TOKORO, M
    SIGPLAN NOTICES, 1992, 27 (10): : 276 - 294
  • [24] Programming language for the development of distributed real-time applications dedicated to embedded systems
    Ciocarlie, Horia
    IMECS 2007: International Multiconference of Engineers and Computer Scientists, Vols I and II, 2007, : 540 - 545
  • [25] Programming language for the development of distributed real-time applications dedicated to embedded systems
    Computer and Software Department, Politehnica University of Timisoara, Romania
    Lect. Notes Eng. Comput. Sci., (540-545):
  • [26] ReTiF: A declarative real-time scheduling framework for POSIX systems
    Serra, Gabriele
    Ara, Gabriele
    Fara, Pietro
    Cucinotta, Tommaso
    JOURNAL OF SYSTEMS ARCHITECTURE, 2021, 118
  • [27] THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS
    BENVENISTE, A
    BERRY, G
    PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1270 - 1282
  • [28] A LANGUAGE FOR COMPLEX REAL-TIME SYSTEMS
    STOYENKO, AD
    MARLOWE, TJ
    YOUNIS, MF
    COMPUTER JOURNAL, 1995, 38 (04): : 319 - 338
  • [29] Design of real-time programming language RTS/Java
    Gui, Xian-Zhou
    Huang, Wei-Dong
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2002, 30 (02): : 224 - 228
  • [30] A real-time programming language as a means of expressing specifications
    Colnaric, M
    Verber, D
    Halang, WA
    CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 975 - 981
12345