Change search
ReferencesLink to record
Permanent link

Direct link
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 (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.
, 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
URN: urn:nbn:se:kth:diva-125332DOI: 10.3182/20130904-3-UK-4041.00043ScopusID: 2-s2.0-84885630330OAI: diva2:639626
4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013; York, United Kingdom, 4-6 September, 2013
MAENAD (EU FP7, Grant 260057)MBAT (ARTEMIS-JU, Grant 269335)

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

Search in DiVA

By author/editor
Chen, DeJiuFeng, Lei
By organisation
Embedded Control SystemsMechatronics
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: 217 hits
ReferencesLink to record
Permanent link

Direct link