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
Formal Assurance Arguments: A Solution in Search of a Problem?
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. NASA Langley Research Center, United States.ORCID iD: 0000-0002-6352-4368
2015 (English)In: Proceedings of the International Conference on Dependable Systems and Networks, 2015, 517-528 p.Conference paper, Published paper (Refereed)
Resource type
Text
Abstract [en]

An assurance case comprises evidence and argument showing how that evidence supports assurance claims (e.g., about safety or security). It is unsurprising that some computer scientists have proposed formalising assurance arguments: most associate formality with rigour. But while engineers can sometimes prove that source code refines a formal specification, it is not clear that formalisation will improve assurance arguments or that this benefit is worth its cost. For example, formalisation might reduce the benefits of argumentation by limiting the audience to people who can read formal logic. In this paper, we present (1) a systematic survey of the literature surrounding formal assurance arguments, (2) an analysis of errors that formalism can help to eliminate, (3) a discussion of existing evidence, and (4) suggestions for experimental work to definitively answer the question.

Place, publisher, year, edition, pages
2015. 517-528 p.
Keyword [en]
assurance argument, formal argumentation, safety case, security case, Formal logic, Assurance case, Computer scientists, Formalisation, Source codes, Systematic errors
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-30650DOI: 10.1109/DSN.2015.28ISI: 000380425700046Scopus ID: 2-s2.0-84950136069ISBN: 9781479986293 (print)OAI: oai:DiVA.org:mdh-30650DiVA: diva2:890019
Conference
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, 22 June 2015 through 25 June 2015
Note

Export Date: 30 December 2015

Available from: 2015-12-30 Created: 2015-12-30 Last updated: 2016-12-05Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Graydon, Patric J.

Search in DiVA

By author/editor
Graydon, Patric J.
By organisation
Embedded Systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 17 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