MoVe4SPS

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.

• 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.