All Outputs (2)

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.