JTRES
2010
ACM
13 years 2 months ago
2010
ACM
JTRES
2010
ACM
13 years 2 months ago
2010
ACM
JTRES
2010
ACM
13 years 2 months ago
2010
ACM
JTRES
2010
ACM
13 years 2 months ago
2010
ACM
JTRES
2010
ACM
13 years 4 months 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
13 years 4 months 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
13 years 4 months 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
13 years 4 months 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
13 years 4 months 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
13 years 4 months 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 ...