Formal Methods and Algorithms for Reliability Analysis of Component based Cyber-Physical Systems

Seminar talk titled Formal Methods and Algorithms for Reliability Analysis of Component based Cyber-Physical Systems

Title Of the Talk: Formal Methods and Algorithms for Reliability Analysis of Component based Cyber-Physical Systems
Speaker: Dr. Saurav Kumar Ghosh
Host Faculty: Dr. Ramakrishna Upadrasta
Date &Time: Wednesday, 02nd June 2021 12:00 - 13:30 Hrs

Abstract:

Software controllers are increasingly prevalent in embedded applications controlling safety-critical physical processes. The actual stability guarantee offered by such software implementations depend on errors induced in plant state information due to sensor level faults caused either by transient errors in sensing hardware or adversaries with the intention of destabilizing the system. We propose a formal methodology to estimate the stability loss of control software implementations as the probability of violating some control theoretic guarantee in the presence of sensory faults.

If such an analysis reveals unacceptable levels of reliability, we further verify the improvement of system reliability by incorporating sensor fault mitigation techniques like Kalman filtering and sensor fusion. To mitigate adversarial attacks, there also exists standard methods of Message Authentication Code (MAC) verification and message encryption. However, system designers also face complex tradeoff choices for deciding upon the usage of fault and attack mitigation techniques and scheduling them on available (possibly heterogenous) system resources as they incur extra computation load. To this end, we propose a novel Design-Space-Exploration (DSE) framework that considers target reliability and security guarantees for a control system and computes schedulable design options while considering well-known platform-level security improvement and fault mitigation techniques.

Speaker Profile:

Saurav Kumar Ghosh received his PhD from IIT Kharagpur in 2020. The primary focus of his research has been exploring the application of formal methods and developing algorithms for the reliability analysis of Cyber Physical Systems. Post PhD, he has worked in Robert Bosch Engineering and Business Solutions Private Limited as a Security Specialist for one year. He was primarily responsible for he Security Verification and Validation of IoT Devices. Presently he is a postdoc researcher in the Singapore University of Technology and Design. His research interests include Formal Methods, Cyber-Physical Systems, Reliability, and Security.

Date:
Wednesday, 02nd June 2021 12:00 - 13:30 Hrs