Software metrics in use at JPL applications and research
Explore the source record for details and available documents.
software metrics software measurement software ass↗
Engineering topics
Feather, M.
Publications and source records attributed to Feather, M..
Model-checking for validation of a fault protection system
Explore the source record for details and available documents.
message bus NASA↗
Risk reduction using DDP (Defect Detection and Prevention): software support for, and software applications of. [RE'01 research demonstration proposal abstract]
Explore the source record for details and available documents.
requirements elicitation estimation project planni↗
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support
Explore the source record for details and available documents.
Risk Management Requirements Elicitation Qualitati↗
Design and Development Assessment
An assessment methodology is described and illustrated.
assurance capability maturity model tradeoffs↗
Scalable Mechanisms for Requirements Interaction Management
Capturing requirements, and managing tradeoffs among them, are critical yet complex activities.
requirements↗
A Physics/Engineering of Failure Based Analysis and Tool for Quantifying Residual Risks in Spaceflight Hardware
NASA is supporting efforts to improve the verification and validation process and the risk management process for spaceflight projects.
Risk Evaluation physics engineering of failure↗
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft.
planning↗
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft.
planning↗
Automatic Generation of Test Oracles - From Pilot Studies to Application
We describe a progression from pilot studies to development and use of domain-specific verification and validation (V&V) automation. Our domain is the testing of an AI planning system that forms a key component of an autonomous spacecraft.
testing↗
Prototype Tool Support for SEI Process and Risk Knowledge
We have developed a prototype of tool support for risk assessment that uses selected components of the Software Engineering Institute (SEI) information, specifically: Capability Maturity Model (CMM) process activities, CMM process goals and the SEI taxonomy of software project risks.
risk management risk assessment SEI CMM software r↗
Leveraging Automation in the Testing of Autonomous Spacecraft Systems
Explore the source record for details and available documents.
testing planning verification validation autonomy↗
V & V of A Spacecrafts Autonomous Planner Through Extended Automation
We have introduced and used significant automation during the verification and validation (V & V) of a spacecraft's autonomous planner. This paper describes the problem we faced, the solution we employed, and the applicability of our approach in a general V & V setting.
planning↗
V&V of a Spacecraft's Autonomous Planner through Extended Automation
This abstract describes the problem we faced, the solution we employed, and the applicability of our approach in a general V&V setting.
Verification↗
Position Paper for WIFT98
Explore the source record for details and available documents.
Position Paper WIFT 1998 High Assurance fault prot↗