287 search results - page 7 / 58 » Test of preemptive real-time systems |
133
Voted
RTSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Data caches are essential in modern processors, bridging the widening gap between main memory and processor speeds. However, they yield very complex performance models, which make...
107
click to vote
FATES
2004
Springer
15 years 5 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
84
Voted
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
103
Voted
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
143
Voted
FORTEST
2008
15 years 1 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...