Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems

This demonstration presents PyUPPAAL, a Python package designed to facilitate model checking for safety-critical problems in cyber-physical systems (CPS). Through interactive tutorials and case studies, including risk analysis, fault diagnosis, and a real-world electric power system (EPS) case, we showcase how PyUPPAAL can be utilized to enhance the safety and reliability of CPS. Attendees will engage with hands-on coding sessions, gaining practical experience in applying model checking techniques to identify and solve safety-critical issues. The interactive session aims to equip participants with the knowledge and tools necessary to apply PyUPPAAL in their own work, highlighting the advantages of model checking in the development and verification of reliable CPS.