Workshop: Applications of Formal Methods and Digital Twins @ FM 2023 (Event)

Description

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.

Period	10 Nov 2023
Event title	Workshop: Applications of Formal Methods and Digital Twins @ FM 2023
Event type	Other
Location	AustriaShow on map