Validation of ultrahigh dependability for software-based systems
- 1 November 1993
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 36 (11) , 69-80
- https://doi.org/10.1145/163359.163373
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Software safety in embedded computer systemsCommunications of the ACM, 1991
- Evaluation of safety-critical softwareCommunications of the ACM, 1990
- Conceptual modeling of coincident failures in multiversion softwareIEEE Transactions on Software Engineering, 1989
- The approach to risk analysis in three industries: nuclear power, space systems, and chemical processReliability Engineering & System Safety, 1988
- Certifying the reliability of softwareIEEE Transactions on Software Engineering, 1986
- Software Fault Tolerance: An EvaluationIEEE Transactions on Software Engineering, 1985
- Fault Tolerance by Design Diversity: Concepts and ExperimentsComputer, 1984
- Optimizing Preventive Service of Software ProductsIBM Journal of Research and Development, 1984