A Model-Based V&V Test Strategy Based on Emerging System Modeling Techniques

被引:0
|
作者
Wang, Gan [1 ]
Pavalkis, Saulius [2 ]
机构
[1] BAE Systems McLean, VA, United States
[2] No Magic, Inc. Allen, TX, United States
关键词
1102.1 - 961 Systems Science;
D O I
10.1002/j.2334-5837.2019.00634.x
中图分类号
学科分类号
摘要
16
引用
收藏
页码:771 / 787
相关论文
共 50 条
  • [41] A New Impedance Model Based Optimal Strategy for Reactive power and NSC Compensation in Electrical Railway Power System with V/v Transformer
    Yang, Qianya
    Cao, Yijia
    Li, Yong
    Xie, Bin
    2017 IEEE TRANSPORTATION ELECTRIFICATION CONFERENCE AND EXPO, ASIA-PACIFIC (ITEC ASIA-PACIFIC), 2017, : 163 - 168
  • [42] A Model-based Approach for the Modeling and the Verification of Railway Signaling System
    Bougacha, Racem
    Wakrime, Abderrahim Ait
    Kallel, Slim
    Ben Ayed, Rahma
    Collart-Dutilleul, Simon
    PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 367 - 376
  • [43] General modeling for model-based FDD on building HVAC system
    Yu, B
    Van Paassen, DHC
    Riahy, S
    SIMULATION PRACTICE AND THEORY, 2002, 9 (6-8): : 387 - 397
  • [44] A statistical model-based V/UV decision under background noise environments
    Chang, Joon-Hyuk
    Kim, Nam Soo
    Mitra, Sanjit K.
    IEICE Transactions on Information and Systems, 2004, E87-D (12) : 2885 - 2887
  • [45] A statistical model-based V/UV decision under background noise environments
    Chang, JH
    Kim, NS
    Mitra, SK
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (12): : 2885 - 2887
  • [46] Symbolic Model-based Test Selection
    Jeron, Thierry
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 (0C) : 167 - 184
  • [47] A test theory of the model-based diagnosis
    Zhang, XueNong
    Jiang, YunFei
    Chen, AiXiang
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE, 2007, 4682 : 943 - 951
  • [48] Model-based acceptance test evaluation
    Pechtl, P
    Hartner, P
    Posch, M
    Petek, J
    MODELLING AND SIMULATION OF STEAM GENERATORS AND FIRING SYSTEMS, 2000, 1534 : 101 - 110
  • [49] Test Generation for Model-Based Diagnosis
    Provan, Gregory
    ECAI 2008, PROCEEDINGS, 2008, 178 : 199 - +
  • [50] Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review
    Tahir, Zaid
    Alexander, Rob
    2020 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST), 2020, : 23 - 30