An Evaluation of Safety-Critical Java']Java on a Java']Java Processor

被引:1
|
作者
Rios, Juan Ricardo [1 ]
Schoeberl, Martin [1 ]
机构
[1] Tech Univ Denmark, Dept Appl Math & Comp Sci, Odense, Denmark
关键词
Real-time systems; Embedded systems; !text type='Java']Java[!/text; Safety-critical systems; Safety-critical [!text type='Java']Java[!/text; !text type='Java']Java[!/text] processor;
D O I
10.1109/ISORC.2014.41
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The safety-critical Java (SCJ) specification provides a restricted set of the Java language intended for applications that require certification. In order to test the specification, implementations are emerging and the need to evaluate those implementations in a systematic way is becoming important. In this paper we evaluate our SCJ implementation which is based on the Java Optimized Processor JOP and we measure different performance and timeliness criteria relevant to hard real-time systems. Our implementation targets Level 0 and Level 1 of the specification and to test it we use a series of micro benchmarks, an application-based benchmark, and a reduced set of a SCJ technology compatibility kit. We evaluate the accuracy of periods, linear-time memory allocation, aperiodic event handling, dispatch latency for interrupts, context switch preemption latency, and synchronization.
引用
收藏
页码:276 / 283
页数:8
相关论文
共 50 条
  • [21] Using CHARTER tools to develop a Safety-Critical Avionics Application in Java']Java
    Wedzinga, G.
    Wiegmink, K.
    PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 125 - 134
  • [22] Mission modes for safety critical Java']Java
    Schoeberl, Martin
    SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2007, 4761 : 105 - 113
  • [23] Formalizing the safety of Java']Java, the Java']Java virtual machine, and Java']Java card
    Hartel, PH
    Moreau, L
    ACM COMPUTING SURVEYS, 2001, 33 (04) : 517 - 558
  • [24] Firm Deadline Checking of Safety-Critical Java']Java Applications with Statistical Model Checking
    Ravn, Anders P.
    Thomsen, Bent
    Luckow, Kasper Soe
    Leth, Lone
    Bogholm, Thomas
    MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 269 - 288
  • [25] Circus models for safety-critical java programs
    Zeyda, F. (frank.zeyda@york.ac.uk), 1600, Oxford University Press (57):
  • [26] A Java']Java processor for mobile devices
    Tan, YY
    Man, LK
    Lun, MP
    Shing, YW
    Fong, AS
    ICCE: 2005 INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS, DIGEST OF TECHNICAL PAPERS, 2005, : 437 - 438
  • [27] A time predictable Java']Java processor
    Schoeberl, Martin
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 798 - 803
  • [28] Design and implementation of a Java']Java processor
    Tan, YY
    Yau, CH
    Lo, KM
    Yu, WS
    Mok, PL
    Fong, AS
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2006, 153 (01): : 20 - 30
  • [29] JOP: A Java']Java optimized processor
    Schoeberl, M
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS, 2003, 2889 : 346 - 359
  • [30] Java']Java Processor Optimized for RTSJ
    Chai, Zhilei
    Xu, Wenbo
    Tu, Shiliang
    Chen, Zhanglong
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2007, (01)