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 条
  • [1] SPECIFYING, PROGRAMMING AND VERIFYING REAL-TIME SYSTEMS USING A SYNCHRONOUS DECLARATIVE LANGUAGE
    HALBWACHS, N
    PILAUD, D
    OUABDESSELAM, F
    GLORY, AC
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 213 - 231
  • [2] Elevate embedded real-time programming with a synchronous language
    Grosch, Franz-Josef
    MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 5 - 5
  • [3] PROGRESS - PROGRAMMING LANGUAGE FOR REAL-TIME SYSTEMS
    ZIMA, H
    ANGEWANDTE INFORMATIK, 1974, (08): : 335 - 338
  • [4] PROGRAMMING AND VERIFYING REAL-TIME SYSTEMS BY MEANS OF THE SYNCHRONOUS DATA-FLOW LANGUAGE LUSTER
    HALBWACHS, N
    LAGNIER, F
    RATEL, C
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (09) : 785 - 793
  • [5] Real-Time Ticks for Synchronous Programming
    von Hanxleden, Reinhard
    Bourke, Timothy
    Girault, Alain
    2017 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2017,
  • [6] REAL-TIME CONCURRENT-C - A LANGUAGE FOR PROGRAMMING DYNAMIC REAL-TIME SYSTEMS
    GEHANI, N
    RAMAMRITHAM, K
    REAL-TIME SYSTEMS, 1991, 3 (04) : 377 - 405
  • [7] The SIGNAL declarative synchronous language: controller synthesis & systems/architecture design
    Benveniste, A
    Boumai, P
    Gautier, TY
    Le Borgne, M
    Le Guernic, P
    Marchand, H
    PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 3284 - 3289
  • [8] REAL-TIME SIMULATION USING THE SYSTEMS PROGRAMMING LANGUAGE BCPL
    MCLEAN, A
    SIMULATION, 1979, 33 (06) : 205 - 205
  • [9] PROGRAMMING REAL-TIME APPLICATIONS WITH SIGNAL
    LEGUERNIC, P
    GAUTIER, T
    LEBORGNE, M
    LEMAIRE, C
    PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1321 - 1341
  • [10] EMBEDDING TIME GRANULARITY IN A LOGICAL SPECIFICATION LANGUAGE FOR SYNCHRONOUS REAL-TIME SYSTEMS
    CIAPESSONI, E
    CORSETTI, E
    MONTANARI, A
    SANPIETRO, P
    SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) : 141 - 171
12345