Fuchun Ren

Integrating Model Checking With SysML in Complex System Safety Analysis

Hongli Wang, Deming Zhong, Tingdi Zhao et al. · IEEE Access · 2019 · 56 citations · Full text

Engineering, Computer Science, Systems Engineering +16

Resilience Optimization for Complex Engineered Systems Based on the Multi-Dimensional Resilience Concept

Fuchun Ren, Tingdi Zhao, Jian Jiao et al. · IEEE Access · 2017 · 34 citations · Full text

Engineering, Systems Engineering, Design Optimization +13

A Novel Risk Assessment and Analysis Method for Correlation in a Complex System Based on Multi-Dimensional Theory

Zeyong Jiang, Tingdi Zhao, Shihai Wang et al. · Applied Sciences · 2020 · 19 citations · Full text

Engineering, Risk Management, Systems Engineering +13

Integrated modular avionics system safety analysis based on model checking

Hongli Wang, Tingdi Zhao, Fuchun Ren et al. · 2017 · 15 citations

Engineering, Aerospace Engineering, Systems Engineering +17

Availability Analysis and Optimal Design of Multistate Weighted <inline-formula> <tex-math notation="LaTeX">${k}$ </tex-math> </inline-formula>-Out-of-<inline-formula> <tex-math notation="LaTeX">${n}$ </tex-math> </inline-formula> Systems With Component Performance Requirements

Zhiwei Chen, Tingdi Zhao, Jian Jiao et al. · IEEE Access · 2018 · 11 citations · Full text

Computing, Computer Science, Systems Engineering +17