SCIENCE CHINA Information Sciences, Volume 63 , Issue 5 : 159203(2020) https://doi.org/10.1007/s11432-018-9559-9

Pattern-based validation metric for simulation models

More info
  • ReceivedApr 12, 2018
  • AcceptedJun 29, 2018
  • PublishedSep 27, 2019


There is no abstract available for this article.


This work was supported by National Natural Science Foundation of China (Grant No. 61703015).


[1] Mehta U B, Eklund D R, Romero V J, et al. Simulation Credibility: Advances in Verification, Validation, and Uncertainty Quantification. NASA Technical Report, NASA/TP-2016-219422, JANNAF/GL-2016-0001, ARC-E-DAA-TN35719, 2016. Google Scholar

[2] National Aeronautics and Space Administration. Standard for Models and Simulations. NASA-STD-7009, 2016. Google Scholar

[3] Babuska I, Oden J T. Verification and validation in computational engineering and science: basic concepts. Comput Methods Appl Mech Eng, 2004, 193: 4057-4066 CrossRef ADS Google Scholar

[4] Berard B, Bidoit M, Finkel A, et al. Systems and Software Verification: Model-Checking Techniques and Tools. Berlin: Springer, 2013. Google Scholar

[5] Tantithamthavorn C, McIntosh S, Hassan A E. An Empirical Comparison of Model Validation Techniques for Defect Prediction Models. IIEEE Trans Software Eng, 2017, 43: 1-18 CrossRef Google Scholar

[6] Liu H, Zhang J. High dynamic adaptive mobility network model and performance analysis. Sci China Ser F-Inf Sci, 2008, 51: 1154-1166 CrossRef Google Scholar

[7] Li B H, Song X, Zhang L. CoSMSOL: Complex system modeling, simulation and optimization language. Int J Model Simul Sci Comput, 2017, 08: 1741002 CrossRef Google Scholar

[8] Ao D, Hu Z, Mahadevan S. Dynamics Model Validation Using Time-Domain Metrics. J Verif Valid Uncert, 2017, 2: 011004 CrossRef Google Scholar

[9] Wu Y, Shen C, Jiang H. Strict pattern matching under non-overlapping condition. Sci China Inf Sci, 2017, 60: 012101 CrossRef Google Scholar