Safety analysis of AADL models for grid cyber-physical systems via model checking of stochastic games
X Wei, Y Dong, P Sun, M Xiao - Electronics, 2019 - mdpi.com
As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the
safety of power-related systems. However, in many cases, GCPSs may be subject to …
safety of power-related systems. However, in many cases, GCPSs may be subject to …
一种面向嵌入式系统的多模型集中存储方法
闫治鹏， 蔡兴泉， 杨波， 吴际 - 北京航空航天大学学报, 2021 - bhxb.buaa.edu.cn
随着软件安全性的重要性日益增长, 使用模型驱动的方法进行软件开发越来越受到重视.
针对目前存在跨域模型的集成障碍, 提出了一种基于元建模技术提取多视角模型信息进行存储的 …
针对目前存在跨域模型的集成障碍, 提出了一种基于元建模技术提取多视角模型信息进行存储的 …
Safety Analysis for Mixed-criticality System with Random Errors and Burst Errors Based on AADL.
X Wei, Y Dong, C Sun, X Li… - International Journal of …, 2024 - search.ebscohost.com
Many complex embedded systems are Mixed-Criticality Systems (MCSs). MCSs are often
required to operate with the specified criticality level, but they may be subject to hazards that …
required to operate with the specified criticality level, but they may be subject to hazards that …
AADL-based safety analysis approaches for safety-critical systems
X Wei - 2019 12th IEEE Conference on Software Testing …, 2019 - ieeexplore.ieee.org
Ensuring system safety is significant for safety-critical systems. To improve system safety in
system architecture models, Architecture Analysis and Design Language (AADL) is used to …
system architecture models, Architecture Analysis and Design Language (AADL) is used to …