liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Towards a Unified Model-Based Formalism for Supporting Safety Assessment activities
Linköping University, Department of Computer and Information Science.
2010 (English)Independent thesis Advanced level (degree of Master (One Year)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Safety assessment is a rational and systematic process for assessing the risk associated with the usage of a product. While the safety assessment process is important even when making a simple product, the true importance of this process comes into light when designing for example an aircraft, where a failure could possibly lead to the loss of human lives. However,even though this process is vital for certain industries, it is plagued by a lack of tools. The existing tools are focused on specific parts of the process and do not make use of work done in earlier steps of the process which often means that the safety engineer needs to manually do work that could have been calculated automatically from information that is already present from an earlier step in the process.

This thesis shows that by creating a model of the product that can be present and augmented throughout every step in the process, many calculations that are currently done by hand can be automated or semi-automated by examining this shared model. The thesis proposes a specification for a modeling formalism that is simple enough to be used as early as the requirements phase of a project, but powerful enough to provide important information all the way throughout the safety assessment process.

The thesis also specifically shows how this model can be used to help in the creation and updating process of Failure Mode and Effects Analysis (FMEA) documents as a proof-of concept implementation based on Sörman Information AB’s product “Uptime BPC Standard”.Algorithms for synchronizing between the model and the FMEA representation, as well as algorithms for automatically calculating the next level effect and global level effect of failure modes based on the hierarchy and connections made in the model are also presented.

The prototype implementation shows that even though the entire safety assessment process cannot be automated it is possible to extract information from the model by analyzing its hierarchy and connections. While more work still needs to be done before the entire safety assessment process can be encompassed, the initial results shows that the proposed modeling formalism allows us to create models from which relevant information that can be used to support the safety assessment process can be calculated.

Place, publisher, year, edition, pages
2010. , 68 p.
Keyword [en]
Modeling, FMEA, safety assessment, modeling formalism
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-56389ISRN: LIU-IDA/LITH-EX-A--09/051--SEOAI: oai:DiVA.org:liu-56389DiVA: diva2:318595
Presentation
2009-10-09, Alan Newell, Linköping, 10:09 (English)
Uppsok
Technology
Supervisors
Examiners
Available from: 2010-05-10 Created: 2010-05-09 Last updated: 2010-05-10Bibliographically approved

Open Access in DiVA

fulltext(2947 kB)219 downloads
File information
File name FULLTEXT01.pdfFile size 2947 kBChecksum SHA-512
28130d8a81c075fe61ce16ca2dc6570bc27b98490c1572d02e30d13d50a7c00f49e786e563c7a6842cabdee8959cff45701a562859536e4563882a018ee9739e
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Forssén, Fredrik
By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 219 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: 265 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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