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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have