IV&V Facility Research Program Results and SARP Results  

Advanced Search
Software Reliability < 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.
Software Reliability (24)<li>Methods for assuring that systems are fault tolerant when software fails.</li><li>Methods for assuring that measures and the analysis of defects satisfy software reliability requirements.</li>
Research Projects
A Feasibility Study for Static Analysis of Binary Executables
Achieving High Software Reliability
Application of SAE Architecture Analysis & Design Language to IV&V of NASA Flight Projects
Bayesian Verification & Validation Tools for Adaptive Systems
Contingency Software in Autonomous Systems
Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
Investigation of the Risk to Software Reliability of Requirements Changes
Lyapunov Stability Analysis and On-Line Monitoring
Measuring Confidence in IV&V Products
Model-Validation in Model-Based Development
Non-Parametric Software Reliability
Performability of Web Based Applications
Revealing Relationships Between SW Faults & Failures & Their Effect on SW Reliability Assessment
Risk Assessment of Software Architectures
Sensitivity Analysis of Reliability for Structure-Based Software via Simulation
Sensitivity of Software Reliability to Operational Profile Errors
Study of Real-Time Operating System Reliability
System and Software Reliability
Tandem Experiments in Finding Faults During Model-Based Development
Technology Infusion of Source Code Analysis & Error Checking into M.P. & Exec. SW Tools at JPL
Technology Transfer of Results in Contingency Software for Autonomous Systems
Test Coverage Analysis - A Tandem Experiment Using Available Prototypes
Toward More Realistic Software Reliability Predictions
Verification and Validation of Adaptive Systems


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