Localizing Faults in Simulink/Stateflow Models with STL

Niveditha Manjunath
Niveditha Manjunath

HSCC, pp. 197-206, 2018.

Cited by: 12|Bibtex|Views5|Links
EI

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/...More

Code:

Data:

Your rating :
0

 

Tags
Comments