https://www.mdu.se/

mdu.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
Uncertainty and Confidence in Safety Logic
Mälardalen University, School of Innovation, Design and Engineering. (IS (Embedded Systems))ORCID iD: 0000-0002-6352-4368
2013 (English)In: Proceedings of the 31st International System Safety Conference (ISSC), 2013Conference paper, Published paper (Refereed)
Abstract [en]

Reasoning about system safety requires reasoning about confidence in safety claims. For example, DO-178B requires developers to determine the correctness of the worst-case execution time of the software. It is not possible to do this beyond any doubt. Therefore, developers and assessors must consider the limitations of execution time evidence and their effect on the confidence that can be placed in execution time figures, timing analysis results, and claims to have met timing-related software safety requirements. In this paper, we survey and assess existing concepts that might serve as means of describing and reasoning about confidence, including safety integrity levels, probability distributions of failure rates, Bayesian Belief Networks, argument integrity levels, and Baconian probability. We define use cases for confidence in safety cases, prescriptive standards, certification of component- based systems, and the reuse of safety elements both in and out of context. From these use cases, we derive requirements for a confidence framework. We assess existing techniques by discussing what is known about how well each confidence metric meets these requirements. Our results show that no existing confidence metric is ideally suited for all uses. We conclude by discussing implications for future standards and for reuse of safety elements.

Place, publisher, year, edition, pages
2013.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-21404OAI: oai:DiVA.org:mdh-21404DiVA, id: diva2:647926
Conference
31st International System Safety Conference, August 12-16, 2013, Boston Marriott Copley Place, Boston, Massachusetts, USA
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable ComponentsAvailable from: 2013-09-12 Created: 2013-09-11 Last updated: 2014-02-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Graydon, Patrick

Search in DiVA

By author/editor
Graydon, Patrick
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 71 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