The Real-Time Specification for Java
The Real-Time Specification for Java
A Metrics Suite for Object Oriented Design
IEEE Transactions on Software Engineering
Automated Software Engineering
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Asynchronous Transfer of Control in the Real-Time Specification for Java
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Mackinac: Making HotSpot" Real-Time
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Effective static race detection for Java
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Using real-time Java for industrial robot control
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Design and implementation of a comprehensive real-time java virtual machine
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
A real-time Java virtual machine with applications in avionics
ACM Transactions on Embedded Computing Systems (TECS)
Predictable programming on a precision timed architecture
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Effective static deadlock detection
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
CDx: a family of real-time Java benchmarks
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
A technology compatibility kit for safety critical Java
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Scheduling Hard Real-Time Garbage Collection
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Model checking real time java using java pathfinder
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Exhaustive testing of safety critical Java
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Region-Based RTSJ Memory Management: State of the art
Science of Computer Programming
Ji.Fi: visual test and debug queries for hard real-time
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences. Unfortunately, it is nearly impossible to find representative safety-critical programs in the public domain. This has been significant impediment to research in the field, as it is very difficult to validate new ideas or techniques experimentally. This paper presents open challenges for verification of real-time systems in the context of the Real-time Specification for Java. But, our main contribution is a family of programs, called CDx, which we present as an open source benchmark for the verification community.