JTRES
2010
ACM
13 years 10 months ago
2010
ACM
JTRES
2010
ACM
13 years 10 months ago
2010
ACM
JTRES
2010
ACM
13 years 10 months ago
2010
ACM
JTRES
2010
ACM
14 years 19 days ago
2010
ACM
Requirements to embedded systems increase steadily. In parallel, also the performance of the processors used in these systems is improved leading to multithreaded and/or multicore...
JTRES
2010
ACM
14 years 19 days ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
JTRES
2010
ACM
14 years 19 days ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
JTRES
2010
ACM
14 years 19 days ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
JTRES
2010
ACM
14 years 19 days ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
JTRES
2010
ACM
14 years 19 days ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...