Dr Zhibao Mian's Outputs (8)

Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example (2021)
Presentation / Conference Contribution
Mian, Z., Bai, Y., & Ur, R. K. (2022, June). Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example. Presented at 2021 IEEE 3rd International Conference on Computer Science and Educational Informatization (CSEI), Xinxiang, China

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)
Presentation / Conference Contribution
Mian, Z., Jia, S., Shi, X., Tang, C., Chen, J., & Gao, Y. (2020, December). A Model-based RCM Analysis Method. Presented at 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), Macau, China

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)
Presentation / Conference Contribution
Mian, Z., Gao, Y., Shi, X., & Tang, C. (2019, November). Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy

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)
Presentation / Conference Contribution
Mian, Z., Tang, C., Gao, Y., Jia, S., Shi, X., & Chen, J. (2019, November). A Cost Modeling Method Based on AADL2. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy

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)
Presentation / Conference Contribution
Mian, Z., Bottaci, L., Jiang, J., He, J., Yu, Q., & Wang, X. (2018, October). A dependability modeling and analysis approach for an IoP-based service system. Presented at 2018 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), Guangzhou, China

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.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Presentation / Conference Contribution
Mian, Z., & Bottaci, L. Multi-objective architecture optimisation modelling for dependable systems. Presented at 4th IFAC Workshop on Dependable Control of Discrete Systems, York, UK

The design of dependable systems must address both cost and dependability (i.e. safety, reliability, availability and maintainability) concerns. For large systems, the design space of alternatives with respect to both dependability and cost is very l... Read More about Multi-objective architecture optimisation modelling for dependable systems.

Automatic generation of Temporal Fault Trees from AADL models (2013)
Presentation / Conference Contribution
Mahmud, N., & Mian, Z. (2013, September). Automatic generation of Temporal Fault Trees from AADL models. Presented at Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013, Amsterdam, Netherlands

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.

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Presentation / Conference Contribution
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. System dependability modelling and analysis using AADL and HiP-HOPS

The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and d... Read More about System dependability modelling and analysis using AADL and HiP-HOPS.