 |
||
|
Advanced Search |
||
|
|||||
|
Domain-Specific 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.
|
| Real-Time Embedded Software Verification and Validation | |
| Point of Contact |
Yann-Hang Lee yhlee@asu.edu |
| Dates | October 2000 - September 2002 |
| Problem | As the space applications become more complex and timing constraints on control actions are more stringent, the task of integrating and testing NASA's real-time systems (such as X-38 Crew Return Vehicle, and certain International Space Station autonomous systems) has become a great challenge. A testing environment where can preserve consistent temporal behaviors as in the target execution must be established for system-level verification and software quality assurance. |
| Objective | Our goal is to develop an analysis suite for validation and verification of real-time systems that are used to perform human-in-the-loop control operations during safety-critical missions. The suite will be able to carry out quantitative approaches of coverage diagnostic and temporal behavior evaluation in order to measure test coverage, to optimize test utilization, and to verify timing correctness. |
| Results |
Handbook Tutorial Porting Procedure & User Manual Draft.doc Tool Prototyping V&V RealTime Op.ZIP Tool Prototyping.zip Yann-Hang Lee Real Time SW V and V.ppt |
| Keywords | real-time systems, safety-critical missions, embedded systems, VxWorks, X-38, ISS |
| Categories |
Domain-Specific Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |