Network protocol modeling: A Time Petri Net modular approach

Communication services are surrounding our daily life; internet, mail, cellular phones... These services are managed by several protocols. In this paper we propose a generic model for the Ethernet protocol based on time Petri nets. A complete modular service-protocol model can help in better managing services and protocols and to easily change a system element without affecting the other elements. Also it can help us to study different properties of the system such as performance, functionality, validation and any qualitative or quantitative property.

[1]  Manfred Broy,et al.  From "Formal Methods" to System Modeling , 2007, Formal Methods and Hybrid Real-Time Systems.

[2]  François Vernadat,et al.  Model Checking Bounded Prioritized Time Petri Nets , 2007, ATVA.

[3]  Enrico Vicario,et al.  Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets , 2005, IEEE Transactions on Software Engineering.

[4]  Naveen Prakash,et al.  On generic method models , 2006, Requirements Engineering.

[5]  Ieee Standards Board.  Fiber optic active and passive star-based segments, type 10BASE-F (section 15-18) : IEEE standards for local and metropolitan area networks : supplement to carrier sense multiple access with collision detection (CSMA/CD) access method and physical layer specifications , 1993 .

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Kurt Jensen,et al.  A Brief Introduction to Coloured Petri Nets , 1997, TACAS.

[8]  Boudewijn R. Haverkort,et al.  Sequential and distributed model checking of Petri nets , 2005, International Journal on Software Tools for Technology Transfer.

[9]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[10]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[11]  Xavier Franch,et al.  A Goal-Oriented Strategy for Supporting Commercial Off-the-Shelf Components Selection , 2006, ICSR.