Name
Abstract | ||
|---|---|---|
The Internet of Things (IoT) connects millions of devices of different cyber-physical systems (CPSs) providing the CPSs additional (implicit) redundancy during runtime. However, the increasing level of dynamicity, heterogeneity, and complexity adds to the system's vulnerability, and challenges its ability to react to faults. Self-healing is an increasingly popular approach for ensuring resilience, that is, a proper monitoring and recovery, in CPSs. This work encodes and searches an adaptive knowledge base in Prolog/ProbLog that models relations among system variables given that certain implicit redundancy exists in the system. We exploit the redundancy represented in our knowledge base to generate adaptive runtime monitors which compare related signals by considering uncertainties in space and time. This enables the comparison of uncertain, asynchronous, multi-rate and delayed measurements. The monitor is used to trigger the recovery process of a self-healing mechanism. We demonstrate our approach by deploying it in a real-world CPS prototype of a rover whose sensors are susceptible to failure. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/SASO.2019.00013 | 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO) |
Keywords | Field | DocType |
fault detection,self-healing,cyber-physical systems,redundancy model,observation model | Psychological resilience,Asynchronous communication,Mathematical optimization,Fault detection and isolation,Exploit,Redundancy (engineering),Prolog,Knowledge base,Mathematics,Vulnerability,Distributed computing | Journal |
Volume | ISSN | ISBN |
abs/1903.04326 | 1949-3673 | 978-1-7281-2732-3 |
Citations | PageRank | References |
0 | 0.34 | 18 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Denise Ratasich | 1 | 12 | 3.36 |
| Michael Platzer | 2 | 0 | 1.01 |
| Radu Grosu | 3 | 1011 | 97.48 |
| Ezio Bartocci | 4 | 733 | 57.55 |