IV&V Facility Research Program Results and SARP Results  

Advanced Search
Traceability 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.
Traceability Analysis (17)Provide methods and tools that trace the software elements (system requirements to software requirements, software requirements to design, etc.) and analyze identified relationships for correctness, consistency, completeness and accuracy.
Research Projects
A Software Safety Certification Plug-in for Automated Code Generators
Center of Excellence for Traceability (or Traceability Consortium)
Completing the Loop: Linking Software Features to Failures
Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
Fault Tree Analysis Application for Safety and Reliability
Fault-Based Analysis: Improving IV&V Through Requirements Risk Reduction
IV&V Technique for Object Oriented Software Systems
Infuse Code Surfer into NASA Code S IV&V Process
Injecting Faults for Software Error Evaluation
Integrating Software Into Probabilistic Risk Assessment
Interactive Software Fault Analysis Tool for Operational Anomaly Resolution
Investigation of the Risk to Software Reliability of Requirements Changes
Requirements Decomposition Analysis
Robust Requirements Tracing via Internet Search Technology
Sensitivity of Software Reliability to Operational Profile Errors
Technology Infusion of SAVE into the Common Ground SW Dev. Process for NASA Missions at JHU/APL
Use of Information Retrieval & Data Mining Techniques for R.T. Matrix Evaluation


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