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
Enhancing the EAST-ADL Error Model with HiP-HOPS Semantics
University of Hull.
University of Hull.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-7048-0108
University of Hull.
Show others and affiliations
2014 (English)In: Athens Journal of Technology & Engineering, ISSN 2241-8237, Vol. 1, no 2, p. 119-136Article in journal (Refereed) Published
Abstract [en]

EAST-ADL is a domain-specific modelling language for the engineering of automotive embedded systems. The language has abstractions that enable engineers to capture a variety of information about design in the course of the lifecycle — from requirements to detailed design of hardware and software architectures. The specification of the EAST-ADL language includes an error model extension which documents language structures that allow potential failures of design elements to be specified locally. The effects of these failures are then later assessed in the context of the architecture design. To provide this type of useful assessment, a language and a specification are not enough; a compiler-like tool that can read and operate on a system specification together with its error model is needed. In this paper we integrate the error model of EAST-ADL with the precise semantics of HiP-HOPS — a state-of-the-art tool that enables dependability analysis and optimization of design models. We present the integration concept between EAST-ADL structure and HiP-HOPS error propagation logic and its transformation into the HiP-HOPS model. Source and destination models are represented using the corresponding XML formats. The connection of these two models at tool level enables practical EAST-ADL designs of embedded automotive systems to be analysed in terms of dependability, i.e. safety, reliability and availability. In addition, the information encoded in the error model can be re-used across different contexts of application with the associated benefits for cost reduction, simplification, and rationalisation of dependability assessments in complex engineering designs.

Place, publisher, year, edition, pages
Athens Institute for Education and Research (ATINER), 2014. Vol. 1, no 2, p. 119-136
Keywords [en]
ADL, Dependability, Functional Safety
National Category
Embedded Systems Computer and Information Sciences Mechanical Engineering
Research subject
Machine Design; Information and Communication Technology
Identifiers
URN: urn:nbn:se:kth:diva-157526OAI: oai:DiVA.org:kth-157526DiVA, id: diva2:770403
Projects
EU FP7 MAENAD
Funder
EU, FP7, Seventh Framework Programme, 260057
Note

QC 20150220

Available from: 2014-12-10 Created: 2014-12-10 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Published version

Authority records BETA

Chen, DeJiu

Search in DiVA

By author/editor
Chen, DeJiu
By organisation
Embedded Control Systems
Embedded SystemsComputer and Information SciencesMechanical Engineering

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 120 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