IV&V Facility Research Program Results and SARP Results  

Advanced Search
Domain-Specific 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.
Domain-Specific Analysis (46)Methods and tools that advance the analysis of specific software domains or tools that are used during development (e.g. FPGA, Model-Based development).
Research Projects
A Compositional Approach to Validation of Formal Models
A Software Safety Certification Plug-in for Automated Code Generators
A Spectrum of IV&V Modeling Techniques
Advanced Risk Reduction Tool (ARRT)
Analysis and Test of Real-Time Linux Operating Systems
Analysis of Defect Data and Defect Detectors
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
Automated Systems Test and Operations Language (STOL) Analysis Tool
Bayesian Verification & Validation Tools for Adaptive Systems
Constraint Determination in Matlab_Simulink Models and Autogenerated Code
Contingency Software in Autonomous Systems
Development of Methodologies for IV&V Neural Networks
Documenting Failures of MATLAB/Simulink Code Generator
Effective Life-Cycle IV&V of Auto-Generated Software
FPGA Finite State Machine (FSM) Modeling and Analysis
Formal Methods Analysis Framework
Fractal Analysis of Resource Exhaustion in Real Time Operating Systems
Implementing MARTHA: A Next-Generation Testable Language
Improving IV&V Techniques Through the Analysis of Anomalies
Infuse Code Surfer into NASA Code S IV&V Process
Infusion of Requirements Assistance into CEV IV&V Validation Activities
Integrating Model Checking and Procedural Languages
Interface Validation for Distributed Software Systems
Lyapunov Stability Analysis and On-Line Monitoring
Mitigating the Risk of Legacy Software on NASA Spacecraft
Model-Validation in Model-Based Development
Performability of Web Based Applications
Programmable Logic Device IV&V Research
Real-Time Embedded Software Verification and Validation
Reducing Software Security Risk Through an Integrated Approach
Research and Development of Deployable IV&V Methods for FPGA Applications
Robust Requirements Tracing via Internet Search Technology
Runtime Continuous Verification of an Onboard Planner
Semantic Metrics for Object-Oriented Design
Software Assurance of Web Based Applications
Software Safety Assurance of Programmable Logic
Static Analysis of Software for Autonomous Spacecrafts
Tandem Experiments in Finding Faults During Model-Based Development
Technology Transfer of Results in Contingency Software for Autonomous Systems
Test Coverage Analysis - A Tandem Experiment Using Available Prototypes
Timing and Race Condition Verification of Real-time Systems
Transitioning from Software Requirements Models to Design Models
Validation of System Safety Using Bayesian Belief Networks
Verification and Validation of Adaptive Systems
Virtual Environment Simulator to Test Dynamically Executing Flight Software


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