mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Model-driven Dependability Analysis Method for Component-based Architectures
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0001-5269-3900
2012 (English)In: Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, 2012, 233-240 p.Conference paper, Published paper (Refereed)
Abstract [en]

Critical distributed real-time embedded component-based systems must be dependable and thus be able to avoid unacceptable failures. To efficiently evaluate the dependability of the assembly obtained by selecting and composing components, well-integrated and tool-supported techniques are needed. Currently, no satisfying tool-supported technique fully integrated in the development life-cycle exists. To overcome this limitation, we propose CHESS-FLA, which is a model-driven failure logic analysis method. CHESS-FLA allows designers to: model the nominal as well as the failure behaviour of their architectures, automatically perform dependability analysis through a model transformation, and, finally, ease the interpretation of the analysis results through back-propagation onto the original architectural model. CHESS-FLA is part of an industrial quality tool-set for the functional and extra-functional development of high integrity embedded component-based systems, developed within the EU-ARTEMIS funded CHESS project. Finally, we present a case study taken from the telecommunication domain to illustrate and assess the proposed method.

Place, publisher, year, edition, pages
2012. 233-240 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17348DOI: 10.1109/SEAA.2012.35ISI: 000310462600037Scopus ID: 2-s2.0-84869791458ISBN: 978-076954790-9 (print)OAI: oai:DiVA.org:mdh-17348DiVA: diva2:579679
Conference
38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012; Cesme, Izmir;5 September 2012 through 8 September 2012
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Gallina, BarbaraPunnekkat, Sasikumar
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 47 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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