Automatic Failure Explanation in CPS Models

Niveditha Manjunath
Niveditha Manjunath
Cristinel Mateis
Cristinel Mateis

SEFM, pp. 69-86, 2019.

Cited by: 0|Bibtex|Views3|Links
EI

Abstract:

Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can propagate in time and in space producing observable misbehaviours in locations completely different from the location of the fault. Understanding the reason of an o...More

Code:

Data:

Your rating :
0

 

Tags
Comments