We invite original submissions to the Workshop on Modeling and Verification for Secure and Performant CPS, focused on advancing system-level methodologies for balancing security and performance in Cyber-Physical Systems (CPS). The workshop aims to bring together researchers and practitioners to discuss the latest innovations in model-driven verification, digital twin integration, and multi-level feedback mechanisms to address the critical challenges of designing secure, resilient, and high-performing CPS.

As CPS become increasingly integral to critical sectors such as healthcare, energy, and autonomous systems, ensuring that security measures do not compromise performance—or vice versa—is essential. This workshop provides a forum for discussing how advanced modeling techniques and performance-security trade-offs can be integrated into system design, addressing both theoretical and practical aspects of CPS development.

Submission Guidelines

We welcome submissions in the form of original research papers, position papers, and case studies within 6 pages in length, following the IEEE standard conference format. Accepted papers will be presented at the workshop and published in IEEE Xplore, with selected papers invited for extended versions in a post-workshop special issue. All papers must be submitted via EasyChair.

List of Topics

• Model-based verification techniques for CPS: Methods for early verification of CPS that assess both functional and non-functional requirements to identify and mitigate vulnerabilities and performance issues. 

• Security-performance trade-offs in CPS: Investigations into how security measures—such as encryption, access controls, and intrusion detection—impact CPS performance, and approaches to balancing these factors.

• Digital twins for real-time monitoring and feedback: Advances in the use of digital twins for continuous monitoring and updating of CPS, enabling real-time feedback and dynamic response to security and performance concerns.

• Case studies on secure and high-performing CPS deployments: Practical insights and experiences in designing, implementing, and managing secure CPS in fields like healthcare, energy, transportation, and industrial automation.

• Tools and frameworks for secure CPS design, simulation, and verification: Descriptions and demonstrations of new or improved tools for modeling, simulation, and verification of CPS, particularly those addressing both security and performance.

• Multi-level approaches and backtracing of performance results: Approaches that integrate feedback loops between design and runtime monitoring, enabling performance and security adaptations throughout the system lifecycle.

• Cross-layer issues: Challenges arising from interactions between the hardware, network, and software layers in CPS, and methodologies to address security and performance across these layers.

• Design process models for CPS: Structured design methodologies that prioritize security and performance throughout CPS development, from initial design through to deployment and maintenance.

• Emerging standards and best practices: Contributions that address recent developments in CPS standards and best practices for security and performance, including frameworks for compliance and continuous improvement.

Committees

Program Committee

• Daniela Genius, Sorbonne Université

• Johannes Koch, RPTU Kaiserslautern-Landau

• Ludovic Apvrille, Télécom Paris

• Ahlem Mifdaoui, ISAE-SupAéro

• Christoph Grimm, RPTU Kaiserslautern-Landau

• Klaus Schneider, RPTU Kaiserslautern-Landau

• Carna Zivkovic, NXP

• Liliana Andrade, TIMA Grenoble

•  Chokri Mraidha, CEA LIST

• Hagen Heermann, RPTU Kaiserslautern-Landau

• Oliver Bringmann, Universität Tübingen

• Alexandru Stefanov, TU Delft

• Petri Solanti, Siemens

• Matthias Jung, Universität Würzburg

• Bernhard Rumpe, RWTH Aachen

Organizing committee

• General Chair: Johannes Koch, RPTU Kaiserslautern-Landau

• Program Chair: Daniela Genius, Sorbonne Université

Steering Committee

• Ludovic Apvrille, Télécom Paris

• Christoph Grimm, RPTU Kaiserslautern-Landau

• Ahlem Mifdaoui, ISAE-SupAéro

•  Klaus Schneider, RPTU Kaiserslautern-Landau

Venue

The workshop will be held as part of the Cyber-Physical Systems and Internet-of-Things Week 2025 in Irvine, CA, USA.

Contact

All questions about submissions should be emailed to johannes.koch@rptu.de