Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems
Abstract: System monitoring is essential for detecting failures during operation and ensuring reliability. A monitoring system obtains observations and checks their consistency concerning requirements formalized as properties. However, finding property violations does not necessarily mean finding the causes. In this paper, we contribute to the latter and suggest introducing model-based diagnosis for root cause identification. We do this by adding information regarding the source of observations. Furthermore, we suggest implementing properties using ordinary programming languages from which we can obtain a formal model directly. Finally, we explain the process of integrating diagnosis into monitoring and show its value using a case study from the automotive domain.