kth.sePublications
Change search
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
A probabilistic model of belief in safety cases
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0003-4557-2849
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0001-6667-3783
Mälardalen Univ, Hogskoleplan 1, S-72220 Västerås, Sweden..
2021 (English)In: Safety Science, ISSN 0925-7535, E-ISSN 1879-1042, Vol. 138, article id 105187Article in journal (Refereed) Published
Abstract [en]

A safety case is a hierarchical argument supported by evidence, whose scope is defined by contextual information. The goal is to show that the conclusion of such argument, typically "the system is acceptably safe", is true. However, because the knowledge about systems is always imperfect, the value true cannot be assigned with absolute certainty. Instead, researchers have proposed to assess the belief that a conclusion is true, which should be high for a safe system. Existing methods for belief calculations were shown to suffer from various limitations that lead to unrealistic belief values. This paper presents a novel method, underlined by formal definitions of concepts such as conclusion being true, or context defining the scope. Given these definitions, a general, probabilistic model for the calculation of belief in a conclusion of an arbitrary argument is derived. Because the derived probabilistic model is independent of any safety-case notation, the elements of a commonly used notation are mapped to the formal definitions, and the corresponding probabilistic model is represented as a Bayesian Network to enable large-scale calculations. Finally, the method is applied to scenarios where previous methods produce unrealistic values, and it is shown that the presented method produces belief values as expected.

Place, publisher, year, edition, pages
Elsevier BV , 2021. Vol. 138, article id 105187
Keywords [en]
Safety case, Safety-case representation, Reasoning under uncertainty, Model Theory, Bayesian Network
National Category
Philosophy Embedded Systems Probability Theory and Statistics
Identifiers
URN: urn:nbn:se:kth:diva-305092DOI: 10.1016/j.ssci.2021.105187ISI: 000714972300001Scopus ID: 2-s2.0-85101417840OAI: oai:DiVA.org:kth-305092DiVA, id: diva2:1613627
Note

QC 20211123

Available from: 2021-11-23 Created: 2021-11-23 Last updated: 2022-09-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Nešić, DamirNyberg, Mattias

Search in DiVA

By author/editor
Nešić, DamirNyberg, Mattias
By organisation
Mechatronics
In the same journal
Safety Science
PhilosophyEmbedded SystemsProbability Theory and Statistics

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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