mdh.sePublications
2930313233343532 of 38
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-based approach for automatic generation of IEC-61025 standard compliant fault trees
Mälardalen University, School of Innovation, Design and Engineering. (Certifiable Evidences & Justification Engineering)
2018 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Reliability and safety of complex software-intensive systems are proved to be a crucial matter since most of these systems fulfil tasks, where a failure could lead to catastrophic consequences. For example, in space systems such as satellites, a failure could result in the loss of the satellite. Therefore, a certain level of reliability and safety must be assured for such systems to trust the services they provide. Standards set this level and put requirements for the analysis and assurance of these properties using documented evidence. In particular, European Cooperation for Space Standardization (ECSS) standards for space systems require Fault Tree Analysis(FTA) for identifying the causes of system failure and consequently safety hazards, as well as fault trees as evidence for the assurance of reliability and safety.

In this thesis, we present a tool supported model-based approach to generate fault tree automatically from an existing system modelling and analysis toolset. CHESS is a system and dependability modelling toolset and integrates Concerto-FLA to enable the support of failure logic analysis. We proposed a model-based transformation from Concerto-FLA to fault tree model and implemented it as an Eclipse plugin in CHESS toolset. A case study is performed in the aerospace domain; more specifically we modelled Attitude Control System (ACS) and automatically generated IEC-61025-compliant fault trees.

Place, publisher, year, edition, pages
2018. , p. 71
Keywords [en]
Fault Tree Analysis, Model-Driven Engineering, Attitude Control System
National Category
Other Engineering and Technologies not elsewhere specified
Identifiers
URN: urn:nbn:se:mdh:diva-40912OAI: oai:DiVA.org:mdh-40912DiVA, id: diva2:1248334
Subject / course
Computer Science
Presentation
2018-08-23, U2-040, Högskoleplan 1, 722 20 Västerås, Sweden, Västerås, 10:30 (English)
Supervisors
Examiners
Projects
AMASS projectAvailable from: 2018-11-13 Created: 2018-09-14 Last updated: 2018-11-13Bibliographically approved

Open Access in DiVA

fulltext(3691 kB)11 downloads
File information
File name FULLTEXT01.pdfFile size 3691 kBChecksum SHA-512
2011efa7a69ae5b0f6d3f4e4442425392a6c758110e47551906d5afed6345cd7a263e444016fe020c16a79319d491c7bbafd08f397b9f18b4d39fca283d8a90e
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Zornoza Moreno, Enrique
By organisation
School of Innovation, Design and Engineering
Other Engineering and Technologies not elsewhere specified

Search outside of DiVA

GoogleGoogle Scholar
Total: 11 downloads
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

urn-nbn

Altmetric score

urn-nbn
Total: 23 hits
2930313233343532 of 38
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