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 条
  • [21] SEPARATE COMPILATION IN A MODULA-2 COMPILER
    FOSTER, DG
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1986, 16 (02): : 101 - 106
  • [22] A Compositional Semantics for Verified Separate Compilation and Linking
    Ramananandro, Tahina
    Shao, Zhong
    Weng, Shu-Chun
    Koenig, Jeremie
    Fu, Yuchen
    [J]. CPP'15: PROCEEDINGS OF THE 2015 ACM CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2015, : 3 - 14
  • [23] MECHANISM OF SEPARATE COMPILATION IN ADA PROGRAMMING SYSTEM
    GORBUNOV, AV
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (01) : 12 - 19
  • [24] On Modular and Fully-Abstract Compilation
    Patrignani, Marco
    Devriese, Dominique
    Piessens, Frank
    [J]. 2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), 2016, : 17 - 30
  • [25] Modular Compilation of Guarded Atomic Actions
    Vijayaraghavan, Muralidaran
    Dave, Nirav
    Arvind
    [J]. 2013 ELEVENTH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE 2013), 2013, : 177 - 187
  • [26] Compilation of Modular and General Sparse Workspaces
    Zhang, Genghan
    Hsu, Olivia
    Kjolstad, Fredrik
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI):
  • [27] A Toolset for GUI Testing of Android Applications
    Amalfitano, Domenico
    Fasolino, Anna Rita
    Tramontana, Porfirio
    De Carmine, Salvatore
    Imparato, Gennaro
    [J]. 2012 28TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE (ICSM), 2012, : 650 - 653
  • [28] Extending a partial evaluator which supports separate compilation
    Heldal, R
    Hughes, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 248 (1-2) : 99 - 145
  • [29] Application of Interface Theories to the Separate Compilation of Synchronous Programs
    Benveniste, Albert
    Caillaud, Benoit
    Raclet, Jean-Baptiste
    [J]. 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 7252 - 7258
  • [30] Separate Compilation in a Language-Integrated Heterogeneous Environment
    Murphy, Mike
    Marathe, Jaydeep
    Bharambe, Girish
    Lee, Sean
    Grover, Vinod
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2013, 2014, 8664 : 121 - 135
12345