494 search results - page 3 / 99 » Real-Time and Hybrid Systems Testing |
156
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
151
Voted
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
165
click to vote
RTCSA
2006
IEEE
16 years 14 days ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
164
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
167
click to vote
FATES
2004
Springer
15 years 12 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...