Safety Guard: Protecting Safety-Critical Cyber-Physical Systems
报告题目:Safety Guard: Protecting Safety-Critical Cyber-Physical Systems
报告人:Haibo Zeng 副教授
主持人:陈铭松 教授
报告时间:7月12号9:30—10:30
报告地点:中北校区数学馆201
报告摘要:
Due to their safety-critical nature, cyber-physical systems must be designed to tolerate all kinds of faults and attacks to remain fail-operational/fail-safe. However, despite all the efforts spent on testing and validation, there is still an enormous amount of real-world failures, all of which have major economic and public-safety implications. We aim to drastically improve the safety of CPS through the development of safety guards, which are automatically synthesized components to protect critical subsystems from catastrophic failures. Regardless of the failure sources (design defects, component failures, soft errors, or malicious attacks), the guards will enforce that a small set of safety-critical properties is always satisfied. Specifically, we seek to develop techniques that will advance the technology and engineering of CPS: 1) Synthesizing Control Logic of Safety Guards: Given a set of temporal safety properties specified in finite automata, we seek new algorithms for generating runtime enforcers, which are attached to the original design and filter out its erroneous input-output behaviors instantaneously to protect it from safety violations. 2) Generating Software Code of Safety Guards: Given the control logic of safety guards, we seek new methods for generating software code that implements them over various architectures, e.g., a distributed network, to ensure the implementation is both correct-by-construction and cost-efficient.
报告人简介:
Haibo Zeng received the B.E. and M.E. degrees in electrical engineering from Tsinghua University, Beijing, China, and the Ph.D. degree in electrical engineering and computer sciences from the University of California at Berkeley, Berkeley, CA, USA. He is currently a faculty member at Virginia Tech, Blacksburg, VA, USA. He was a Senior Researcher with General Motors Research and Development, Detroit, MI, USA, and then an Assistant Professor with McGill University, Montreal, QC, Canada. His current research interests include embedded systems, cyber-physical systems, and real-time systems. He was a recipient of three best paper awards in his research fields. He is currently an associate editor on the Journal of Systems Architectures (JSA), Elsevier.