This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
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
National Aeronautics and Space Administration. Standard for models and simulations. NASA-STD-7009, 2016
Babuska I, Oden J T. Verification and validation in computational engineering and science: basic concepts. Comput Method Appl Mech Eng, 2004, 193: 4057–4066
Berard B, Bidoit M, Finkel A, et al. Systems and Software Verification: Model-Checking Techniques and Tools. Berlin: Springer, 2013
Tantithamthavorn C, McIntosh S, Hassan A E, et al. An empirical comparison of model validation techniques for defect prediction models. IEEE Trans Softw Eng, 2017, 43: 1–18
Liu H, Zhang J. High dynamic adaptive mobility network model and performance analysis. Sci China Ser F-Inf Sci, 2008, 51: 1154–1166
Li B H, Song X, Zhang L, et al. CoSMSOL: complex system modeling, simulation and optimization language. Int J Model Simul Sci Comput, 2017, 08: 1741002
Ao D, Hu Z, Mahadevan S. Dynamics model validation using time-domain metrics. J Verif Valid Uncert, 2017, 2: 011004
Wu Y X, Shen C, Jiang H, et al. Strict pattern matching under non-overlapping condition. Sci China Inf Sci, 2017, 60: 012101
This work was supported by National Natural Science Foundation of China (Grant No. 61703015).
About this article
Cite this article
Laili, Y., Zhang, L. & Luo, Y. Pattern-based validation metric for simulation models. Sci. China Inf. Sci. 63, 159203 (2020). https://doi.org/10.1007/s11432-018-9559-9