Dr Zhibao Mian's Outputs (25)

Model transformation for multi-objective architecture optimisation of dependable systems (2015)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., & Mahmud, N. (2015). Model transformation for multi-objective architecture optimisation of dependable systems. Advances in Intelligent Systems and Computing, 307, 91-110. https://doi.org/10.1007/978-3-319-08964-5_6

The promise of model-based engineering is that by use of an integrated and coherent system model both functional and non-functional requirements may be analysed, implemented and tested in a rigorous and cost-effective manner. An important part of mod... Read More about Model transformation for multi-objective architecture optimisation of dependable systems.

Model transformation for multi-objective architecture optimisation for dependable systems (2014)
Thesis
Mian, Z. Model transformation for multi-objective architecture optimisation for dependable systems. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4216353

Model-based engineering (MBE) promises a number of advantages for the development of embedded systems. Model-based engineering depends on a common model of the system, which is refined as the system is developed. The use of a common model promises a... Read More about Model transformation for multi-objective architecture optimisation for dependable systems.

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.