IV&V Facility Research Program Results and SARP Results  

Advanced Search
Dynamic 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.
Automated Tool and Method for System Safety Analysis
Point of Contact Jane Malin
jane.t.malin@nasa.gov
Dates January 2007 - December 2009
Problem There is no unified, systematic, automated approach within NASA for verifying system requirements, and identifying failures and hazards to which the controlling flight software (FSW) must be designed to react. Further, NASA projects do not consistently employ uniform methods of gleaning information contained within requirements specifications, for use in developing hazard analysis. This produces inconsistent quality from one project to the next, increases opportunity for requirements-induced errors and hazards to propagate to subsequent development phases, and consumes excessive amounts of time in reanalyzing modified or added requirements as projects progress. Building upon previous work, we will develop and demonstrate a partially automated method of extracting system components, paths, hazards, failures, and mitigations from text-based requirements, that will improve the efficiency, repeatability of system failure and hazard identification.
Objective Provide a partially automated method and tools to 1)extract system model parts (components, paths, hazards, failures, and mitigations) from text-based requirements; 2) derive architecture models; 3) to perform graph analysis and simulation to characterize scenarios with integrated system risks to software. These tools will improve the efficiency and repeatability of system failure and hazard identification, and provide better early analysis for generating integration tests.
  • Goal 1: By March 2008 - Extract information from CEV sources that supports semi-automated system model construction.
  • Goal 2: By June 2008 - Perform graph analysis of failure and hazard propagation in the CEV model
  • Goal 3: By December 2007 - Concept of operations for SMA use of tool suite
  • Goal 4: By September 2008 - Acceptable output for test case generation
  • Goal 5: By December 2008 - User interface prototyping complete
  • Goal 6: By Mar 2009 - Graph analysis of new CEV case by SMA
  • Goal 7: By June 2009 - All phases of method used on CEV case
  • Goal 8: By Sep 2009 - Complete enhanced version of integrated tool suite
  • Goal 9: By Dec 2009 - Evaluation and documentation complete
    • Results SAS_07_ExecPres_Auto_SysSafety_Anal_Malin.zip
    SAS_07_TechPres_Auto_SysSafety_Malin_v2.ppt
    Info Extraction for System Software Safety Analysis (CY2007 Year End Report).doc
    Aerospace_Ontology_of_Functions_Entities_Probs.pdf
    Keywords simulation, graph analysis, graph analysis, interoperation, requirements extraction, taxonomy, ontology, V&V, autonomous system, testing, software, assurance, validation, hazard analysis
    Categories Software Safety
    Dynamic Analysis


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