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 :
بازگشت