Workshop: Applications of Formal Methods and Digital Twins @ FM 2023
Sprache des Titels:
Englisch
Original Kurzfassung:
The model-based concept of a Digital Twin is a new development paradigm in complex systems engineering at the intersection of Cyber-Physical Systems, Software Engineering, System Engineering and Data Science.
While some connections to model-based techniques from formal methods have been recognized in academic contexts, there is no exploitation of this connection in industrial practice. The Workshop on Applications of Formal Methods and Digital Twins will bring together researchers from Formal Methods and practitioners to explore (1) the current challenges in engineering Digital Twins, and (2) the current challenges in applying formal methods to Digital Twins.
The aim of the workshop is to find common ground between industrial needs for model-based engineering of Digital Twins, and Formal Methods. To this end, we welcome the contribution of short papers that will form the foundation for a journal article that illustrates the perspectives, challenges and first applications of Formal Methods in Digital Twins.
Forschungs-