基于单工架构的信息物理系统运行时安全性保障方法OA北大核心CSTPCD
Runtime safety assurance methods for cyber physical systems based on simplex architecture
运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制器与经过严格形式化验证的安全控制器相结合,前者工作在无安全风险的情况下,若检测发现系统存在潜在的安全风险,则通过决策模块完成复杂控制器与安全控制器之间的切换,从而确保系统的安全性.本文重点关注基于simplex架构的信息物…查看全部>>
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…查看全部>>
王强;陈强;曹伟朋;何文锋
军事科学院系统工程研究院,北京 100070军事科学院系统工程研究院,北京 100070人工智能与数字经济广东省实验室(深圳),广东深圳 518107深圳大学计算机与软件学院,广东深圳 518060
计算机与自动化
人工智能形式化方法运行时安全性保障运行时验证形式化建模与验证信息物理系统系统建模与验证嵌入式系统
artrficial intelligenceformal methodsruntime safety assuranceruntime verificationformal modeling and verificationcyber physical systemsystem modeling and verificationembedded system
《深圳大学学报（理工版）》 2024 (3)
253-263,11
National Natural Science Foundation of China(62106150) 国家自然科学基金资助项目(62106150)
评论