• DocumentCode
    2791297
  • Title

    J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols

  • Author

    Sobeih, Ahmed ; Viswanathan, Mahesh ; Marinov, Darko ; Hou, Jennifer C.

  • Author_Institution
    Dept. of Comput. Sci., Illinois Univ., Urbana, IL
  • fYear
    2007
  • fDate
    26-30 March 2007
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    In this paper, we report our work on extending the J-Sim network simulator to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we model-checked AODV in J-Sim.
  • Keywords
    digital simulation; formal verification; protocols; telecommunication computing; integrated environment; model checking; network protocols; network simulator; Buildings; Computational modeling; Computer simulation; Java; Performance analysis; Prototypes; Routing protocols; Safety; Software architecture; State-space methods;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International
  • Conference_Location
    Long Beach, CA
  • Print_ISBN
    1-4244-0910-1
  • Electronic_ISBN
    1-4244-0910-1
  • Type

    conf

  • DOI
    10.1109/IPDPS.2007.370519
  • Filename
    4228247
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2791297