Type-based race detection for Java
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Understanding Object-Oriented Programming with Java
Understanding Object-Oriented Programming with Java
Java Virtual Machine Specification
Java Virtual Machine Specification
The Real-Time Specification for Java
The Real-Time Specification for Java
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Types for safe locking: Static race detection for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Ravenscar-Java profile implementation
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
A Profile for Safety Critical Java
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Processing group parameters in the real-time specification for Java
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Model-based schedulability analysis of safety critical hard real-time Java programs
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Design patterns for supporting RTSJ component models
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
A certified lightweight non-interference java bytecode verifier
ESOP'07 Proceedings of the 16th European conference on Programming
New developments in WCET analysis
Program analysis and compilation, theory and practice
Certified memory usage analysis
FM'05 Proceedings of the 2005 international conference on Formal Methods
Information flow analysis for java bytecode
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Schedulability analysis for Java finalizers
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Asynchronous event handling and safety critical Java
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
WCET analysis of Java bytecode featuring common execution environments
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Memory management for safety-critical Java
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Region-Based RTSJ Memory Management: State of the art
Science of Computer Programming
Asynchronous event handling and Safety Critical Java
Concurrency and Computation: Practice & Experience
About 15 years of real-time 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
Towards harnessing theories through tool support for hard real-time Java programming
Innovations in Systems and Software Engineering
A test suite for safety-critical Java using JML
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |
A Java profile suitable for development of high integrity embedded systems is presented. It is based on event handlers which are grouped in missions and equipped with respectively private handler memory and shared mission memory. This is a result of our previous work on developing a Java profile, and is directly inspired by interactions with the Open Group on their on-going work on a safety critical Java profile (JSR-302). The main contribution is an arrangement of the class hierarchy such that the proposal is a generalization of Real-Time Specification for Java (RTSJ). A further contribution is to integrate the mission concept as a handler, such that mission memory becomes a handler private memory and such that mission initialization and finalization are scheduled activities. Two implementations are presented: one directly on an open source JVM using Xenomai and another, based on delegation, on an RTSJ platform.