IV&V Facility Research Program Results and SARP Results  

Advanced Search
Requirements Analysis < Verification & Validation < Results Home

Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.
Requirements Analysis (31)Provide tools and methods to support the evaluation of the requirements for correctness, consistency, completeness, accuracy, readability and testability.
Research Projects
A Compositional Approach to Validation of Formal Models
Application of SCR to ISS Biological Research Project On-Orbit Crew Displays at ARC
Automated Testing & Quantitative Evaluation of Real-Time System Source Code
Bounds Computation for Adaptive Systems V&V
Completing the Loop: Linking Software Features to Failures
Contingency Software in Autonomous Systems
Developing Formal Correctness Properties from Natural Language Requirements
Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
Evaluation of Current Requirements Analysis (RA) Tools Capabilities for IVV in the RA Phase
Fault Tree Analysis Application for Safety and Reliability
Fault-Based Analysis: Improving IV&V Through Requirements Risk Reduction
Formal Methods for Systems and Software Specifications
IV&V Technique for Object Oriented Software Systems
Infusion of Perspective-Based Inspection in NASA IV&V
Infusion of Requirements Assistance into CEV IV&V Validation Activities
Investigation of the Risk to Software Reliability of Requirements Changes
Model Checking of Artificial Intelligence Based Planners
Programmable Logic Device IV&V Research
Proof of Concept Proposal for Automated Analysis Tool Utilization
Requirements Decomposition Analysis
Risk Assessment of Software Architectures
Robust Requirements Tracing via Internet Search Technology
See More! Learn More! Tell More!
Semantic Metrics for Object-Oriented Design
Software Requirements Analysis as Fault Predictor
State-of-the-Art Software Inspections and Reading at NASA
Supporting Model-Based Systems and Software Engineering with SpecTRM
Technology Transfer of Results in Contingency Software for Autonomous Systems
Transitioning from Software Requirements Models to Design Models
Using AADL to describe, validate, and verify system performance associated with the system in th
Validation of System Safety Using Bayesian Belief Networks


Curator: Josh Stonestreet
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices