Thumbnail
Access Restriction
Subscribed

Author David, A. ♦ Larsen, K.G. ♦ Shuhao Li ♦ Nielsen, B.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2008
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Applied physics
Subject Keyword Real time systems ♦ System testing ♦ Timing ♦ Uncertainty ♦ Automata ♦ Automatic control ♦ Control system synthesis ♦ Automatic testing ♦ Acoustic testing ♦ Embedded software
Abstract 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 CTL formulas, we employ a recently developed timed game solver UPPAAL-TIGA to synthesize winning strategies, and then use these strategies to conduct black-box conformance testing of the systems. The testing process is proved to be sound and complete with respect to the given test purposes. Case study and preliminary experimental results indicate that this is a viable approach to uncontrollable timed system testing.
Description Author affiliation: Center for Embedded Software Syst., Aalborg Univ., Aalborg (David, A.; Larsen, K.G.; Shuhao Li; Nielsen, B.)
ISBN 9783981080131
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2008-03-10
Publisher Place Germany
Rights Holder European Design Automation Association (EDAA)
Size (in Bytes) 250.98 kB
Page Count 6
Starting Page 486
Ending Page 491


Source: IEEE Xplore Digital Library