Sökning: onr:"swepub:oai:DiVA.org:mdh-22280" >
Practical Limits on...
Practical Limits on Software Dependability : A Case Study
-
- Graydon, Patrick (författare)
- University of Virginia,IS (Embedded Systems)
-
- Knight, John (författare)
- University of Virginia
-
- Yin, Xiang (författare)
- University of Virginia,IS (Embedded Systems)
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer, 2010
- 2010
- Engelska.
-
Ingår i: Reliable Software Technologiey – Ada-Europe 2010. - Berlin, Heidelberg : Springer. - 3642135498 ; , s. 83-96
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Publikations- och innehållstyp
- ref (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas