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 条
  • [41] Unifying Spatial Accelerator Compilation With Idiomatic and Modular Transformations
    Weng, Jian
    Liu, Sihao
    Kupsh, Dylan
    Nowatzki, Tony
    [J]. IEEE MICRO, 2022, 42 (05) : 59 - 69
  • [42] Miniphases: Compilation using Modular and Efficient Tree Transformations
    Petrashko, Dmitry
    Lhotak, Ondrej
    Odersky, Martin
    [J]. ACM SIGPLAN NOTICES, 2017, 52 (06) : 201 - 216
  • [43] Compilation of INRECA methodology applications
    Bergmann, R
    Breen, S
    Göker, M
    Manago, M
    Wess, S
    [J]. DEVELOPING INDUSTRIAL CASE-BASED REASONING APPLICATIONS, 1999, 1612 : 159 - 174
  • [44] EDPEPPS: A toolset for the design and performance evaluation of parallel applications
    Delaitre, T
    Zemerly, MJ
    Vekariya, P
    Justo, GR
    Bourgeois, J
    Schinkmann, F
    Spies, F
    Randoux, S
    Winter, SC
    [J]. EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 113 - 125
  • [45] DSP TOOLSET PROVIDES PATH FOR WIRELESS AND MULTIMEDIA APPLICATIONS
    DONLIN, M
    [J]. COMPUTER DESIGN, 1994, 33 (08): : 110 - 110
  • [46] Reducing FPGA Compile Time with Separate Compilation for FPGA Building Blocks
    Xiao, Yuanlong
    Park, Dongjoon
    Butt, Andrew
    Giesen, Hans
    Han, Zhaoyang
    Ding, Rui
    Magnezi, Nevo
    Rubin, Raphael
    DeHon, Andre
    [J]. 2019 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT 2019), 2019, : 153 - 161
  • [47] CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
    Wang, Yuting
    Xu, Xiangzhe
    Wilke, Pierre
    Shao, Zhong
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
  • [48] SEPARATE COMPILATION IN MODULA-2 - AN APPROACH TO EFFICIENT SYMBOL FILES
    GUTKNECHT, J
    [J]. IEEE SOFTWARE, 1986, 3 (06) : 29 - 38
  • [49] LINBOX Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation
    Dumas, Jean-Guillaume
    Gautier, Thierry
    Pernet, Clement
    Saunders, B. David
    [J]. MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 77 - +
  • [50] Mostly Modular Compilation of Crosscutting Concerns by Contextual Predicate Dispatch
    Chiba, Shigeru
    Igarashi, Atsushi
    Zakirov, Salikh
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (10) : 539 - 554
12345