Abstract
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.
| Original language | English (US) |
|---|---|
| Title of host publication | 2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 31-40 |
| Number of pages | 10 |
| ISBN (Print) | 9781467380799 |
| DOIs | |
| State | Published - Nov 4 2015 |
| Event | 13th International Conference on Embedded Software, EMSOFT 2015 - Amsterdam, Netherlands Duration: Oct 4 2015 → Oct 9 2015 |
Other
| Other | 13th International Conference on Embedded Software, EMSOFT 2015 |
|---|---|
| Country | Netherlands |
| City | Amsterdam |
| Period | 10/4/15 → 10/9/15 |
Fingerprint
Keywords
- Aerospace electronics
- Measurement
- Robustness
- Semantics
- Testing
- Trajectory
- Yttrium
ASJC Scopus subject areas
- Software
Cite this
Requirements driven falsification with coverage metrics. / Dokhanchi, Adel; Zutshi, Aditya; Sriniva, Rahul T.; Sankaranarayanan, Sriram; Fainekos, Georgios.
2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 31-40 7318257.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
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
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
SN - 9781467380799
SP - 31
EP - 40
BT - 2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015
PB - Institute of Electrical and Electronics Engineers Inc.
ER -