IV&V Facility Research Program Results and SARP Results  

Advanced Search
Interface 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.
Interface Analysis (13)Provide tools and methods that verify and validate software interfaces with hardware, user, operator and other systems are correct, consistent, complete, accurate and testable.
Research Projects
Achieving High Software Reliability
Adapting ODC for Empirical Evaluation of Pre-Launch Anomalies
Analysis and Test of Real-Time Linux Operating Systems
Application of SAE Architecture Analysis & Design Language to IV&V of NASA Flight Projects
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
Interface Validation for Distributed Software Systems
Model-Validation in Model-Based Development
Practical Model Checking to Enforce Domain Specific Interfaces
Software Interface Analysis Tool (SIAT) C/C++
Tandem Experiments in Finding Faults During Model-Based Development


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