All Outputs (6)

IoP System Dependability Evaluation Method Based on AADL (2022)
Journal Article
Shi, X., Mian, Z., & Gao, Y. (2022). IoP System Dependability Evaluation Method Based on AADL. Jisuanji Gongcheng/Computer Engineering, 48(1), 204-213. https://doi.org/10.19678/j.issn.1000-3428.0059738

The Internet of People(IoP)is characterized by the complex architecture and massive changing data, which adds to the difficulty of the analysis on IoP-based system dependability.Currently, there is still no robust dependability modelling and analysis... Read More about IoP System Dependability Evaluation Method Based on AADL.

Effect of IDT position parameters on SAW yarn tension sensor sensitivity (2020)
Journal Article
Lei, B., Lu, W., Mian, Z., & Bao, W. (2020). Effect of IDT position parameters on SAW yarn tension sensor sensitivity. Measurement and Control, 53(9-10), 2055-2062. https://doi.org/10.1177/0020294020965620

In this paper, the effect of the interdigital transducer (IDT) position parameters on the surface acoustic wave (SAW) yarn tension sensor sensitivity is investigated. The stress–strain characteristic of substrate was studied by the combination of fin... Read More about Effect of IDT position parameters on SAW yarn tension sensor sensitivity.

Model transformation for analyzing dependability of AADL model by using HiP-HOPS (2019)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Mahmud, N. (2019). Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Journal of Systems and Software, 151, 258-282. https://doi.org/10.1016/j.jss.2019.02.019

The Architecture Analysis and Design Language (AADL) has emerged as a potential future standard in aerospace, automobile and avionics industries for model-based development of dependability-critical systems. As AADL is relatively new, some existing a... Read More about Model transformation for analyzing dependability of AADL model by using HiP-HOPS.

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.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Journal Article
Mian, Z., & Bottaci, L. (2013). Multi-objective architecture optimisation modelling for dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 4(22), 31-36. https://doi.org/10.3182/20130904-3-UK-4041.00033

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.

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. (2012). System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 45(6), 1647-1652. https://doi.org/10.3182/20120523-3-RO-2023.00334

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.