Verification And Validation Of The Devs Models

Zengin, Ahmet and Köklükaya, Etem and Ekiz, Hüseyin (2010) Verification And Validation Of The Devs Models. In: 2nd International Symposium on Sustainable Development, June 8-9 2010, Sarajevo.

[img]
Preview
Text
issd2010_science_book_p425-p433.pdf

*- Download (332kB) | Preview

Abstract

Simulation remains attractive for teaching, training and performance analysis of computer networks. This paper presents a robust simulation environment targeted for teaching and learning the complex dynamics of computer networks. The general-purpose DEVS-Suite simulator supports animation with I/O and state trajectories of computer network models developed using parallel DEVS modeling approach. The simulator offers high-level model abstraction as compared with simulators such as ns-2. The combined capabilities afforded by the robust DEVS-Suite simulator assists in understanding the fundamentals of computer network topologies and the logics of communication protocols. This newly developed DEVSSuite offers an expressive, yet relatively simple to use, simulation environment for students and educators to develop and experiment with computer network models. The paper concludes with observations on the proposed modeling approach and outline some evaluations. In this paper we discuss verification and validation of DEVS simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate verification and validation to the model development process are presented; various validation techniques are defined; conceptual model validity, model verification, operational validity, and data validity are discussed; a way to document results is given; a recommended procedure for model validation is presented; and model accreditation is briefly discussed.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: DEVS, DEVS-Suite, Computer Networks, Education, OSPF, ns-2.
Subjects: Q Science > Q Science (General)
Depositing User: Mr. Ibrahim Kinal
Date Deposited: 08 Feb 2012 08:50
Last Modified: 24 Feb 2012 14:32
URI: http://eprints.ibu.edu.ba/id/eprint/539

Actions (login required)

View Item View Item