1^st International Workshop on Models for Simulation (M4S) 2024

December 3, 2024, Stockholm University, Stockholm, Sweden, co-located with PoEM 2024

Simulation capitalizes on structural, behavioral, and physical models. They embody the fundamental concepts of a system, whereas simulation actualizes those principles in a dynamic setting. The modeling community is facing new issues in terms of authenticity, trustworthiness, and sensitivity of models due to the increasing popularity of digital twins which in turn capitalize on models as one of their fundamental pillars next to the physical twin, and bidirectional data exchange between the physical and virtual world. In socioeconomic systems, additional challenges emerge as some characteristics of these systems are only partially observable by sensors and require innovative ways of modeling. Models and simulations are effective instruments for comprehending, examining, and forecasting the behavior of intricate systems in several fields. To fully maximize these advantages, a thorough reassessment of the fitness of models for simulation is necessary.

Our workshop targets the following objectives:

Elicit the current state and readiness of system and software models for use in digital twin-based simulation.
Identify core scenarios and, from these, essential model requirements for digital-twin-based simulation.
Outline the main areas of study that need to be addressed in the near future to ensure that system and software models are suitable for simulations of cyber-physical and socioeconomic systems and processes based on digital twins.

Topics

Topics include, but are not limited to:

Models@run.time
Model-driven (co-)simulation
Verification and Validation pertaining to simulation and hardware in the loop in model-driven development and (co-)simulation
(Data-driven) digital twin-based (co-)simulation
Traceability between simulation, models, and runtime data
Consistency and model checking of simulation models
Simulation of business and social systems
Multi-paradigm modeling and (co-)simulation techniques
Multi-level modeling for digital twins and (co-)simulation techniques
Integration of modeling tools, development environments, and (co-)simulation tools
Application of new and emerging technologies, for example, generative AI, for (co-)simulation
Simulation-based safety and security analysis and assessment
Simulation, human-interaction, and uncertainty
Case Studies, experience reports, tools and applications
Virtual commissioning
(Semi-)automatic creation of (co-)simulation models

Aspects and domains of interest are (but not limited to):

Industry 4.0
Enterprise resource planning
Supply chain management
Cyber-physical systems and cyber-physical systems of systems
Social systems for policy-making, urban planning, and healthcare
Sustainability
Safety and security
Relevance of optimization and AI

Call for Contributions

Participants are invited to submit contributions of the following type:

Full research papers that present a novel approach; page limit is fifteen (15) pages.
Industry application papers that present an application of a tool, method, or technique in a specific (industry) context; page limit is ten (10) pages.
Short papers that present new ideas, novel concepts, or early-stage research without a full evaluation; page limit is eight (8) pages.
Tool demonstrations that present a concrete tool or application in the space of MDE and simulation; page limit is six (6) pages.
Extended abstracts that present an early idea, a plan for implementation, and evaluation; page limit is two (2) pages.

All submissions will be peer-reviewed. Accepted papers will be presented during the workshop and all presented papers will be published in a workshop CEUR-WS proceedings.

Submissions must be in PDF following the one column CEURART style and uploaded via Easychair.

Important dates

Submission of papers: ~~September 29~~ October 13, 2024
Notification of acceptance: October 20, 2024
Registration deadline workshop authors: November 7, 2024
Camera-ready version: November 18, 2024
Workshop: December 3, 2024

Dates are Anywhere on Earth (AoE).

The workshop will be conducted physically!

Speakers

Keynote Speakers

Invited Speaker

Schedule

TBA

Papers

TBA

Venue

Please check out the conference page for detailed information on the workshop's location.

Organizers

Philipp Zech is an assistant professor at the University of Innsbruck with a strong focus on model-driven engineering, specifically for digital twins thereby also investigating the application of simulation and machine learning for digital twins. He’s actively involved in organizing workshops on digital twin engineering and architectures (DTE, TwinArch).
Michael Vierhauser is an Assistant Professor (Tenure Track) at the Department of Computer Science, at the University of Innsbruck. His research interests include Safety Assurance, Requirements-based and Model-based Monitoring, and Diagnosis of Large-Scale Software Systems and Cyber-Physical Systems. He is involved in several international conference and workshop pro- gram committees (ICSE, ASE, SEAMS), and was part of the EDT.Community seminar series and MoLS workshop organizing committee.
Ruth Breu is a full professor at the University of Innsbruck and Dean of the Faculty of Mathematics, Computer Science and Physics. She has long- standing expertise in the areas of requirements engineering, digital twin engineering and software quality. Together with her team, she has developed innovative digital twin knowledge bases.
Hans Vangheluwe is a professor in the computer science department at the University of Antwerp in Belgium. He leads the Modeling, Simulation and Design Lab (MSDL), which is also a core research lab of the Flemish Strategic Research Centre Flanders Make. Earlier, he was with the School of Computer Science of McGill University in Canada. He recently chaired the European COST Action 1404 on Multi-Paradigm Modelling for Cyber- Physical Systems (MPM4CPS).
Kurt Sandkuhl is a full professor of Business Information Systems at Rostock University in Germany. His research areas include Enterprise Modeling, Knowledge Engineering, Digital Ecosystems and Collaborative Modelling.
Souvik Barat is a Principal Scientist at Tata Consultancy Services (TCS) Research, India, visiting researcher at Middlesex University London and adjunct professor at Walchand College of Engineering. His research interests include Digital Twin technology, modeling and simulation, model-driven engineering and enterprise modeling.
Vinay Kulkarni is a TCS Fellow at Tata Consultancy Services Research where he heads Software Systems & Services Research. His research interests include Digital Twins, Adaptive Enterprises, Model Driven Engineering, Artificial Intelligence, and Software Engineering. An alumnus of Indian Institute of Technology Madras, Vinay is a Fellow of Indian National Academy of Engineering and Visiting Professor at Aston University Birmingham, Middlesex University London, and Indian Institute of Technology Jodhpur.

1st International Workshop on Models for Simulation (M4S) 2024