<div class="csl-bib-body">
<div class="csl-entry">Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing Faults in Simulink/Stateflow Models with {STL}. In <i>Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)</i>. Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), Porto, Portugal, EU. https://doi.org/10.1145/3178126.3178131</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/57508
-
dc.description.abstract
Fault-localization is considered to be a very tedious and time-consuming activity in the design of complex Cyber-Physical Systems (CPS). This laborious task essentially requires expert knowledge of the system in order to discover the cause of the fault. In this context, we propose a new procedure that aids designers in debugging Simulink/Stateflow hybrid system models, guided by Signal Temporal Logic (STL) specifications. The proposed method relies on three main ingredients: (1) a monitoring and a trace diagnostics procedure that checks whether a tested behavior satisfies or violates an STL specification, localizes time segments and interfaces variables contributing to the property violations; (2) a slicing procedure that maps these observable behavior segments to the internal states and transitions of the Simulink model; and (3) a spectrum-based fault-localization method that combines the previous analysis from multiple tests to identify the internal states and/or transitions that are the most likely to explain the fault. We demonstrate the applicability of our approach on two Simulink models from the automotive and the avionics domain.
en
dc.title
Localizing Faults in Simulink/Stateflow Models with {STL}
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1145/3178126.3178131
-
dc.description.numberOfPages
10
-
tuw.event.name
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)
-
tuw.event.startdate
11-04-2018
-
tuw.event.enddate
13-04-2018
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Porto, Portugal
-
tuw.event.place
Porto, Portugal
-
tuw.event.country
EU
-
tuw.event.presenter
Ferrere, Thomas
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems