A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916831679217664 |
|---|---|
| author | Graebener, Josefine B. Incer, Inigo Murray, Richard M. |
| author_facet | Graebener, Josefine B. Incer, Inigo Murray, Richard M. |
| contents | Identifying the cause of a system-level failure in a cyber-physical system (CPS) can be like tracing a needle in a haystack. This paper approaches the problem by assuming that the CPS has been designed compositionally and that each component in the system is associated with an assume-guarantee contract. We exploit recent advances in contract-based design that show how to compute the contract for the entire system using the component-level contracts. When presented with a system-level failure, our approach is able to efficiently identify the components that are responsible for the system-level failure together with the specific predicates in those components' specifications that are involved in the fault. We implemented this approach using Pacti and demonstrate it through illustrative examples inspired by an autonomous vehicle in the DARPA urban challenge. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_05438 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems Graebener, Josefine B. Incer, Inigo Murray, Richard M. Systems and Control Logic in Computer Science Identifying the cause of a system-level failure in a cyber-physical system (CPS) can be like tracing a needle in a haystack. This paper approaches the problem by assuming that the CPS has been designed compositionally and that each component in the system is associated with an assume-guarantee contract. We exploit recent advances in contract-based design that show how to compute the contract for the entire system using the component-level contracts. When presented with a system-level failure, our approach is able to efficiently identify the components that are responsible for the system-level failure together with the specific predicates in those components' specifications that are involved in the fault. We implemented this approach using Pacti and demonstrate it through illustrative examples inspired by an autonomous vehicle in the DARPA urban challenge. |
| title | A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems |
| topic | Systems and Control Logic in Computer Science |
| url | https://arxiv.org/abs/2507.05438 |