184 search results - page 20 / 37 » Testing Real-Time Systems Using UPPAAL |
149
Voted
RTAS
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
129
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
104
Voted
FATES
2004
Springer
15 years 7 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
103
Voted
WSC
2000
15 years 3 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
145
Voted
ENTCS
2007
15 years 2 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...