Software V&V Support by Parametric Analysis of Large Software Simulation Systems

被引:0
|
作者
Schumann, Johann [1 ]
Gundy-Burlet, Karen [2 ]
Pasareanu, Corina [3 ]
Menzies, Tim [4 ]
Barrett, Anthony [5 ]
机构
[1] NASA Ames, RIACS, Ames, IA USA
[2] NASA Ames, Ames, IA USA
[3] NASA Ames, CMU, Ames, IA USA
[4] West Virginia Univ, Lane CS & EE, Morgantown, WV USA
[5] CALTECH, Jet Prop Lab, Pasadena, CA USA
来源
2009 IEEE AEROSPACE CONFERENCE, VOLS 1-7 | 2009年
关键词
TEST-GENERATION; DESIGN;
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
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.
引用
收藏
页码:3136 / +
页数:3
相关论文
共 50 条
  • [1] Autonomy software: V&V challenges and characteristics
    Schumann, Johann
    Visser, Willem
    2006 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2006, : 3107 - +
  • [2] The role of V&V in agile software processes
    Rahmanian, F
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 487 - 491
  • [3] Use of static analysis in the V&V process for critical embedded software
    Leydier, C
    DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 323 - 330
  • [4] Emerging technologies for V&V of ISHM software for space exploration
    Feather, Martin S.
    Markosian, Lawrence Z.
    2006 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2006, : 4204 - +
  • [5] Software V&V methods for digital plant protection system
    Kim, HJ
    Han, JB
    Chun, CS
    Kim, S
    Kim, KJ
    PROCEEDINGS OF THE INTERNATIONAL TOPICAL MEETING ON ADVANCED REACTORS SAFETY, VOLS 1 AND 2, 1997, : 796 - 801
  • [6] Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems
    Bauer, Thomas
    Herzner, Wolfgang
    Hruska, Bob
    Di Blasio, Katia
    Shahwar, Zain
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 239 - 242
  • [7] Planning for V&V of the Mars Science Laboratory rover software
    Feather, MS
    Fesq, LM
    Ingham, MD
    Klein, SL
    Nelson, SD
    2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 682 - 697
  • [8] Who Guards the Guardians? - Toward V&V of Health Management Software
    Schumann, Johann
    Srivastava, Ashok N.
    Mengshoel, Ole J.
    RUNTIME VERIFICATION, 2010, 6418 : 399 - +
  • [9] The software V&V tasks for a safety-critical software based protection system in nuclear power plants
    Cheon, S. W.
    Park, G. Y.
    Cha, K. H.
    Lee, J. S.
    Kwon, K. C.
    2005 IEEE International Conference on Industrial Technology - (ICIT), Vols 1 and 2, 2005, : 366 - 371
  • [10] A Study of Implementation V&V Activities for Safety Software in the Nuclear Power Plant
    Liang, Hui-hui
    Gu, Peng-fei
    Tang, Jian-zhong
    Chen, Wei-hua
    NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2017, 400 : 23 - 31