Analyzing Cyber-Physical Systems in Cars: A Case Study

Harry Beyel, Omar Makke, Fangbo Yuan, Oleg Gusikhin, Wil van der Aalst

2023

Abstract

Cyber-physical systems connected to the internet are generating unprecedented volumes of data. Understanding cyber-physical systems’ behavior using collected data is becoming increasingly important. Process-mining techniques consider sequences of events and thus can be used to check and verify how such cyber-physical systems operate. The data captured by cyber-physical systems are typically noisy and are not readily suitable for process mining. In this work, we present how a stream of connected-vehicle data can be transformed into an event log suitable for process mining. By applying different process-discovery techniques, we discover de-facto models that capture the behavior of an assistance system embedded in cars. We apply conformance-checking techniques and consult domain experts to find the best de-facto model. In addition, we apply conformance-checking methods to a preexisting, de-jure model that we transformed into a Petri net. We compare both models and point out differences. In this process, we show how we overcome challenges and highlight why applying process-mining techniques in the cyber-physical systems domain is valuable.

Paper Citation

in Harvard Style

Beyel H., Makke O., Yuan F., Gusikhin O. and van der Aalst W. (2023). Analyzing Cyber-Physical Systems in Cars: A Case Study. In Proceedings of the 12th International Conference on Data Science, Technology and Applications - Volume 1: DATA; ISBN 978-989-758-664-4, SciTePress, pages 195-204. DOI: 10.5220/0012136000003541

in Bibtex Style

@conference{data23,
author={Harry Beyel and Omar Makke and Fangbo Yuan and Oleg Gusikhin and Wil van der Aalst},
title={Analyzing Cyber-Physical Systems in Cars: A Case Study},
booktitle={Proceedings of the 12th International Conference on Data Science, Technology and Applications - Volume 1: DATA},
year={2023},
pages={195-204},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012136000003541},
isbn={978-989-758-664-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Data Science, Technology and Applications - Volume 1: DATA
TI - Analyzing Cyber-Physical Systems in Cars: A Case Study
SN - 978-989-758-664-4
AU - Beyel H.
AU - Makke O.
AU - Yuan F.
AU - Gusikhin O.
AU - van der Aalst W.
PY - 2023
SP - 195
EP - 204
DO - 10.5220/0012136000003541
PB - SciTePress