System dependability modelling and analysis using AADL and HiP-HOPS
2012 (English)In: 14th IFAC Symposium on Information Control Problems in Manufacturing, IFAC , 2012, 1647-1652 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
IFAC , 2012. 1647-1652 p.
, IFAC Proceedings Volumes (IFAC-PapersOnline), ISSN 1474-6670 ; Volume 14, Issue PART 1
AADL, Dependability analysis, Dependability modeling, HiP-HOPS, Model transformation
IdentifiersURN: urn:nbn:se:kth:diva-87798DOI: 10.3182/20120523-3-RO-2023.00334ScopusID: 2-s2.0-84866076169ISBN: 978-390266198-2OAI: oai:DiVA.org:kth-87798DiVA: diva2:501873
14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12; Bucharest; 23 May 2012 through 25 May 2012
QC 201210172012-02-142012-02-142012-10-17Bibliographically approved