Access this article
Rent this article via DeepDyve
References
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
Acknowledgements
This work was supported by National Natural Science Foundation of China (Grant No. 61703015).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11432-018-9559-9