NDLI: An Approach to Modeling and Verifying Router-Based Network

Content Provider	IEEE Xplore Digital Library
Author	Dandan Sun Huaikou Miao Shengbo Chen Honghao Gao
Copyright Year	2012
Abstract	Network, such as Internet and Intranet, has penetrated into people's daily life. Router is one of the essential equipments which take an important role in the network and form a large and complicated network. However, huge amounts of routers in the network make the network communication and data routing more complex. How to insure the reach ability and correct communication of Internet is a challenge. In this paper, an approach is proposed to formally model and verify the router-based network. Then, we employ a transition system (denotes TS) to model the router-based network, and make use of the Bisimulation-Quotient Algorithms to obtain the bisimulation quotient of the finite transition system, denoted TS/~. It could be easy to verify properties on the system TS/~. Any verification result for TS/~ carries over to TS and this applies to any formula expressed in either LTL, CTL, or CTL*. This approach can facilitate verification since verification problems are particularly space-critical. Finally, some important properties of routing such as routing reach ability, routing path length, are verified.
Starting Page	283
Ending Page	288
File Size	1020890
Page Count	6
File Format	PDF
ISBN	9781467321204
DOI	10.1109/SNPD.2012.88
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-08-08
Publisher Place	Japan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	router Network topology Computational modeling bisimulation-quotient algorithms bisimulation-equivalent Abstracts Routing Routing protocols Partitioning algorithms transition system
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Parallel simulation of mesh routing algorithms

Energy-efficient interconnect via Router Parking

Modeling and Verifying Ad Hoc Routing Protocols

An approach to topology management in directional networks

An agent-based modeling approach of network migration to new technologies

Verification of diagnosability based on compositional branching bisimulation

Clustering network simulation: graph partitioning approach

Design and evaluation of virtual channel router for mesh-of-grid based NoC

A Routing Computation Strategy Based on Improved Clustering Algorithm

An Approach to Modeling and Verifying Router-Based Network

Similar Documents

Parallel simulation of mesh routing algorithms

Energy-efficient interconnect via Router Parking

Modeling and Verifying Ad Hoc Routing Protocols

An approach to topology management in directional networks

An agent-based modeling approach of network migration to new technologies

Verification of diagnosability based on compositional branching bisimulation

Clustering network simulation: graph partitioning approach

Design and evaluation of virtual channel router for mesh-of-grid based NoC

A Routing Computation Strategy Based on Improved Clustering Algorithm

An Approach to Modeling and Verifying Router-Based Network