深圳大学学报（理工版）2024，Vol.41Issue(3)：253-263,11.DOI:10.3724/SP.J.1249.2024.03253
基于单工架构的信息物理系统运行时安全性保障方法
Runtime safety assurance methods for cyber physical systems based on simplex architecture
摘要
Abstract
Runtime safety assurance is a method that can ensure security attributes being satisfied during system operation.The simplex architecture-based runtime safety assurance methods are able to provide the safety guarantees even in the presence of unverified complex controllers.The basic idea is to combine the complex controller with a rigorously formalized safe controller,where the former operates in the absence of safety risk.Whenever a potential safety risk is detected,a decision module then completes the switching between the complex controller and the safe controller in order to guarantee the safety.This paper investigates the runtime safety assurance methods for cyber physical systems and summarizes the most relevant work from three aspects:the design of simplex decision-making module,the extension and improvement of simplex architecture,and the application of simplex architecture.This paper also provides an analysis of technical challenges and future directions of simplex architecture-based runtime safety assurance methods,indicating their potential and effectiveness in solving the runtime safety assurance issues in intelligent cyber-physical systems.关键词
人工智能/形式化方法/运行时安全性保障/运行时验证/形式化建模与验证/信息物理系统/系统建模与验证/嵌入式系统Key words
artrficial intelligence/formal methods/runtime safety assurance/runtime verification/formal modeling and verification/cyber physical system/system modeling and verification/embedded system分类
信息技术与安全科学引用本文复制引用
王强,陈强,曹伟朋,何文锋..基于单工架构的信息物理系统运行时安全性保障方法[J].深圳大学学报（理工版）,2024,41(3):253-263,11.基金项目
National Natural Science Foundation of China(62106150) 国家自然科学基金资助项目(62106150) （62106150）
