Building partitioned architectures based on the Ravenscar profile
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Java Virtual Machine Specification
Java Virtual Machine Specification
The Java Programming Language
Computer
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 case study of specification and verification using JML in an avionics application
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Safety critical applications and hard real-time profile for Java: a case study in avionics
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Flexible Java real-time profile for business-critical systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Issues in building an ANRTS platform
JTRES '06 Proceedings of the 4th 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
Asynchronous event handling and Safety Critical Java
Concurrency and Computation: Practice & Experience
| Hi-index | 0.01 |
HIJA is an undertaking to create the technology conditions that will allow architecture neutrality for real-time systems (ANRTS). This paper makes the point that technology features are needed at both the execution level (platform) and the software engineering level (process). In order to cope with the wide range of real-time and embedded systems, 3 run-time profiles based on RTSJ are identified, the hard real-time Java profile, the soft real-time Java profile and the flexible real-time Java profile. These profiles also provide support for distributed applications based on both synchronous and asynchronous communication methods. In order to ensure that executing applications are functionally correct and satisfy resource constraints, a required tool set is described, including analysis tools for schedule-ability or functional correctness verification. Finally, results from a proof-of-concept implementation of ANRTS platforms and tool set, and their use for three different applications (avionics, automotive telematics, ambient system) are reported, confirming the feasibility of the ANRTS approach.