CRONOS: A separate compilation toolset for modular ESTEREL applications

被引：0
|
作者：
Hainque, O
Pautet, L
Le Biannic, Y
Nassor, R
机构：
[1] Ecole Natl Super Telecommun, F-75013 Paris, France
[2] Dassault Aviat, F-92214 St Cloud, France
来源：
FM'99-FORMAL METHODS, VOL II | 1999年 / 1709卷
关键词：
esterel; compilation; synchronous reactive systems; avionics software;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
ESTEREL is an imperative synchronous language designed for the specification and the development of reactive systems. Recent studies pointed out that its use For the development of avionics software can yield great benefits but that the lack of support for separate compilation in the current toolset may be an obstacle to the development of large systems. This paper presents the CRONOS framework which provides such support for some specific cases of ESTEREL programs.
引用
收藏
页码：1836 / 1853
页数：18
相关论文
共 50 条
  • [1] SEPARATE COMPILATION IN CHIPSY
    EIDNES, H
    HALLSTEINSEN, SO
    WANVIK, DH
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL WORKSHOP ON SOFTWARE CONFIGURATION MANAGEMENT, 1989, 17 : 42 - 45
  • [2] Separate Compilation of Polychronous Specifications
    Ouy, Julien
    Talpin, Jean-Pierre
    Besnard, Loic
    Le Guernic, Paul
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 200 (01) : 51 - 70
  • [3] Separate compilation for synchronous modules
    Zeng, J
    Edwards, SA
    [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 129 - 140
  • [4] SEPARATE AND INTEGRAL COMPILATION OF SUBSYSTEMS
    BOHRINGER, B
    FEUERHAHN, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 123 : 50 - 64
  • [5] Lightweight Verification of Separate Compilation
    Kang, Jeehoon
    Kim, Yoonseung
    Hur, Chung-Kil
    Dreyer, Derek
    Vafeiadis, Viktor
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 178 - 190
  • [6] Executable assertions and separate compilation
    Gough, KJ
    Klaeren, H
    [J]. MODULAR PROGRAMMING LANGUAGES, 1997, 1204 : 41 - 52
  • [7] Modular architecture for a toolset supporting OCL
    Hussmann, H
    Demuth, B
    Finger, F
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (01) : 51 - 69
  • [8] SEPARATE COMPILATION FOR STANDARD ML
    APPEL, AW
    MACQUEEN, DB
    [J]. SIGPLAN NOTICES, 1994, 29 (06): : 13 - 23
  • [9] Partial evaluation and separate compilation
    Heldal, R
    Hughes, J
    [J]. ACM SIGPLAN NOTICES, 1997, 32 (12) : 1 - 11
  • [10] Modular architecture for a toolset supporting OCL
    Hussmann, H
    Demuth, B
    Finger, F
    [J]. UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, 2000, 1939 : 278 - 293
12345