IV&V Facility Research Program Results and SARP Results  

Advanced Search
Software Architecture Assessment < 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.
Software Architecture Assessment (15)Provide tools and methods that assess the proposed architectural schema for feasibility as well as how the proposed architecture satisfies the needs of the system.
Research Projects
An Extensible Environment for Verifying & Validating Object-Oriented SW
Analysis and Test of Real-Time Linux Operating Systems
Application of SAE Architecture Analysis & Design Language to IV&V of NASA Flight Projects
Architectural Analysis of Complex Evolving Systems of Systems
Architectural Level Software Metrics
Bounds Computation for Adaptive Systems V&V
Fault Tree Analysis Application for Safety and Reliability
Fault-Based Analysis: Improving IV&V Through Requirements Risk Reduction
IV&V of UML: Risk Assessment of Dynamic Specifications
Integrating Model-Based Software Assurance using AADL into System Development V&V Process
Model-Based Software Assurance with the SAE Architecture Analysis & Design Language (AADL)
Risk Assessment of Software Architectures
Technology Infusion of SAVE into the Common Ground SW Dev. Process for NASA Missions at JHU/APL
Toward More Realistic Software Reliability Predictions
Using AADL to describe, validate, and verify system performance associated with the system in th


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