TY - GEN
T1 - Verification of automotive control applications using S-TaLiRo
AU - Fainekos, Georgios
AU - Sankaranarayanan, Sriram
AU - Ueda, Koichi
AU - Yazarel, Hakan
PY - 2012
Y1 - 2012
N2 - S-TALIRO is a software toolbox that performs stochastic search for system trajectories that falsify realtime temporal logic specifications. S-TaLiRo is founded on the notion of robustness of temporal logic specifications. In this paper, we present a dynamic programming algorithm for computing the robustness of temporal logic specifications with respect to system trajectories. We also demonstrate that typical automotive functional requirements can be captured and falsified using temporal logics and S-TALIRO.
AB - S-TALIRO is a software toolbox that performs stochastic search for system trajectories that falsify realtime temporal logic specifications. S-TaLiRo is founded on the notion of robustness of temporal logic specifications. In this paper, we present a dynamic programming algorithm for computing the robustness of temporal logic specifications with respect to system trajectories. We also demonstrate that typical automotive functional requirements can be captured and falsified using temporal logics and S-TALIRO.
UR - http://www.scopus.com/inward/record.url?scp=84869475822&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84869475822&partnerID=8YFLogxK
U2 - 10.1109/acc.2012.6315384
DO - 10.1109/acc.2012.6315384
M3 - Conference contribution
AN - SCOPUS:84869475822
SN - 9781457710957
T3 - Proceedings of the American Control Conference
SP - 3567
EP - 3572
BT - 2012 American Control Conference, ACC 2012
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2012 American Control Conference, ACC 2012
Y2 - 27 June 2012 through 29 June 2012
ER -