Runtime safety assurance methods for cyber physical systems based on simplex architecture

Runtime safety assurance methods for cyber physical systems based on simplex architecture

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 com...

Full description

Saved in:
Bibliographic Details
Main Authors: WANG Qiang, CHEN Qiang, CAO Weipeng, HE Wenfeng
Format: Article
Language:English
Published: Science Press (China Science Publishing & Media Ltd.) 2024-05-01
Series:Shenzhen Daxue xuebao. Ligong ban
Subjects:
artrficial intelligence
formal methods
runtime safety assurance
runtime verification
formal modeling and verification
cyber physical system
system modeling and verification
embedded system
Online Access:https://journal.szu.edu.cn/en/#/digest?ArticleID=2613
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://journal.szu.edu.cn/en/#/digest?ArticleID=2613

Similar Items