184 search results - page 3 / 37 » Testing Real-Time Systems Using UPPAAL |
FORMATS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
FATES
2004
Springer
13 years 11 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
MAM
2008
13 years 6 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
RTSS
1999
IEEE
13 years 10 months ago
1999
IEEE
WCET
2007
13 years 7 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...