IV&V Facility Research Program Results and SARP Results  

Advanced Search
Software Safety < 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 Safety (19)Systematic approaches for the identification, analysis, tracking, mitigating and controlling of software hazards.
Research Projects
A Software Safety Certification Plug-in for Automated Code Generators
Assurance and Recertification of Safety-Critical Software in Legacy Systems
Automated Tool and Method for System Safety Analysis
Bayesian Verification & Validation Tools for Adaptive Systems
Bounds Computation for Adaptive Systems V&V
Contingency Software in Autonomous Systems
Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
Formal Approaches to Swarm Technologies
Formal Methods Analysis Framework
IV&V Technique for Object Oriented Software Systems
Lyapunov Stability Analysis and On-Line Monitoring
NASA Software Safety Risk Metrics Initiative
Optimizing IV&V Benefits Using Simulation
Software Engineering Research / Developer Collaborations
Software Safety Assurance of Programmable Logic
Technology Transfer of Results in Contingency Software for Autonomous Systems
Testing Framework for Reproducible Execution & Race Condition Detection in Real-time Sys
Testing for Software Safety
Verification and Validation of Adaptive Systems


Curator: Josh Stonestreet
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices