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
Practical Limits on Software Dependability: A Case Study
University of Virginia. (IS (Embedded Systems))ORCID iD: 0000-0002-6352-4368
University of Virginia.
University of Virginia. (IS (Embedded Systems))
2010 (English)In: Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings, Springer, 2010, 83-96 p.Chapter in book (Refereed)
Abstract [sv]

The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in which every aspect of software dependability can be demonstrated with high confidence. In this paper, we present the results of a case study exploration of the practical limitations on software dependability. We analyze a software assurance argument for weaknesses and extrapolate a set of limitations including dependence upon correct requirements, dependence upon reliable human-to-human communication, dependence upon human compliance with protocols, dependence upon unqualified tools, the difficulty of verifying low-level code, and the limitations of testing. We discuss each limitation's impact on our specimen system and potential mitigations.

Place, publisher, year, edition, pages
Springer, 2010. 83-96 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6106
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-22280DOI: 10.1007/978-3-642-13550-7_6ISBN: 3642135498 (print)OAI: oai:DiVA.org:mdh-22280DiVA: diva2:661355
Note

15th International Conference on Reliable Software Technologies, Ada-Europe 2010; Valencia; Spain; 14 June 2010 through 18 June 2010

Available from: 2013-11-03 Created: 2013-10-31 Last updated: 2014-01-22Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Graydon, Patrick
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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