DocumentCode
499172
Title
Assessing the impact of a modeling tool and its support for verification and validation
Author
Gibbs, Jonathan D. ; Sarjoughian, Hessam S.
Author_Institution
Comput. Sci. & Eng. Dept., Arizona State Univ., Tempe, AZ, USA
Volume
41
fYear
2009
fDate
13-16 July 2009
Firstpage
73
Lastpage
80
Abstract
Domain-specific tools for modeling and simulation (M&S) of computer network systems are aimed at simplifying the tasks of model developers and simulationists. In determining the extent to which a particular domain-specific M&S tool fits their needs, the developers must consider both how the tool can assist in the model development process, and how the tool may prevent or hinder them from achieving their objectives. We have considered two M&S tools in the domain of computer networks, IT Guru and the INET framework, and some of the ways in which they affect various aspects of simulation model development, with emphasis on the verification and validation (V&V) process as applied to net-centric enterprise systems. We have developed a metric for evaluating a domain-specific M&S tool based on certain qualitative characteristics. We will demonstrate how this metric can be applied to evaluate IT Guru and INET, and also offer some observations on how the metric can be applied to other domains besides computer networking.
Keywords
computer networks; formal verification; INET framework; IT Guru; computer network system; domain-specific modeling tool; domain-specific simulation tool; formal validation; formal verification; model development process; net-centric enterprise system; Access protocols; Collaborative software; Computational modeling; Computer networks; Computer science; Computer simulation; Hardware; Knowledge engineering; Logic; Software testing; Net-Centric Enterprise Systems; OMNET++; OPNET; independent verification and validation; modeling;
fLanguage
English
Publisher
ieee
Conference_Titel
Performance Evaluation of Computer & Telecommunication Systems, 2009. SPECTS 2009. International Symposium on
Conference_Location
Istanbul
Print_ISBN
978-1-4244-4165-5
Electronic_ISBN
978-1-56555-328-6
Type
conf
Filename
5224143
Link To Document