Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, et al.  Home/Search
Context Related
| iastate.edu/~rlutz/publicat...icre98.ps iastate.edu/~ghelmer/icre97.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/~rlutz/ (more) From: iastate.edu/~ghelmer...background (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A safety analysis was performed on the software requirements for a family of flight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended to apply to four-variable models and used to analyze the requirements models for representative members of the product family. The results were evaluated against an initial specification of the product family's required commonalities and variabilities. The Safety Checklist was found to be effective at analyzing the... (Update)
Context of citations to this paper: More
.... as these must be demonstrably safe, but the consequences of broad reuse are hard to evaluate from a software safety perspective [1, 6, 13, 16, 19]. This paper reports experience specifying an interferometer (telescope) subsystem as a product family, performing a hazards...
.... but the consequences of broad reuse are hard to evaluate from a software safety perspective (Addy, 1998; Gomaa, 1995; Lam, 1998; Lutz et al. 1998; Rushby, 1994) This paper reports experience specifying an interferometer (telescope) subsystem as a product family,...
Cited by: More
Requirements Engineering: a roadmap - Nuseibeh, Easterbrook (2000) (Correct)
Bi-directional Analysis for Certification of Safety-Critical.. - Lutz, Woodhouse (1999) (Correct)
Extending the Product Family Approach to Support Safe Reuse - Lutz (2000) (Correct)
Active bibliography (related documents): More All
1.8: Requirements Analysis Using Forward and Backward Search - Lutz, Woodhouse (1997) (Correct)
0.7: Experience Report: Contributions of SFMEA to Requirements.. - Lutz, Woodhouse (1996) (Correct)
0.4: System and Software Safety in Critical Systems - Isaksen, Bowen, Nissanke (1996) (Correct)
Similar documents based on text: More All
0.3: Subjective Safety Analysis of Safety Requirements.. - Wang, Saeed, de Lemos (Correct)
0.2: Software Engineering for Safety: A Roadmap - Lutz (2000) (Correct)
0.2: Jargons for Domain Engineering - Nakatani, Ardis, Olsen, Pontrelli (Correct)
Related documents from co-citation: More All
2: Defining Families: The Commonality Analysis - Mark, David et al. - 1997
2: Exploiting Reusable Specifications through Analogy (context) - Maiden, Sutcliffe - 1992
2: Requirements Engineering Using the SOS Paradigm (context) - Greenspan, Feblowitz - 1993
BibTeX entry: (Update)
Lutz, Robyn, G. Helmer, M. Moseman, D. Statezni, and S. Tockey, "Safety Analysis of Requirements for a Product Family," Proceedings of the Third IEEE International Conference on Requirements Engineering (ICRE '98), April 6-10, 1998, Colorado Springs, CO. http://citeseer.ist.psu.edu/lutz98safety.html More
@inproceedings{ lutzsafety,
author = "R. R. Lutz and G. G. Helmer and M. M. Moseman and D. E. Statezni et al.",
title = "Safety Analysis of Requirements for a Product Family",
pages = "24--33",
url = "citeseer.ist.psu.edu/lutz98safety.html" }
Citations (may not include all citations):173 Safeware: System Safety and Computers (context) - Leveson - 1995
60 Software Requirements Analysis for Real-Time Process-Control.. (context) - Jaffe, Leveson et al. - 1991
54 Distributed Computing Models and Methods (context) - Lamport, Lynch - 1990
54 Completeness and Consistency in Hierarchical StateBased Requ.. - Heimdahl - 1996
39 Specifying the Mode Logic of a Flight Guidance System in CoR.. (context) - Miller - 1998
30 Targeting Safety-Related Errors During Software Requirements.. - Lutz - 1996
28 The CoRE Method for Real-Time Requirements (context) - Faulk, Brackett et al. - 1992
28 Functional Documents for Computer Systems - Parnas, Madey - 1995
15 SCR: A Toolset for Specifying and Analyzing Requirements - Heitmeyer, Bull et al. - 1995
11 A Development of Hazard Analysis To Aid Software Design - McDermid, Pumfrey - 1994
11 Software Deviation Analysis (context) - Reese - 1995
9 Requirements Analysis Using Forward and Backward Search - Lutz, Woodhouse - 1997
7 FMEA and FTA To Support Safe Design of Embedded Software in .. (context) - Maier - 1995
5 The Application of HAZOP Studies to Integrated Requirements .. (context) - Fencott, Hebbron - 1995
5 Software Failure Modes and Effects Analysis (context) - Reifer - 1979
4 Defining Families: The Commonality Analysis - Weiss - 1997
3 Safety Checklist for FourVariable Requirements Methods - Guy - 1997
3 A Strategy for Identification and Development of Safety Crit.. (context) - Wunram - 1990
3 Analyzing Safety Requirements for Process-Control Systems (context) - de Lemos, Saeed et al. - 1995
2 Procedures for Performing a Failure Mode (context) - Standard - 1980
2 Safety Verification of Ada Programs Using Fault Tree Analysi.. (context) - Cha, Leveson et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.iastate.edu/~rlutz/): More
Targeting Safety-Related Errors During Software Requirements.. - Lutz (1996) (Correct)
Detecting Unsafe Error Recovery Schedules - Lutz, Wong (1996) (Correct)
Requirements Analysis Using Forward and Backward Search - Lutz, Woodhouse (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