mdh.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 Perspective on Safety Argumentation: Aims, Achievements, Challenges, and Opportunities
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-6352-4368
(English)In: First International Workshop on Argument for Agreement and Assurance, Kanagawa, JapanConference paper, Published paper (Refereed)
Abstract [en]

Building and operating safety critical systems requires making decisions about risk mitigations and their sufficiency. These decisions depend upon a safety case comprising many interrelated pieces of safety evidence and an argument linking these to a claim of adequate safety. Safety argumentation research has drawn from several other disciplines, including the law, philosophy, and artificial intelligence. But it has not yet achieved a normative theory of assurance argumentation that makes trustworthy predictions about the accuracy of safety claims. In this paper, we discuss the aims, achievements, and challenges of safety argumentation theory research and identify opportunities for future work.

Place, publisher, year, edition, pages
Kanagawa, Japan.
Keyword [en]
safety argument, non-monotonic logic, defeasible argument, Bayesian argument, inductive strength, confidence, argument strength
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-22886OAI: oai:DiVA.org:mdh-22886DiVA: diva2:665767
Conference
AAA2013, First International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, October 27-28, 2013
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Available from: 2013-11-20 Created: 2013-11-19 Last updated: 2013-12-06Bibliographically approved

Open Access in DiVA

No full text

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

Total: 20 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