Skip to main content

Research Repository

Advanced Search

System dependability modelling and analysis using AADL and HiP-HOPS

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

Authors

Leonardo Bottaci

Matthias Biehl



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. (2012). System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 45(6), 1647-1652. https://doi.org/10.3182/20120523-3-RO-2023.00334

Journal Article Type Conference Paper
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