Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Digital Twin Engineering (Track Introduction ISoLA 2024).- Foundation Models for the Digital Twins Creation of Cyber-Physical Systems.- Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions.- Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins.- DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks.- Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development.- Formal methods for distributed computing in future railway systems.- Model-based Testing of Railway Interlocking Systems.- Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-Verified Components.- Formal Validation and ERTMS Simulation.- Securing automatic small railway vehicles using Automatic Train Protection.- Railway Switch Control Modeling in European Train Control System Level 3.- An Integrated Perspective on the Evaluation of Complex Railway Systems.