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 (41)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
Bounds Computation for Adaptive Systems V&V
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
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
Infusion of Perspective-Based Inspection in NASA IV&V
Injecting Faults for Software Error Evaluation
Integrating Model Checking and Procedural Languages
Integrating Model-Based Software Assurance using AADL into System Development V&V Process
Integrating Software Into Probabilistic Risk Assessment
Model Checking of Artificial Intelligence Based Planners
Model-Based Software Assurance with the SAE Architecture Analysis & Design Language (AADL)
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
Supporting Model-Based Systems and Software Engineering with SpecTRM
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
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