IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Game-Theoretic Approach to Real-Time System Testing

Design, Automation & Test in Europe. DATE'08

Author(s): A. David ; K.G. Larsen ; Shuhao Li ; B. Nielsen
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2008
Conference Location: Munich, Germany
Conference Date: 10 March 2008
Page(s): 486 - 491
ISBN (CD): 978-3-9810801-4-8
ISBN (Paper): 978-3-9810801-3-1
DOI: 10.1109/DATE.2008.4484728
Regular:

This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with timed I/O game automata and specifying the test purposes as Timed... View More

Advertisement