A new procedure model for verification and validation in production and logistics simulation

Proceedings - Winter Simulation Conference

Volumn , Issue , 2008, Pages 1717-1726

  Rabe, Markus ^a   Spieckermann, Sven ^b   Wenzel, Sigrid ^c  

^a FRAUNHOFER INSTITUTE FOR PRODUCTION SYSTEMS AND DESIGN TECHNOLOGY IPK   (Germany)

^b SimPlan AG   (Germany)

^c UNIVERSITY OF KASSEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DEFENCE APPLICATIONS; LOGISTICS SYSTEMS; PROCEDURAL STEPS; SIMULATION MODELS; SIMULATION RESULTS; SIMULATION STUDIES; VERIFICATION AND VALIDATIONS; WORKING GROUPS;

LOGISTICS;

EID: 60749115873     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2008.4736258     Document Type: Conference Paper

References (27)

1. Balci, O, 1994. Validation, verification, and testing techniques throughout the life cycle of a simulation study. In Proceedings of the 1994 Winter Simulation Conference, ed. J. D. Tew, S. Manivannan, D. A. Sadowski, and A. F. Seila, 215-220. Piscataway, New Jersey: IEEE.
2. Balci O. 1998. Verification, validation and testing. In Handbook of simulation, ed. J. Banks, 335-393. New York: John Wiley.
3. Balci, O. 1998a. Verification, validation, and accreditation. In Proceedings of the 1998 Winter Simulation Conference, ed. D. J. Medeiros, E. F. Watson, J. S. Carson, and M. S. Manivannan, 41-48. Piscataway, New Jersey: IEEE.
4. Balci, O., W. F. Ormsby, J. T. Carr III., and S. D. Saadi 2000. Planning for verification, validation, and accreditation of modeling and simulation applications. In Proceedings of the 2000 Winter Simulation Conference, ed. J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, 829-839. Piscataway, New Jersey: IEEE.
5. Balci O, R. E. Nance, J. D. Arthur, and W. F. Ormsby 2002. Expanding our horizons in verification, validation, and accreditation research and practice. In Proceedings of the 2002 Winter Simulation Conference, ed. E. Yücesan, C.-H. Chen, J. L. Snowdon, and J. M. Charnes, 653-663. Piscataway, New Jersey: IEEE.
6. Balci, O. 2003. Validation, verification, and certification of modeling and simulation applications. In Proceedings of the 2003 Winter Simulation Conference, ed. S. Chick, P. J. Sanchez, E. Ferrin, and D. J. Morrice, 150-158. Piscataway, New Jersey: IEEE.
7. Banks, J., D. Gerstein, and S. P. Searles 1988. Modeling processes, validation, and verification of complex simulations: A survey. Methodology and validation 1:13-18.
8. Banks J, J. Carson II., B. Nelson, and D. Nicol 2005. Discrete-event system simulation. 4th ed. Upper Saddle River: Prentice-Hall.
9. Bel Haj Saad S, M. Best, A. Köster, A. Lehmann, S. Pohl, J. Qian, C. Waldner, Z. Wang, and Z. Xu 2005. Leitfaden für Modelldokumentatìon. Final report Studienkennziffer 129902114X. Neubiberg: Institut fur Technik Intelligenter Systeme ITIS.
10. Benington, H. D. 1956. Production of large computer programs. In Proceedings ONR Symposium on Advanced Programming Method for Digital Computers, reprinted in IEEE Annals of the History of Computing 1983, 5:350-361
11. Boehm, B. 1979. Guidelines for verifying and validating software requirements and design specifications. In Proceedings Euro IFIP'79, ed. P. A. Samet, 711-719. Amsterdam: North-Holland.
12. Brade, D. 2003. A generalized process for the verification and validation of models and simulation results. Dissertation, Neubiberg: Universität der Bundeswehr.
13. Carson, J.S. II. 1989. Verification and validation: A consultant's perspective. In Proceedings of the 1989 Winter Simulation Conference, ed. E. A. MacNair, K. J. Musselman, and P.Heidelberger, 552-558. Piscataway, New Jersey: IEEE.
14. Conwell, C. L., R. Enright, and M. A. Stutzman 2000. Capability maturity models support of modeling and simulation verification, validation, and accreditation. In Proceedings of the 2000 Winter Simulation Conference, ed. J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, 819-828. Piscataway, New Jersey: IEEE.
15. Davis, P. K. 1992. Generalizing concepts and methods of verification, validation, and accreditation (W&A) for military simulations. Santa Monica: RAND.
16. Gass, S. 1977. Evaluation of complex models. Computers & Operations Research 1:27-35.
17. Hoover, S., and R. Perry 1990. Simulation: A problemsolving approach. Reading: Addison-Wesley.
18. Kleijnen, J.P.C. 1995. Verification and validation of simulation models. European Journal of Operational Research 1:145-162.
19. Landry, M., and M. Oral (eds) 1993. Special issue on model validation. European Journal of Operational Research 2:161-258.
20. Law, A. M. 2007. Simulation Modeling and Analysis. 4th ed. Boston: McGraw-Hill.
21. Naylor, T. H., and J. M. Finger 1967. Verification of computer simulation models. Management Science 2:B-92-B-101
22. Pohl, S., S. Bel Haj Saad, M. Best, D. Brade, M. Hofmann, T. Kiesling, T. Krieger, A. Köster, J. Qian, C. Waldner, Z. Wang, Z. Xu, and A. Lehmann 2005. Verifizierung, Validierung und Akkreditierung von Modellen, Simulationen und Förderationen. Final report Studienkennziffer E/F11S/ 2A280/ T5228. Neubiberg: Institut für Technik Intelligenter Systeme IT1S.
23. Rabe, M., S. Spieckermann, and S. Wenzel 2008. Verifikation und Validierung fur die Simulation in Produktion und Logistik-Vorgehensmodelle und Techniken. Berlin: Springer.
24. Sargent, R. G. 1982. Verification and validation of simulation models. In Progress in Modelling and Simulation, ed. F. E. Cellier, 159-169. London: Academic Press.
25. Sargent R. G. 1996. Verifying and validating simulation models. In Proceedings of the 1996 Winter Simulation Conference, ed. J. M. Charnes, D. J. Morrice, D. T. Brunner, and J. J. Swain, 55-64. Piscataway, New Jersey: IEEE.
26. USGAO 1979. Guidelines for model evaluation. PAD-79-17. Washington D.C.: U.S. General Accounting Office.
27. VDI 2008. Richtlinie 3633 Blatt 1 " Simulation von Logistik-, Materialfluss-und Produktionssystemen". Berlin: Beuth.