Localizing Faults in Simulink/Stateflow Models with STL
HSCC, pp. 197-206, 2018.
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
Full Text (Upload PDF)
PPT (Upload PPT)