The Real-Time Specification for Java
The Real-Time Specification for Java
Foundations of Real-Time Computing: Scheduling and Resource Management
Foundations of Real-Time Computing: Scheduling and Resource Management
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
A Java processor architecture for embedded real-time systems
Journal of Systems Architecture: the EUROMICRO Journal
Use of PERC Pico in the AIDA avionics platform
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Interactive worst-case execution time analysis of hard real-time systems
Interactive worst-case execution time analysis of hard real-time systems
Worst-case execution time analysis for a Java processor
Software—Practice & Experience
Developing safety critical Java applications with oSCJ/L0
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
A Hardware Abstraction Layer in Java
ACM Transactions on Embedded Computing Systems (TECS)
Memory management for safety-critical Java
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Private memory allocation analysis for safety-critical Java
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Safety-critical Java for low-end embedded platforms
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Safety-critical Java on a Java processor
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Private memory allocation analysis for safety-critical Java
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Safety-critical Java on a Java processor
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Exploiting slicing and patterns for RTSJ immortal memory optimization
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Chip-multiprocessor hardware locks for safety-critical Java
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |
It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safety-critical standards. Although there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification. In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems.