Automatic Failure Explanation in CPS Models
SEFM, pp. 69-86, 2019.
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
PPT (Upload PPT)