184 search results - page 8 / 37 » Testing Real-Time Systems Using UPPAAL |
115
click to vote
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
138
Voted
ESEC
1993
Springer
15 years 6 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
159
Voted
DELTA
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...
108
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
126
click to vote
MICCAI
2009
Springer
16 years 3 months ago
2009
Springer
The automation and speedup of interventional therapy and diagnostic workflows is a crucial issue. One way to improve these workflows is to accelerate the image acquisition procedur...