Safety-critical Java on a Java processor

Schoeberl, Martin; Rios, Juan Ricardo

doi:10.1145/2388936.2388946

Cited by 15 publications

(19 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For methods including parts of the SCJ API, the Java processor JOP [22] was used. JOP provides an implementation of Level 0 and Level 1 of the safety-critical Java profile [24].…”

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

Self Cite

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

“…For methods including parts of the SCJ API, the Java processor JOP [22] was used. JOP provides an implementation of Level 0 and Level 1 of the safety-critical Java profile [24].…”

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

Self Cite

View full text Add to dashboard Cite

show abstract

“…For the evaluation we use the SCJ implementation [18] on top of the Java processor JOP [15]. We reuse the already available infrastructure for thread scheduling to implement the SCJ handlers.…”

Section: Safety-critical Java On Jopmentioning

confidence: 99%

“…(1) the oSCJ [12] implementation running on the Open Virtual Machine [2], (2) the Hardware-near Virtual Machine (HVM) [19] implementation, and (3) the Java Optimized Processor (JOP) [18] implementation. In addition, many use cases have been developed in order to either test an implementation [21] or to evaluate analysis tools [1].…”

Section: Introductionmentioning

confidence: 99%

“…In this paper we present an evaluation of our SCJ's implementation [18] running on top of the Java optimized processor (JOP) [15]. We evaluate two main categories: (1) performance and timeliness and (2) compliance to the SCJ specification.…”

Section: Introductionmentioning

confidence: 99%

“…Section III presents work related to test and evaluation of embedded realtime and safety-critical Java implementations. Section IV provides a summary of our SCJ implementation [18]. Sections V and VI present the details and results of our evaluation.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

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

Self Cite

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

Hardware locks for a real‐time Java chip multiprocessor

Strøm

Puffitsch

Schoeberl

2016

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

A software locking mechanism commonly protects shared resources for multithreaded applications. This mechanism can, especially in chip-multiprocessor systems, result in a large synchronization overhead. For real-time systems in particular, this overhead increases the worst-case execution time and may void a task set's schedulability. This paper presents 2 hardware locking mechanisms to reduce the worst-case time required to acquire and release synchronization locks. These solutions are implemented for the chipmultiprocessor version of the Java Optimized Processor. The 2 hardware locking mechanisms are compared with a software locking solution as well as the original locking system of the processor. The hardware cost and performance are evaluated for all presented locking mechanisms. The performance of the betterperforming hardware locks is comparable with that of the original single global lock when contending for the same lock. When several noncontending locks are used, the hardware locks enable true concurrency for critical sections. Benchmarks show that using the hardware locks yields performance ranging from no worse than the original locks to more than twice their best performance. This improvement can allow a larger number of real-time tasks to be reliably scheduled on a multiprocessor real-time platform.

show abstract

Safety-critical Java on a Java processor

Cited by 15 publications

References 25 publications

Reusable Libraries for Safety-Critical Java

Reusable Libraries for Safety-Critical Java

An Evaluation of Safety-Critical Java on a Java Processor

Hardware locks for a real‐time Java chip multiprocessor

Contact Info

Product

Resources

About