415 search results - page 7 / 83 » Testing Component-Based Real Time Systems |
105
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
121
click to vote
ENTCS
2006
15 years 1 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
116
click to vote
FATES
2004
Springer
15 years 7 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...
94
Voted
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
115
Voted
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE