IV&V Facility Research Program Results and SARP Results  

Advanced Search
Criticality 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.
Technology Transfer of Results in Contingency Software for Autonomous Systems
Point of Contact Robyn Lutz
rlutz@cs.iastate.edu
Dates January 2004 - July 2008
Problem This proposal is for one year of additional funding to perform technology transfer activities related to the current collaborative JPL/ARC SARP CI, "Contingency Software in Autonomous Systems" (CSAS). The extra year of funding will enable us to complete the documentation and application of the tool-supported contingency identification/mitigation/verification process we?ve developed to the software associated with load-balancing and power-charging on two NASA projects. The deliverables will be cleaned-up examples of CSAS applied to software control and load-balancing on NASA power systems. The deliverables will be suitable for training purposes and will be made publicly available.
Objective We propose to expand our collaboration with ADAPT, the Advanced Diagnostics and Prognostics Testbed (ADAPT) at the NASA Ames Research Center, to evaluate the readiness for transfer of our contingency process to this and other projects and to assemble an end-to-end case study that we can abstract for training purposes on other NASA projects. ADAPT is a testbed modeled on the exploration vehicle's Electrical Power System (EPS) and built using COTS components. Contingency analysis on ADAPT will include evaluation of monitorability (what can be known given existing sensor data) and controllability (what recovery actions can be undertaken and what the side effects of these actions may be).

We have a good working relationship with the ADAPT project (a letter of concurrence from Scott Poll, the ADAPT Manager, is attached below) and good access to simulation data and the ADAPT testbed.

Achievement of the following objectives will provide a measure of the success of this proposal:

  • Deliver Report on Researcher/Practitioner Collaborative CSAS Application to ADAPT.
  • Present Results of Researcher/Practitioner Collaborative CSAS Application to Power Subsystem at SAS'07.
  • Produce Sanitized Examples of CSAS Applications for Distribution and Use in Training.
  • Disseminate Lessons Learned from Tool-based Verification of Contingency Software.
    • Results Report on ResearcherPractitioner Collaborative CSAS Application to ADAPT.pdf
    SAS_07_Exec_Brief_Tech_Transfer_Lutz.ppt
    SAS_07_Tech_Pres_Tech_Transfer_Lutz.ppt
    SAS 2005 Executive Presentation - Contingency Software for Autonomous Systems.ppt
    Automated_Analysis_Example.ppt
    Final_Report.zip
    Keywords technology transfer, exemplar models, verifying fault visibility, autonomous systems, applied contingency software for power management
    Categories Quality Control
    Software Reliability
    Software Safety
    Criticality Analysis
    Design Analysis
    Domain-Specific Analysis
    Requirements Analysis
    Static Analysis


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