IV&V Facility Research Program Results and SARP Results  

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.
A Spectrum of IV&V Modeling Techniques
Point of Contact Dr. Mats Heimdahl
heimdahl@cs.umn.edu
Dates October 2001 - September 2003
Problem The aerospace industry in general and NASA in particular is using more (semi-formal or formal) model-based software development. Model-based development produces a collection of artifacts, for example, state diagrams, module diagrams (such as class diagr ams), control-block diagrams, etc. These artifacts may then be used as a basis for auto code generation for production use. Therefore, these models must be properly evaluated in the IV&V process. IV&V practitioners know how to assess standard procedural systems. But what can we do about IV&V of model-based systems?
Objective

The goal of the work outlined in this proposal is to use cost effective automated techniques to the largest extent possible during the IV&V process. Our working hypotheses are:

  • There exists a range of validation techniques that can assess models built using a range of modeling techniques of increasing cost and complexity. Specifically, we hypothesize that the ?cheaper? techniques can find faults cheaply and early in a proje ct. These early results are then used to predict if this is a problem system and if a more elaborate and expensive IV&V effort is justified.
  • There exists a set of migration procedures that let us seamlessly move from simple models using cheaper techniques into more elaborate models suitable for a more expensive and detailed analysis.
  • We further hypothesize that this migration process is much cheaper than simply remodeling the system under investigation from scratch when moving to models needed for the more detailed and expensive IV&V assessments.
    		•
    Results A Spectrum of IV&V Modeling Techniques - Definition of Metrics-Collection Methods.pdf
    A Spectrum of IV&V Modeling Techniques Case Study.ppt
    Adapt the Suite of 6 Flight Guidance Models.pdf
    Implementation of Metrics Collection Tool.pdf
    Model Mutator (Error Injector) Software Delivery and Report.pdf
    Report on Finding NASA Case Studies.ppt
    Report to IV&V Facility.ppt
    SAS 2003 Presentation.ppt
    Selection of Case Study.pdf
    Training & Information Session.pdf
    Training Session LURCH.ppt
    A Spectrum of IV&V Modeling Techniques - Assessment of Potential Case Studies.pdf
    A Spectrum of IV&V Modeling Techniques - Collection of Case Study Material.pdf
    A Spectrum of IV&V Modeling Techniques - Definition of Error-Seeding Methods for Modeling Languages.pdf
    A Spectrum of IV&V Modeling Techniques - Definition of Validation Methods for Modeling Languages.pdf
    Final Report.pdf
    Keywords modeling techniques, model based software, model migration, software development
    Categories Domain-Specific Analysis
    Dynamic Analysis
    Formal Methods


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