TY - GEN
T1 - Requirements driven falsification with coverage metrics
AU - Dokhanchi, Adel
AU - Zutshi, Aditya
AU - Sriniva, Rahul T.
AU - Sankaranarayanan, Sriram
AU - Fainekos, Georgios
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/11/4
Y1 - 2015/11/4
N2 - Specication guided falsication methods for hybrid systems have recently demonstrated their value in detecting design errors in models of safety critical systems. In specication guided falsication, the correctness problem, i.e., does the system satisfy the specication, is converted into an optimization problem where local negative minima indicate design errors. Due to the complexity of the resulting optimization problem, the problem is solved iteratively by performing a number of simulations on the system. Even though it is theoretically guaranteed that falsication methods will eventually find the bugs in the system, in practice, the performance of these methods, i.e., how many tests/simulations are executed before a bug is detected, depends on the specication, on the system and on the optimization method. In this paper, we define and utilize coverage metrics on the state space of hybrid systems in order to improve the performance of the falsication methods.
AB - Specication guided falsication methods for hybrid systems have recently demonstrated their value in detecting design errors in models of safety critical systems. In specication guided falsication, the correctness problem, i.e., does the system satisfy the specication, is converted into an optimization problem where local negative minima indicate design errors. Due to the complexity of the resulting optimization problem, the problem is solved iteratively by performing a number of simulations on the system. Even though it is theoretically guaranteed that falsication methods will eventually find the bugs in the system, in practice, the performance of these methods, i.e., how many tests/simulations are executed before a bug is detected, depends on the specication, on the system and on the optimization method. In this paper, we define and utilize coverage metrics on the state space of hybrid systems in order to improve the performance of the falsication methods.
KW - Aerospace electronics
KW - Measurement
KW - Robustness
KW - Semantics
KW - Testing
KW - Trajectory
KW - Yttrium
UR - http://www.scopus.com/inward/record.url?scp=84962323549&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84962323549&partnerID=8YFLogxK
U2 - 10.1109/EMSOFT.2015.7318257
DO - 10.1109/EMSOFT.2015.7318257
M3 - Conference contribution
AN - SCOPUS:84962323549
T3 - 2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015
SP - 31
EP - 40
BT - 2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th International Conference on Embedded Software, EMSOFT 2015
Y2 - 4 October 2015 through 9 October 2015
ER -