All Outputs (3)

A Model-based RCM Analysis Method (2020)
Conference Proceeding
Mian, Z., Jia, S., Shi, X., Tang, C., Chen, J., & Gao, Y. (2020). A Model-based RCM Analysis Method. In IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) (301-307). https://doi.org/10.1109/QRS-C51114.2020.00059

The reliability-centered maintenance (RCM) is one of the most advanced maintenance plan generating technologies for equipments. At present, the key technologies such as FMEA and FMECA supporting the RCM analysis remains in the manual stage in some en... Read More about A Model-based RCM Analysis Method.

Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS (2020)
Conference Proceeding
Mian, Z., Gao, Y., Shi, X., & Tang, C. (2020). Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS. In 4th International Conference on System Reliability and Safety (ICSRS) (539-543). https://doi.org/10.1109/ICSRS48664.2019.8987619

Currently, AADL has gradually become as one of the standards for the architecture design of complex embedded system. It is widely used in aerospace, automotive electronics and other fields for the design and analysis of high dependability-critical sy... Read More about Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS.

A Cost Modeling Method Based on AADL2 (2020)
Conference Proceeding
Mian, Z., Tang, C., Gao, Y., Jia, S., Shi, X., & Chen, J. (2020). A Cost Modeling Method Based on AADL2. In 4th International Conference on System Reliability and Safety (ICSRS) (549-553). https://doi.org/10.1109/ICSRS48664.2019.8987612

The Architecture Analysis and Design Language (AADL) is widely used in the modeling, analysis and verification of the dependability-critical system. Previously, we have implemented the multi-objective (based on dependability and cost) architecture op... Read More about A Cost Modeling Method Based on AADL2.