Sciweavers

386 search results - page 2 / 78
» Static Timing Analysis of Real-Time Operating System Code
Sort
View
RTCSA
2003
IEEE
13 years 10 months ago
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat
APLAS
2010
ACM
13 years 3 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander
ECRTS
2006
IEEE
13 years 11 months ago
WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
Isabelle Puaut
ISCA
2003
IEEE
169views Hardware» more  ISCA 2003»
13 years 10 months ago
Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
Aravindh Anantaraman, Kiran Seth, Kaustubh Patil, ...
CODES
1997
IEEE
13 years 9 months ago
Automatic Generation of a Real-Time Operating System for Embedded Systems
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
Felice Balarin, Massimiliano Chiodo, Attila Jurecs...