IV&V Facility Research Program Results and SARP Results  

Advanced Search
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.


Automated Verification & Validation of Real-Time Systems Using Simulation
Point of Contact Dr. Joel Henry
henryj@cs.umt.edu
Dates January 2001 - December 2002
Problem Automated testing tools and measurement-based methodologies need to improve software quality, increase testing productivity, and enhance management insight into process and product risk. These needs must be met without investment in expensive hardware and achieved across multiple NASA projects.
Objective This project will provide a measurement-based verification methodology and test tool that supports assessment of: requirements compliance, standards conformance, and verification and validation completion. The methodology and testing tool will utilize si mulation to provide better testing, earlier in the life cycle,without the need for expensive hardware.
Results Completion of production version tool for non-parametric reliability.ZIP
Reports and Papers.zip
Keywords International Space Station, Matlab, MatrixX, MATT, measurement-based,verification methodology, methodology & testing tool, Real-Time Systems, software quality, verification methodology, wind tunnel
Categories Quality Assurance
Dynamic Analysis
Process Improvement
Test Analysis