System dependability modelling and analysis using AADL and HiP-HOPS

Mian, Zhibao; Bottaci, Leonardo; Papadopoulos, Yiannis; Biehl, Matthias

Abstract

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 dependability (safety, reliability, availability, maintainability) concerns. This requires translating concepts of the design domain to the dependability analysis domain. We automate such a translation between AADL and the dependability analysis tool HiP-HOPS by using model transformation techniques. A generic primary-standby example system is used to show the mechanics of the transformation and the potential for highlighting problems and assisting design work using this technology. © 2012 IFAC.

Citation

Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. System dependability modelling and analysis using AADL and HiP-HOPS

• Presentation Conference Type: Conference Paper (published)
• Acceptance Date: Jan 1, 2012
• Online Publication Date: Jun 28, 2012
• Publication Date: 2012-05
• Deposit Date: Jul 12, 2022
• Print ISSN: 1474-6670
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 45
• Issue: 6
• Pages: 1647-1652
• ISBN: 9783902661982
• DOI: https://doi.org/10.3182/20120523-3-RO-2023.00334
• Keywords: Dependability modeling; Dependability Analysis; AADL; HiP-HOPS; Model transformation
• Public URL: https://hull-repository.worktribe.com/output/4028831