All Outputs (6)

Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example (2021)
Conference Proceeding
Mian, Z., Bai, Y., & Ur, R. K. (2021). Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example. In IEEE 3rd International Conference on Computer Science and Educational Informatization (CSEI) (300-306). https://doi.org/10.1109/CSEI51395.2021.9477751

In 2015, North Minzu University (NMU) introduced MOOC teaching method into the teaching practice of computer major. It is the first experiment of this teaching method in Ningxia Hui Autonomous Region. In the three years of teaching practice, NMU has... Read More about Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example.

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.

A dependability modeling and analysis approach for an IoP-based service system (2018)
Conference Proceeding
Mian, Z., Bottaci, L., Jiang, J., He, J., Yu, Q., & Wang, X. (2018). A dependability modeling and analysis approach for an IoP-based service system. In IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) (2036-2041). https://doi.org/10.1109/SmartWorld.2018.00341

The increasing use of the internet of people (IoP) based service systems has the potential to bring about substantial benefits to individuals. An IoP-based service system includes components such as cell phones, wearable devices, smart homes, cars et... Read More about A dependability modeling and analysis approach for an IoP-based service system.

Automatic generation of Temporal Fault Trees from AADL models (2013)
Conference Proceeding
Mahmud, N., & Mian, Z. (2014). Automatic generation of Temporal Fault Trees from AADL models. In R. Steenbergen, P. VanGelder, S. Miraglia, & A. Vrouwenvelder (Eds.), Safety, Reliability and Risk Analysis : Beyond the Horizon (2741-2749). https://doi.org/10.1201/b15938

The Architecture Analysis and Design Language (AADL) is gaining growing acceptance in the aerospace, automobile and avionics industries. These industries are increasingly concerned with systems exhibiting sequence-dependent failures. About dependabil... Read More about Automatic generation of Temporal Fault Trees from AADL models.