Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS
2013 (English)In: IFAC Proceedings Volumes: (IFAC-PapersOnline), 2013, Vol. 4, 91-96 p.Conference paper (Refereed)
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
Embedded systems, System Engineering, Error Modeling, Formal Specification, Behavior, Safety Analysis
IdentifiersURN: urn:nbn:se:kth:diva-125332DOI: 10.3182/20130904-3-UK-4041.00043ScopusID: 2-s2.0-84885630330OAI: oai:DiVA.org:kth-125332DiVA: diva2:639626
4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013; York, United Kingdom, 4-6 September, 2013
ProjectsMAENAD (EU FP7, Grant 260057)MBAT (ARTEMIS-JU, Grant 269335)
QC 201403132013-08-082013-08-082016-04-18Bibliographically approved