All Outputs (2)

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.

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.