Robyn Lutz  Home/Search
Context Related
| iastate.edu/pub/tech_reports...9227.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: iastate.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper analyzes the root causes of safety-related software errors in safetycritical, embedded systems. The results show that software errors identified as potentially hazardous to the system tend to be produced by different error mechanisms than non-safety-related software errors. Safety-related software errors are shown to arise most commonly from (1) discrepancies between the documented requirements specifications and the requirements needed for correct functioning of the system and ... (Update)
Cited by: More
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
From Object Orientation to Goal Orientation: A Paradigm.. - van Lamsweerde, Letier (2003) (Correct)
On the Interplay between Consistency, Completeness, and.. - Zowghi, Gervasi (2003) (Correct)
Similar documents (at the sentence level):
75.0%: Analyzing Software Requirements Errors in Safety-Critical.. - Lutz (1993) (Correct)
Active bibliography (related documents): More All
1.4: Targeting Safety-Related Errors During Software Requirements.. - Robyn Lutz (1996) (Correct)
0.6: Towards a Maturity Model for Empirical Studies of.. - Harman, Holcombe.. (1999) (Correct)
0.3: System and Software Safety in Critical Systems - Isaksen, Bowen, Nissanke (1996) (Correct)
Similar documents based on text: More All
0.3: Integrity of Safety-Related Software - Of Uncertain Pedigree (2001) (Correct)
0.2: Evolution of Safety-Critical Requirements Post-Launch - Lutz, Mikulski (2001) (Correct)
0.2: Quantitative Evaluation on Safety-related Systems - Wei Long Tie (2002) (Correct)
Related documents from co-citation: More All
14: Safeware: System Safety and Computers (context) - Leveson - 1995
11: Software requirements analysis for real-time process-control systems (context) - Jaffe, Leveson et al. - 1991
11: Statecharts: A visual formalism for complex systems - Harel - 1987
BibTeX entry: (Update)
R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems," Proceedings of the IEEE International Symposium on Requirements Engineering, Jan 1993, pp. 126-133. http://citeseer.ist.psu.edu/lutz93analyzing.html More
@inproceedings{ lutz93analyzing,
author = "R. R. Lutz",
title = "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems",
booktitle = "{IEEE} International Symposium on Requirements Engineering",
publisher = "IEEE Computer Society Press",
address = "San Diego, CA",
pages = "126--133",
year = "1993",
url = "citeseer.ist.psu.edu/lutz93analyzing.html" }
Citations (may not include all citations):154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
60 Software Requirements Analysis for Real-Time Process-Control.. (context) - Jaffe - 1991
34 Software Safety in Embedded Computer Systems (context) - Leveson - 1991
33 An Experimental Evaluation of Software Redundancy as a Strat.. (context) - Eckhardt - 1991
29 An Integrated Approach to Software Engineering (context) - Jalote - 1991
21 Analyzing Error-Prone System Structure (context) - Selby, Basili - 1991
21 An Analysis of Errors and Their Causes in Systems Programs (context) - Endres - 1975
19 Collecting and Categorizing Software Error Data in an Indust.. (context) - Ostrand, Weyuker - 1984
13 A Case History Analysis of Software Error Cause--Effect Rela.. (context) - Nakajo, Kume - 1991
12 Analyzing Software Safety (context) - Leveson, Harvey - 1983
11 An Experiment in Software Error Data Collection and Analysis (context) - Schneidewind, Hoffmann - 1979
11 On Hierarchical Design of Computer Systems for Critical Appl.. (context) - Neumann - 1986
10 A Case Study on Isolation of Safety-Critical Software (context) - Addy - 1991
9 New York: IEEE (context) - IEEE, of et al. - 1983
8 Detecting Unsafe Error Recovery Schedules - Lutz, Wong
5 Analysis and Specification (context) - Davis, Requirements - 1990
4 Requirements (context) - Gray, Thayer - 1991
4 The Computer-Related Risk of the Year: Weak Links and Correl.. (context) - Neumann - 1991
3 IEEE Transactions on Software Engineering SE (context) - Basili, Selby et al. - 1986
2 in Aerospace Software Engineering (context) - Knight - 1991
2 in Aerospace Software Engineering (context) - Leveson - 1991
2 ication. EDS. P. B. Ladkin and F. H. Vogt. Berkeley, CA: Int.. (context) - the, on et al. - 1990
2 Software Systems Safety Program RTOP, Phase A Report (context) - L'Heureux - 1991
2 Error Discovery Rate by Severity Category and Time to Repair.. (context) - Nikora - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.iastate.edu.html): More
Polymorphic Type-Checking in Scheme - Jenkins, Leavens (1996) (Correct)
Weighted Search in the Plane - Agarwala, Fernández-Baca (1994) (Correct)
Properties of Genetic Representations of Neural Architectures - Balakrishnan, Honavar (1995) (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