1st 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 29October 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
Selected papers will be invited to submit an extended version to SoSym's theme section on Modeling for Simulation.
The workshop will be conducted physically!
Keynote Speakers
- Afzal Siddiqui, Department of Computer and Systems Sciences, Stockholm University, Sweden
- Krisjanis Steins, Department of Science and Technology, Linköping University, Sweden
Schedule
| Time | Activity |
|---|---|
| 09:00 - 09:15 | Welcome |
| 09:15 - 09:45 | Maede Davoudzade, Chris Barber, Babak Esfandiari and Thomas Kunz: Enhancing Network Simulation Accuracy through Calibration and Model Optimization |
| 09:45 - 10:15 | Raghavendran Gunasekaran and Boudewijn Haverkort: Verification of digital twins through statistical model checking |
| 10:15 - 10:30 | Alexandra Jäger, Philipp Zech and Ruth Breu: Optimizing Energy Communities: a Model-Based Approach |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 12:00 | Keynote Talk - Afzal Siddiqui |
| 12:30 - 13:30 | Lunch |
| 13:30 - 14:30 | Keynote Talk - Krisjanis Steins |
| 14:30 - 15:00 | Alexandra Jäger, Philipp Zech, Josef Miller, Georg Fröch and Ruth Breu: Towards enabling continous integrated BIM2SIM workflows with model augmentation strategies |
| 15:00 - 15:30 | Nikola Ivanovic, Benjamin Nast and Kurt Sandkuhl: Towards modelling the enterprise context for simulating cyber-physical systems |
| 15:30 - 16:00 | Coffee Break, Open Discussions, and Farewell |
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.
Technical Program Committee
- Philipp Zech (University of Innsbruck)
- Souvik Barat (TCS Research)
- Balbir Barn (Middlesex University)
- Ruth Breu (University of Innsbruck)
- Tony Clark (Aston University)
- Istvan David (McMaster University)
- Vinay Kulkarni (TCS Research)
- Judith Michael (RWTH Aachen)
- Saurabh Mittal (Mitre Cooperation)
- Benjamin Nast (University of Rostock)
- Pablo Antonino Olivera (Fraunhofer IESE)
- Aditya Paranjape (Monash University)
- Kurt Sandkuhl (University of Rostock)
- Karthik Vaidhyanathan (IIIT Hyderabad)
- Hans Vangheluwe (University of Antwerp)
- Michael Vierhauser (University of Innsbruck)