Modeling soft state protocols with SDL

Authors:
Xiaoming Fu;Dieter Hogrefe
Affiliations:
Telematics Group, University of Goettingen;Telematics Group, University of Goettingen
Venue:
NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems
Year:
2005

Citing 7
Cited 1

The synchronization of periodic routing messages

IEEE/ACM Transactions on Networking (TON)
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A model, analysis, and protocol framework for soft state-based communication

Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
View-based animation of communication protocols in design and in operation

Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Scalable Timers for Soft State Protocols

INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
A comparison of hard-state and soft-state signaling protocols

Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
Implementation and Evaluation of the Implementation and Evaluation of the

ICNP '04 Proceedings of the 12th IEEE International Conference on Network Protocols

Modeling route change in soft-state signaling protocols using SDL: a case of RSVP

SDL'05 Proceedings of the 12th international conference on Model Driven

Quantified Score

Hi-index	0.00

Visualization

Abstract

Soft state provides new services to packet-switching networks by introducing a type of state in the network nodes which is refreshed by periodical messages and otherwise expires. The operations of soft state protocols, which are being designed with ever greater complexity, need to be error-free and deadlock-free to avoid misusing network resources. Thus, verification, formal analysis and validation of these protocols become a vital task. In this paper we utilize formal techniques, specifically, Specification and Description Language (SDL) and Message Sequence Charts (MSCs), for modeling, analysis and validation of various soft state protocols. We propose a general architecture for state management systems and find employing these techniques can help identify and correct possible design errors, which may be caused by informal specifications.