Multi-objective architecture optimisation modelling for dependable systems

Mian, Zhibao; Bottaci, Leonardo

Abstract

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 large and automation is essential to explore this space. The model-based approach to the development and analysis of complex dependable systems is increasingly popular and recently, the Architecture Analysis and Design Language (AADL) has emerged as a potential future standard for model-based development of dependability-critical systems. The paper tackles the problem of describing, within an AADL model, the design space of alternative designs. A new AADL property set is proposed for modelling component and system variability for cost and dependability optimisation. The proposed method is illustrated with an example of an AADL model of a safety critical embedded system. © 2013 IFAC.

Citation

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

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 4th IFAC Workshop on Dependable Control of Discrete Systems
• Acceptance Date: Jan 1, 2013
• Online Publication Date: Apr 21, 2016
• Publication Date: 2013
• Deposit Date: Jul 12, 2022
• Publicly Available Date: Oct 27, 2022
• Print ISSN: 1474-6670
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 4
• Issue: 22
• Pages: 31-36
• DOI: https://doi.org/10.3182/20130904-3-UK-4041.00033
• Keywords: Dependability modelling, Dependability analysis, AADL, HiP-HOPS, Model transformation, Multi-objective architecture optimisation
• Public URL: https://hull-repository.worktribe.com/output/4028818