A family of real‐time Java benchmarks

Kalibera, Tomas; Hagelberg, Jeff; Maj, Petr; Pizlo, Filip; Titzer, Ben L.; Vítek, Jan

doi:10.1002/cpe.1677

Cited by 44 publications

(53 citation statements)

References 15 publications

(10 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Instead of providing a collection of tests that independently evaluate embedded real-time Java features, in [65], Kalibera et al present the CDx benchmark, an open source, application-based benchmark that can be adapted to run both on standard and RTSJ compliant VMs. CDx can be used for soft and hard real-time systems as it uses RTSJ's hard real-time features.…”

Section: Testing Real-time Features In Real-time Virtual Machinesmentioning

confidence: 99%

“…First, the new java.util collection classes were used as drop-in replacements for the shared data structures in the parallel miniCDj benchmark [135]. The miniCDj benchmark is a SCJ version of the benchmark described in [65]. miniCDj implements an air traffic controller simulator that generates artificial radar frames containing airplane positions.…”

Section: Testingmentioning

confidence: 99%

See 1 more Smart Citation

Safety‐critical Java for embedded systems

Schoeberl

Dalsgaard

Hansen

et al. 2016

Concurrency and Computation

View full text Add to dashboard Cite

Phone +45 4525 3351 compute@compute.dtu.dk www.compute.dtu.dk IMM-PhD-2014-340 Summary (English) Safety-critical systems are real-time systems whose failure can have severe or catastrophic consequences, possibly endangering human life. Many safety-critical systems incorporate embedded computers used to control different tasks. Software running on safety-critical systems needs to be certified before its deployment and the most time-consuming step of this process is the testing and verification phase. Due to the increasing complexity in safety-critical systems there is a need for new technologies that can facilitate testing and verification activities.The safety-critical specification for Java aims at providing a reduced set of the Java programming language that can be used for systems that need to be certified at the highest levels of criticality. Safety-critical Java (SCJ) restricts how a developer can structure an application by providing a specific programming model and by restricting the set of methods and libraries that can be used. Furthermore, its memory model do not use a garbage-collected heap but scoped memories.In this thesis we examine the use of the SCJ specification through an implementation in a time-predictable, FPGA-based Java processor. The specification is now in a mature state and with our implementation we have proved its feasibility in an embedded platform. Moreover, we have explored how simple hardware extensions can reduce the execution time of time-critical operations required by the SCJ specification.The scoped memory model used in SCJ is perhaps one of its most difficult features to use correctly. Therefore, in this work we have also studied practical aspects of its usage by developing scoped memory use patterns and reusable libraries aiming at facilitating the development of complex software systems.ii Summary (Danish)Sikkerhedskritiske systemer er realtidssystemer. Hvis sådanne systemer fejler, kan det have alvorlige eller katastrofale konsekvenser, muligvis livsfarlige konsekvenser. Mange sikkerhedskritiske systemer inkorporerer embeddede computere, som bruges til at kontrollere forskellige opgaver. Software, som kører på sikkerhedskritiske systemer, skal certificeres, før softwaren udrulles, og det mest tidskraevende skridt i denne proces er test-og verifikationsfasen. På grund af den stigende kompleksitet i sikkerhedskritiske systemer er der behov for nye teknologier til at facilitere test-og verifikationsaktiviteter.Den sikkerhedskritiske specifikation for Java har til formål at levere en reduceret udgave af Java-programmeringssproget, som kan bruges til systemer, der skal kunne certificeres på de højeste kritikalitetsniveauer. Safety Critical Java (SCJ) begraenser, hvordan en udvikler kan strukturere en applikation, ved at levere en specifik programmeringsmodel og ved at begraense de metoder og biblioteker, som kan anvendes. Derudover benytter hukommelsesmodellen i SCJ ikke en heap, der er garbage-collected, men afgraensede hukommelser.I denne afhandling undersøger vi brugen a...

show abstract

Section: Testing Real-time Features In Real-time Virtual Machinesmentioning

confidence: 99%

Section: Testingmentioning

confidence: 99%

Safety‐critical Java for embedded systems

Schoeberl

Dalsgaard

Hansen

et al. 2016

Concurrency and Computation

View full text Add to dashboard Cite

show abstract

“…First, the new java.util collection classes were used as drop-in replacements for the shared data structures in the parallel miniCDj benchmark [25]. The miniCDj benchmark is a SCJ version of the benchmark described in [16]. miniCDj implements an air traffic controller simulator that generates artificial radar frames containing airplane positions.…”

Section: E Testingmentioning

confidence: 99%

Reusable Libraries for Safety-Critical Java

Rios

Schoeberl

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Abstract-The large collection of Java class libraries is a main factor of the success of Java. However, these libraries assume that a garbage-collected heap is used. Safety-critical Java uses scope-based memory areas instead of a garbage-collected heap. Therefore, the Java class libraries are problematic to use in safety-critical Java.We have identified common programming patterns in the Java class libraries that make them unsuitable for safety-critical Java. We propose ways to improve the libraries to avoid the impact of the identified problematic patterns. We illustrate these changes by implementing a total of five scope-safe classes from commonly used libraries.

show abstract

“…Instead of providing a collection of tests that independently evaluate embedded real-time Java features, in [6], Kalibera et al present the CDx benchmark, an open source, applicationbased benchmark that can be adapted to run both on standard and RTSJ compliant VMs. CDx can be used for soft and hard real-time systems as it uses RTSJ's hard real-time features.…”

Section: Related Workmentioning

confidence: 99%

An Evaluation of Safety-Critical Java on a Java Processor

Rios¹,

Schoeberl²

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Abstract-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.

show abstract

A family of real‐time Java benchmarks

Cited by 44 publications

References 15 publications

Safety‐critical Java for embedded systems

Safety‐critical Java for embedded systems

Reusable Libraries for Safety-Critical Java

An Evaluation of Safety-Critical Java on a Java Processor

Contact Info

Product

Resources

About