COMPSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
EUROMICRO
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...