IV&V Facility Research Program Results and SARP Results  

Advanced Search
Design 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.
Design Analysis (37)Provide tools and methods to support the evaluation of the design elements for correctness, consistency, completeness, accuracy, readability and testability.
Research Projects
A Compositional Approach to Validation of Formal Models
Achieving High Software Reliability
Adapting ODC for Empirical Evaluation of Pre-Launch Anomalies
An Extensible Environment for Verifying & Validating Object-Oriented SW
Application of SAE Architecture Analysis & Design Language to IV&V of NASA Flight Projects
Application of SCR to ISS Biological Research Project On-Orbit Crew Displays at ARC
Application of SpecTRM at JPL's Advanced Project Design Team (TeamX)
Architectural Analysis of Complex Evolving Systems of Systems
Automated Testing & Quantitative Evaluation of Real-Time System Source Code
Completing the Loop: Linking Software Features to Failures
Constraint Determination in Matlab_Simulink Models and Autogenerated Code
Contingency Software in Autonomous Systems
Developing Formal Correctness Properties from Natural Language Requirements
Effective Life-Cycle IV&V of Auto-Generated Software
Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
Fault Tree Analysis Application for Safety and Reliability
Full Life-Cycle Defect Management Assessment
IV&V Technique for Object Oriented Software Systems
IV&V of UML: Risk Assessment of Dynamic Specifications
Improving IV&V Techniques Through the Analysis of Anomalies
Injecting Faults for Software Error Evaluation
Integrating Model Checking and Procedural Languages
Integrating Software Into Probabilistic Risk Assessment
Model Checking of Artificial Intelligence Based Planners
Model-Validation in Model-Based Development
Programmable Logic Device IV&V Research
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
State-of-the-Art Software Inspections and Reading at NASA
Tandem Experiments in Finding Faults During Model-Based Development
Technology Infusion of SAVE into the Common Ground SW Dev. Process for NASA Missions at JHU/APL
Technology Transfer of Results in Contingency Software for Autonomous Systems
Transitioning from Software Requirements Models to Design Models
Validation of System Safety Using Bayesian Belief Networks


Curator: Jitesh Gandhi - ProLogic, Inc.
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices