Jeffrey Voas, Lora Kassab  Home/Search
Context Related
| navy.mil/ITD/5540/...97kassabPNSQ97.ps navy.mil/publicati...97kassabPNSQ97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: navy.mil/ITD/5540...index1997txt (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper looks at methods for predicting how likely it is that an n-version software system will suffer from common-mode failures. Common-mode failures are frequently caused by specification errors, specification ambiguities, and programmer faults. Since common-mode failures are detrimental to n-version systems, we have developed a method and a tool that observes the impact of simulated specification errors and specification ambiguities. These observations are made possible by a new family of ... (Update)
Context of citations to this paper: More
...slightly wrong or misinterpreted, will lead to system failures. Results from using this specification based analysis are published in [18]. This provides insight as to which directives in the specification have the most impact on the system s functionality. This technique...
Cited by: More
Reducing Uncertainty About Common-Mode Failures - Voas, Ghosh, Charron, Kassab (1997) (Correct)
Active bibliography (related documents): More All
0.2: Using Fault Injection to Assess Software Engineering Standards - Jeffrey Voas (1995) (Correct)
0.2: Certifying Software for High Assurance Environments - Voas (1999) (Correct)
0.2: Diversity against Accidental and Deliberate Faults - Deswarte, Kanoun, Laprie (1998) (Correct)
Similar documents based on text: More All
0.5: N Version Programming: A Unified Modeling Approach - Goseva-Popstojanova, Grnarov (1996) (Correct)
0.3: Using Assertions to Make Untestable Software More Testable - Voas, Kassab (1999) (Correct)
0.3: Towards Fault-Tolerant Mobile Agents - Kassab, Voas (1998) (Correct)
BibTeX entry: (Update)
J. Voas and L. Kassab, "Simulating Specification Errors and Ambiguities in Systems Employing Diversity", In Proceedings of the 1997 Pacific Northwest Software Quality Conference, Oct. 1997. http://citeseer.ist.psu.edu/voas97simulating.html More
@misc{ voas97simulating,
author = "J. Voas and L. Kassab",
title = "Simulating Specification Errors and Ambiguities in Systems Employing Diversity",
text = "J. Voas and L. Kassab, Simulating Specification Errors and Ambiguities
in Systems Employing Diversity, In Proceedings of the 1997 Pacific Northwest
Software Quality Conference, Oct. 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/voas97simulating.html" }
Citations (may not include all citations):107 An Experimental Evaluation of the Assumption of Independence.. - KNIGHT, LEVESON - 1986
82 Design and Analysis of Fault Tolerant Digital Systems (context) - JOHNSON - 1989
12 Predicting How Badly `Good' Software can Behave - VOAS, CHARRON et al. - 1997
10 IE: A Dynamic Failure-Based Technique (context) - VOAS - 1992
6 Software Considerations in Airborne Systems and Equipment Ce.. (context) - AUTHORITY - 1992
5 electrical flight controls - a family of fault-tolerant syst.. (context) - BRIERE, TRAVERSE - 1993
5 IEEE Transactions on Software Engineering (context) - BRILLIANT, KNIGHT et al. - 1990
4 Dependability of digital computers on board airplanes (context) - TRAVERSE - 1989
2 Reducing Uncertainty about Common-mode failures - VOAS, GHOSH et al. - 1997
Documents on the same site (http://www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/1997/index1997-txt.html): More
The Technical Cooperation Program -.. (1997) (Correct)
Protecting Unattended Computers Without Software - Carl Landwehr (1997) (Correct)
Replication Does Survive Information Warfare Attacks - McDermott (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC