• 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