• DocumentCode
    3207171
  • Title

    Software V&V support by parametric analysis of large software simulation systems

  • Author

    Schumann, J. ; Gundy-Burlet, K. ; Pasareanu, C. ; Menzies, T. ; Barrett, A.

  • Author_Institution
    RIACS, NASA, Ames, IA
  • fYear
    2009
  • fDate
    7-14 March 2009
  • Firstpage
    1
  • Lastpage
    8
  • Abstract
    Modern aerospace software systems simulations usually contain many (dependent and independent) parameters. Due to the large parameter space, and the complex, highly coupled nonlinear nature of the different system components, analysis is complicated and time consuming. Thus, such systems are generally validated only in regions local to anticipated operating points rather than through characterization of the entire feasible operational envelope of the system. We have addressed the factors deterring such a comprehensive analysis with a tool to support parametric analysis and envelope assessment: a combination of advanced Monte Carlo generation with n-factor combinatorial parameter variations and model-based testcase generation is used to limit the number of cases without sacrificing important interactions in the parameter space. For the automatic analysis of the generated data we use unsupervised Bayesian clustering techniques (AutoBayes) and supervised learning of critical parameter ranges using the treatment learner TAR3. This unique combination of advanced machine learning technology enables a fast and powerful multivariate analysis that supports finding of root causes.
  • Keywords
    Bayes methods; Monte Carlo methods; aerospace computing; learning (artificial intelligence); pattern clustering; program verification; advanced Monte Carlo generation; advanced machine learning technology; aerospace software systems simulations; envelope assessment; model-based test case generation; n-factor combinatorial parameter variations; parametric analysis; software verification and validation support; supervised learning; unsupervised Bayesian clustering techniques; Aerospace simulation; Analytical models; Bayesian methods; Couplings; Independent component analysis; Monte Carlo methods; Software systems; Space technology; Supervised learning; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Aerospace conference, 2009 IEEE
  • Conference_Location
    Big Sky, MT
  • Print_ISBN
    978-1-4244-2621-8
  • Type

    conf

  • DOI
    10.1109/AERO.2009.4839618
  • Filename
    4839618