 |
||
|
Advanced Search |
||
|
|||||
|
Reuse 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.
|
| Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes | |
| Point of Contact |
Ted Bennett Ted.Bennett@Triakis.com |
| Dates | January 2004 - December 2006 |
| Problem | Reliance on analysis alone to evaluate the effect of failure modes un-testable in an integration lab setup will not fully ameliorate the added risks due to ever-increasing system complexities and the use of intelligent behavior in software designs. Few would argue that evaluating system behavior through dynamic testing in its native target environment is the best method of verification, however, this is almost always infeasible for NASA space hardware. We will simulate the NASA Mini-AERCam nanosatellite, running its unmodified software, in its orbital environment and demonstrate how a high-fidelity virtual environment simulation can be used for thorough empirical assessment of system and software behavior in response to a wide range of enhanced system and component failure conditions. |
| Objective |
By Jun 2004: Simulation of Mini-AERCam complete and running object software. By Oct 2004: Simulation of orbital environment with shuttle orbiter complete. VE failure mode and safety limits test plan complete. List of metrics to be gathered identified. By Mar 2005: Failure mode tests complete, report on Mini-AERCam results delivered. By Sep 2005: ES-level simulation of OSP avionics in development. By Mar 2006: ES-level OSP avionics subsystem simulation complete. OSP environment simulation in development. Avionics DE-level simulation in development. Metrics identified. By Dec 2006: OSP failure modes testing complete. Report on OSP results delivered. |
| Results |
SAS 06 Executive Presentation.ppt SAS 04 Project Presentation.zip SAS 06 Technical Presentation.ppt SAS 05 Executive Presentation.ppt SAS 05 Technical Presentation.ppt Mini AERCam Demo.zip Mini-AERCam VSIL Demo and User Guide.zip CI2004-77 Ph I Final Report.pdf |
| Keywords | simulation, virtual environment, V&V, autonomous system, testing, software, assurance, verification |
| Categories |
Software Reliability Software Safety Code Analysis Design Analysis Dynamic Analysis Interface Analysis Requirements Analysis Reuse Analysis Traceability Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |