Loading...
Please wait, while we are loading the content...
Similar Documents
City Research Online Validation of Ultra-High Dependability for Software-based Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Littlewood, Bev |
| Copyright Year | 2017 |
| Abstract | Modern society depends on computers for a number of critical tasks in which failure can have very high costs. As a consequence, high levels of dependability (reliability, safety, etc.) are required from such computers, including their software. Whenever a quantitative approach to risk is adopted, these requirements must be stated in quantitative terms, and a rigorous demonstration of their being attained is necessary. For software used in the most critical roles, such demonstrations are not usually supplied. The fact is that the dependability requirements often lie near the limit of the current state of the art, or beyond, in terms not only of the ability to satisfy them, but also, and more often, of the ability to demonstrate that they are satisfied in the individual operational products (validation). We discuss reasons why such demonstrations cannot usually be provided with the means available: reliability growth models, testing with stable reliability, structural dependability modelling, as well as more informal arguments based on good engineering practice. We state some rigorous arguments about the limits of what can be validated with each of such means. Combining evidence from these different sources would seem to raise the levels that can be validated; yet this improvement is not such as to solve the problem. It appears that engineering practice must take into account the fact that no solution exists, at present, for the validation of ultra-high dependability in systems relying on complex software. ACM Copyright Notice Copyright © 1993 by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org. Littlewood-Strigini: Validation of Ultra-High Dependability for Software-based Systems |
| File Format | PDF HTM / HTML |
| DOI | 10.1007/978-3-642-79789-7_27 |
| Alternate Webpage(s) | http://openaccess.city.ac.uk/id/eprint/1251/1/CACMnov93.pdf |
| Alternate Webpage(s) | http://openaccess.city.ac.uk/1251/1/CACMnov93.pdf |
| Alternate Webpage(s) | https://doi.org/10.1007/978-3-642-79789-7_27 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
