Reliable and precise WCET determination for a real-life processor
C Ferdinand, R Heckmann, M Langenbach… - … , EMSOFT 2001 Tahoe …, 2001 - Springer
The USES-groupat the Universität des Saarlandes follows an approach to compute reliable
run-time guarantees which is both wellbased on theoretical foundations and practical from a …
run-time guarantees which is both wellbased on theoretical foundations and practical from a …
[PDF][PDF] An abstract interpretation-based timing validation of hard real-time avionics software
S Thesing, J Souyris, R Heckmann… - … Systems and Networks …, 2003 - academia.edu
Hard real-time avionics systems like flight control software are expected to always react in
time. Consequently, it is essential for the timing validation of the software that the worst-case …
time. Consequently, it is essential for the timing validation of the software that the worst-case …
Cache and pipeline sensitive fixed priority scheduling for preemptive real-time systems
J Schneider - Proceedings 21st IEEE Real-Time Systems …, 2000 - ieeexplore.ieee.org
Current schedulability analyses for preemptive systems consider cache behaviour by adding
preemption-caused cache reload costs. Thereby, they ignore the fact that delays due to …
preemption-caused cache reload costs. Thereby, they ignore the fact that delays due to …
Run-Time Guarantees for Real-Time Systems—The USES Approach
C Ferdinand, D Kästner, M Langenbach… - Informatik'99: Informatik …, 1999 - Springer
The USES group follows an approach to compute reliable runtime guarantees which is
based on well-understood theoretical foundations, practical in use, and efficient. Our worst …
based on well-understood theoretical foundations, practical in use, and efficient. Our worst …
[图书][B] Using static program analysis to compile fast cache simulators
V Hirvisalo - 2004 - aaltodoc.aalto.fi
This thesis presents a generic approach towards compiling fast execution-driven simulators,
and applies this to cache simulation of programs. The resulting cache simulation method …
and applies this to cache simulation of programs. The resulting cache simulation method …
Validierung des Zeitverhaltens von kritischer Echtzeit-Software
C Ferdinand, D Kästner, F Martin, M Langenbach… - … , Band 1, Beiträge der 33 …, 2003 - dl.gi.de
–Die Rechenleistung von Mikrocontrollern wird immer höher. Es gibt einen Trend, deshalb
immer mehr Funktionen auf ein einziges Steuergerät zu integrieren. Ein vollständiges …
immer mehr Funktionen auf ein einziges Steuergerät zu integrieren. Ein vollständiges …
WCET analysis of data dependent, component oriented, embedded software systems
P Szulman - Electronic Notes in Theoretical Computer Science, 2009 - Elsevier
Component oriented software construction approaches have gained enormous attention in
recent years. A developer has to consider functional and non-functional requirements of a …
recent years. A developer has to consider functional and non-functional requirements of a …