Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
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
Identifiers
URN: urn:nbn:se:kth:diva-87798DOI: 10.3182/20120523-3-RO-2023.00334Scopus ID: 2-s2.0-84866076169ISBN: 978-390266198-2 (print)OAI: oai:DiVA.org:kth-87798DiVA: diva2:501873
Conference
14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12; Bucharest; 23 May 2012 through 25 May 2012
Note

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
Mechatronics
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 75 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf