A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A test suite for safety-critical Java using JML
2013
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '13
There has been much recent interest in adding support for real-time capabilities to Android. Proposed architectures for doing so fall into four broad categories, but only two support real-time Android applications. These two proposals include a real-time garbage collector for real-time memory management and a real-time operating system for real-time scheduling and resource management. Although they provide the fundamental building blocks for real-time Android, unfortunately such proposals are
doi:10.1145/2512989.2512993
dblp:conf/jtres/RavnS13
fatcat:5aas3cw7zre3nnzj2m75x5exd4