OSPFv3 protocol simulation with colored Petri nets

Author

Wang, Junfeng ; Yang, Jianhua ; Xie, Gaogang ; Zhou, Mingtian

Author_Institution

Coll. of Comput. Sci. & Eng., China Univ. of Electr. Sci. & Technol., Chengdu, China

Volume

1

fYear

2003

Firstpage

247

Abstract

OSPF is the most popular interior gateway protocol proposed by IETF to distribute routing information among routers belonging to the same autonomous system. OSPF for IPv6, also referred to as OSPFv3, has been widely researched and implemented by many manufacturers in various devices such as routers and operation systems. Since IPv6 has been regarded as the kernel protocol of the next generation Internet, conformance of all OSPFv3 implementation with protocol specification is the premise to guarantee the interoperability between various routing devices. Protocol conformance test system (PCTS) is used for verifying whether the implementation under test (IUT) conforms to protocol specification. How to generate complete test cases is one of the most important issues in PCTS. In this paper, after analyzing the mechanism of OSPFv3, we use CPNs to model the main features of this complex protocol. The construction of this CPN model is presented, and the state space analysis is given based on the occurrence graph.

Keywords

Internet; Petri nets; routing protocols; state-space methods; IPv6; Internet; OSPFv3 protocol; colored Petri nets; interior gateway protocol; protocol conformance test system; state space analysis; Computational modeling; Computer science; Educational institutions; Internet; Kernel; Manufacturing; Network topology; Petri nets; Routing protocols; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Communication Technology Proceedings, 2003. ICCT 2003. International Conference on

Print_ISBN

7-5635-0686-1

Type

conf

DOI

10.1109/ICCT.2003.1209078

Filename

1209078