Abstract
The permanently increasing performance of information and communication technologies enables the development and effective application of increasingly complex simulation models and their applications (M&S). As this trend will be an ongoing one, the demand for controlling and demonstrating the quality of a model and its applications by introducing adequate quality measures, techniques, and tools is obvious. Consequently, the introduction of accepted or even standardized verification and validation processes is an urgent requirement in this context. This paper will present an Extended M&S Verification and Validation (EV&V) framework based on multi-phase M&S-design, -development and –application processes. The basics of EV&V, related processes, and products will be discussed. In addition, we will show how this EV&V framework can be implemented and tailored according to predefined credibility or risk criteria, and under specified cost, time and application constraints.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balci, O.: Verification, Validation and Testing. In: Banks, J. (ed.) The Handbook of Simulation, ch. 10, John Wiley & Sons, Chichester (1998)
Balci, O.: Quality Assessment, Verification, and Validation of Modeling and Simulation Applications. In: Proceedings of the 2004 Winter Simulation Conference (2004)
Banks, J., Carson II, J., Nelson, B., Nicol, D.: Discrete-Event System Simulation, 4th edn. Pearson Education International (2005)
Brade, D.: Enhancing Modeling and Simulation Accreditation by Structuring Verification and Validation Results. In: Proceeding of the 2000 Winter Simulation Conference (2000)
Brade, D., Lehmann, A.: Model Validation and Verification. In: Modeling and Simulation Environment for Satellite and Terrestrial Communication Networks. In: Proceedings of the European COST Telecommunication Symposium, Kluwer Academic Publishers, Bosten, USA (2002)
Hoover, S., Perry, R.: Simulation: a problem-solving approach. Addison-Wesley Publishing Company, Reading (1989)
Kuhrmann, M., Niebuhr, D., Rausch, A.: Application of the V-Modell XT – Report from a Pilot Project. In: Li, M., Boehm, B., Osterweil, L. (eds.) Unifying the Software Process Spectrum, International Software Process Workshop, pp. 463–473. Springer, Heidelberg (2005)
Law, A., Kelton, W.: Simulation Modelling and Analysis, 2nd edn. McGraw-Hill, New York (1991)
Lehmann, A., Lüthi, J., Berchtold, C., Barde, D., Köster, A.: Zukunftsfelder der Modellbildung und Simulation. Abschlussbericht (in German). ITIS e.V. (2000)
Lehmann, A., Saad, S., Best, M., Köster, A., Pohl, S., Qian, J., Walder, C., Wang, Z., Xu, Z.: Leitfaden für Modelldokumentation. Abschlussbericht (in German). ITIS e.V. (2005)
Rabe, M., Spieckermann, S., Wenzel, S. (Hrsg.): Verifikation und Validierung für die Simulation in Produktion und Logistik (in German). Springer, Berlin (2007)
Spieckermann, A., Lehmann, A., Rabe, M.: Verifikation und Validierung: Überlegungen zu einer integrierten Vorgehensweise. In: Mertins, K., Rabe, M.(Hrsg.) Experiences from the Future (in German), Fraunhofer IRB, Stuttgart, pp. 263–274 (2004)
Shannon, R.: Systems Simulation: the Art and Science. Prentice-Hall, Englewood Cliffs (1975)
Shannon, R.: Introduction to the Art and Science of Simulation. In: Proceedings of the 1998 Winter Simulation Conference (1998)
The V-Modell XT Portal http://www.v-modell-xt.de
Wang, Z.: Eine Ergänzung des V-Modell XT zum Einsatz in Projekten der Modellbildung und Simulation. In: Beiträge der 35. Jahrestagung der Gesellschaft für Informatik (in German), GI-Edition. Lecture Notes in Informatics, Köllen Verlag, Bonn (2005)
Wang, Z., Lehmann, A.: Verification and Validation of Simulation Models and Application: A Methodological Approach. In: Ince, N., Bragg, A. (eds.) Recent Advances in Modeling and Simulation Tools for Communication Networks and Services, Springer, New York (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Z., Lehmann, A. (2007). A Framework for Verification and Validation of Simulation Models and Applications. In: Park, JW., Kim, T.G., Kim, YB. (eds) AsiaSim 2007. AsiaSim 2007. Communications in Computer and Information Science, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77600-0_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-77600-0_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77599-7
Online ISBN: 978-3-540-77600-0
eBook Packages: Computer ScienceComputer Science (R0)