A backtracking ensemble pruning based reconfiguration method for time-triggered flows in TTEthernet
J Li, Q Li, H Xiong - IEEE Access, 2021 - ieeexplore.ieee.org
In time-triggered ethernet (TTEthernet), when an end system node (ES) permanently fails,
the affected TT flows should be reconfigured (known as reconfigured TT flows) with ESs …
the affected TT flows should be reconfigured (known as reconfigured TT flows) with ESs …
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 …
Uncertainty modeling and quantitative evaluation of cyber-physical systems
C Yang, H Sun, J Liu, J Kang, W Yin… - 2021 IEEE 45th …, 2021 - ieeexplore.ieee.org
Cyber-physical System (CPS) represents a system that tightly integrates computation,
communication, and physical processes. As an effective modeling language, AADL is often …
communication, and physical processes. As an effective modeling language, AADL is often …
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 …