Patterns of software defect data on spacecraft
Explore the source record for details and available documents.
defect analysis spacecraft↗
Engineering topics
Lutz, R.
Publications and source records attributed to Lutz, R..
Orthogonal defect classification for projects
Explore the source record for details and available documents.
defect analysis spacecraft↗
Requirements discovery during the testing of safety-critical software
This paper describes the role of requirements discovery during the testing of a safety-critical sofiware system.
requirements testing defect analysis spacecraft↗
Requirements discovery during the testing of safety-critical software
Explore the source record for details and available documents.
requirements testing software↗
How requirements knowledge grows in built systems
Explore the source record for details and available documents.
requirements testing operations defect analysis↗
Better analysis of defect data at NASA
Explore the source record for details and available documents.
anomalies↗
Formalized pilot study of safety-critical software anomalie
Explore the source record for details and available documents.
anomalies safety spacecraft defect analysis↗
Software metrics in use at JPL applications and research
Explore the source record for details and available documents.
software metrics software measurement software ass↗
Empirical analysis of safety - critical software anomalies post-launch
Explore the source record for details and available documents.
anomalies post-launch software safety↗
Analyzing post-launch anomalies at JPL
Explore the source record for details and available documents.
post-launch anomaly analysis↗
Formalized pilot study of safety-critical software anomalie
Explore the source record for details and available documents.
anomalies safety problem reporting pilot study↗
Evolution of safety-critical requirements post-launch
This paper reports the results of a small study of requirements changes to the onboard software of three spacecraft subsequent to launch. Only those requirement changes that resulted from post-launch anomalies (i.e., durring operations) were of interest here, since the goal was to better understand the relationship between critical anomolies during operations and how safety-critical requirements evolve.
requirements↗
A software fault tree approach to requirements analysis of an intrusion detection system
The use of software fault trees for requirements identification and analysis in an Intrusion Detection System (IDS) is described.
software fault tree intrusion detection mobile age↗
Adapting safety requirements analysis to intrusion detection
Several requirements analysis techniques widely used in safety-critical systems are being adapted to support the analysis of secure systems. Perhaps the most relevant system safety techique for Intrusion Detection Systems is hazard analysis.
requirements analysis safety intrusion detection↗
An Approach to Architectural Analysis of Product Lines
This paper addresses the issue of how to perform architectural analysis on an existing product line architecture.
software↗
Software Engineering for Safety: A Roadmap
This report describes the current state in software engineering for safety and proposes some directions for needed work in the area that appears to be achievable in the near future.
Software engineering safety↗
Experience Report Summary: Applying Adaptive Safety Analysis Techniques
Current needs for high-reliability, reusable software; rapid, evolutionary development; and verification of innovative software architectures have focused attention on improving techniques for analyzing the safety and reliability of embedded software.
software safety FMEA↗
Issues in Software Engineering for Survivable Systems
Explore the source record for details and available documents.
survivable systems safety-critical software engine↗