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
Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-7048-0108
University of Hull, United Kingdom.
University of Hull, United Kingdom.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0001-5703-5923
Show others and affiliations
2013 (English)In: IFAC Proceedings Volumes: (IFAC-PapersOnline), 2013, Vol. 4, 91-96 p.Conference paper, Published paper (Refereed)
Abstract [en]

EAST-ADL is a domain-specific modeling framework with methodology and language supportfor the engineering of automotive embedded systems. In regard to functional safety, it aims toprovide the maximum possible support for ISO 26262 so that all safety related information can beconsolidated seamlessly in a common system model together with the requirements specification.This paper describes the EAST-ADL support for the modeling of plausible error behaviors as anorthogonal system view. We introduce in particular an integration of such EAST-ADL modelswith the HiP-HOPS method for automated temporal fault tree analysis.

Place, publisher, year, edition, pages
2013. Vol. 4, 91-96 p.
Series
IFAC Proceedings Volumes (IFAC-PapersOnline), ISSN 1474-6670 ; Vol. 4, Issue PART 1
Keyword [en]
Embedded systems, System Engineering, Error Modeling, Formal Specification, Behavior, Safety Analysis
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-125332DOI: 10.3182/20130904-3-UK-4041.00043Scopus ID: 2-s2.0-84885630330OAI: oai:DiVA.org:kth-125332DiVA: diva2:639626
Conference
4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013; York, United Kingdom, 4-6 September, 2013
Projects
MAENAD (EU FP7, Grant 260057)MBAT (ARTEMIS-JU, Grant 269335)
Note

QC 20140313

Available from: 2013-08-08 Created: 2013-08-08 Last updated: 2016-04-18Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Chen, DeJiuFeng, Lei

Search in DiVA

By author/editor
Chen, DeJiuFeng, Lei
By organisation
Embedded Control SystemsMechatronics
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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