IV&V Facility Research Program Results and SARP Results  

Advanced Search
Dynamic 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.
Dynamic Analysis (28)Methods and tools that advance the evaluation of software artifacts based on it behavior during execution.
Research Projects
A Spectrum of IV&V Modeling Techniques
Analysis and Test of Real-Time Linux Operating Systems
Application of SAE Architecture Analysis & Design Language to IV&V of NASA Flight Projects
Automated Testing & Quantitative Evaluation of Real-Time System Source Code
Automated Tool and Method for System Safety Analysis
Automated Verification & Validation of Real-Time Systems Using Simulation
Effective Life-Cycle IV&V of Auto-Generated Software
Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
FPGA Finite State Machine (FSM) Modeling and Analysis
Formal Methods Analysis Framework
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
Integrating Formal Methods and Testing
Interactive Software Fault Analysis Tool for Operational Anomaly Resolution
Model-Validation in Model-Based Development
Practical Model Checking to Enforce Domain Specific Interfaces
Program Model Checking Case Studies and Practitioner's Guide
Runtime Continuous Verification of an Onboard Planner
See More! Learn More! Tell More!
Sensitivity of Software Reliability to Operational Profile Errors
Software Engineering Research / Developer Collaborations
Tandem Experiments in Finding Faults During Model-Based Development
The Impact of Dynamic Metrics on Identification of the Failure Prone Parts of the Software
The Use of a Virtual System Simulator & Executable Specifications
Timing and Race Condition Verification of Real-time Systems
Using SW Eng. Methods and Techniques to Improve the Sim. Environment
Virtual Environment Simulator to Test Dynamically Executing Flight Software


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