The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2004)
Brno, Czech Republic
May 24, 2004 to May 27, 2004
ISBN: 0-7695-2125-8
pp: 152
Joanna Strug , Cracow University of Technology
Stanislaw Deniziak , Cracow University of Technology
Krzysztof Sapiecha , Cracow University of Technology
ABSTRACT
Efficient methods of automatic generation of test scenarios to validate a system against functional requirements have already been developed. However, there are no such satisfactory methods as far as temporal requirements are concerned. In this paper a method of automatic generation of test scenarios for verification of time constraints for reactive embedded systems is presented.
INDEX TERMS
null
CITATION

S. Deniziak, K. Sapiecha and J. Strug, "Validation of Reactive Embedded Systems against Temporal Requirements," Engineering of Computer-Based Systems, IEEE International Conference on the(ECBS), Brno, Czech Republic, 2004, pp. 152.
doi:10.1109/ECBS.2004.1316694
96 ms
(Ver 3.3 (11022016))