SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

Safety-critical cyber-physical systems (SC-CPS) have the characteristics of distributed, heterogeneous, strong coupling of computing resources and physical resources. With the increased acceptance of Model-Driven Development (MDD) in the safety-critical domain, the SysML language has been broadly us...

Full description

Saved in:
Bibliographic Details
Main Authors: Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang
Format: Article
Language:English
Published: Taylor & Francis Group 2022-12-01
Series:Connection Science
Subjects:
cyber-physical systems
sysml
compositional verification
safety analysis
ocra
Online Access:http://dx.doi.org/10.1080/09540091.2021.2017853
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://dx.doi.org/10.1080/09540091.2021.2017853

Similar Items