Dynamic Safety Analysis for Cyber-Physical Systems

  • Zheng, James (Primary Chief Investigator)
  • Cassez, Franck (Supervisor)

Project: Research

Project Details


This project aims to develop novel dynamic analysis techniques to provide safety
guarantee for Cyber-Physical Systems. These systems are increasingly adopted as core components in our life, however, safety analysis of such systems faces great challenges in processing massive data, tight resource allocation, and dealing with unexpected behaviour. This project is the first of its kind to integrate formal methods with deep learning. The expected outcomes of the project include new algorithms and an open-source middleware for dynamic safety analysis. This project intends to provide significant benefits to safeguard Australia’s national mission-critical infrastructure, especially for autonomous vehicles and industrial automation systems.
Short titleDynamic Safety Analysis for Cyber-Physical Systems
Effective start/end date1/01/1931/12/20