Search: onr:"swepub:oai:DiVA.org:mdh-22280" >
Practical Limits on...
Practical Limits on Software Dependability : A Case Study
-
- Graydon, Patrick (author)
- University of Virginia,IS (Embedded Systems)
-
- Knight, John (author)
- University of Virginia
-
- Yin, Xiang (author)
- University of Virginia,IS (Embedded Systems)
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer, 2010
- 2010
- English.
-
In: Reliable Software Technologiey – Ada-Europe 2010. - Berlin, Heidelberg : Springer. - 3642135498 ; , s. 83-96
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Publication and Content Type
- ref (subject category)
- kap (subject category)
Find in a library
To the university's database