Change search
ReferencesLink to record
Permanent link

Direct link
System dependability modelling and analysis using AADL and HiP-HOPS
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
2012 (English)In: 14th IFAC Symposium on Information Control Problems in Manufacturing, IFAC , 2012, 1647-1652 p.Conference paper (Refereed)
Abstract [en]

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
Keyword [en]
AADL, Dependability analysis, Dependability modeling, HiP-HOPS, Model transformation
National Category
Embedded Systems
URN: urn:nbn:se:kth:diva-87798DOI: 10.3182/20120523-3-RO-2023.00334ScopusID: 2-s2.0-84866076169ISBN: 978-390266198-2OAI: diva2:501873
14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12; Bucharest; 23 May 2012 through 25 May 2012

QC 20121017

Available from: 2012-02-14 Created: 2012-02-14 Last updated: 2012-10-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Biehl, Matthias
By organisation
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 47 hits
ReferencesLink to record
Permanent link

Direct link