An ESTEREL-based reactive JAVA']JAVA extension for reactive embedded systems development

被引：0
|
作者：
Antoniotti, M [1 ]
Ferrari, A [1 ]
Flesca, A [1 ]
Sangiovanni-Vincentelli, A [1 ]
机构：
[1] EEIG, PARADES, Rome, Italy
来源：
SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES | 2001年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A "programming" language is viewed as a concrete syntax for a given semantics. A well defined sematics eases the design of complex embedded Systems. JESTER (JAVA-ESTERel), an extension of JAVA based on synchronous languages, has been conceived to ease the task of specifying and designing embedded systems. In this paper, the main features of JESTER axe described, and discussed in the wide context of reactive embedded system design alongside an example of automotive origin. JESTER is also placed in context with respect to competing approaches and the emerging Embedded and Micro Edition JAVA. Specifications.
引用
收藏
页码：205 / 214
页数：10
相关论文
共 50 条
  • [41] Java']Java perks up Embedded Systems Conference
    Ajluni, C
    ELECTRONIC DESIGN, 1996, 44 (18) : 153 - &
  • [42] Verifying synchronous reactive systems programmed in ESTEREL
    Bouali, A
    Marmorat, JP
    deSimone, R
    Toma, H
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 463 - 466
  • [43] Learning Based Java']Java for Rapid Development of NLP Systems
    Rizzolo, Nick
    Roth, Dan
    LREC 2010 - SEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2010,
  • [44] Java']Java-through-C compilation: An enabling technology for Java']Java in embedded systems
    Varma, A
    Bhattacharyya, SS
    DESIGNERS' FORUM: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2004, : 161 - 166
  • [45] Extension of Java']Java environment by facilities supporting development of SPMD Java']Java-programs
    Avetisyan, A
    Gaissaryan, S
    Samovarov, O
    PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 175 - 180
  • [46] Java in embedded and consumer systems
    Sun Microsystems, United Kingdom
    IEE Colloq Dig, 1600, 281 (4/1):
  • [47] Java technology for embedded systems
    Latawiec, Regis
    Electronic Products, 2013, 55 (02):
  • [48] Adapting Java for embedded development
    Perrier, Vincent
    IEE Review, 2000, 46 (03):
  • [49] A Component Framework for Java']Java-Based Real-Time Embedded Systems
    Plsek, Ales
    Loiret, Frederic
    Merle, Philippe
    Seinturier, Lionel
    MIDDLEWARE 2008, PROCEEDINGS, 2008, 5346 : 124 - 143
  • [50] Performance Study for Java']Java Virtual Machine In Embedded Systems
    Liu Wenjun
    2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL I, 2010, : 436 - 438
12345