For the most recent entries see the Petri Nets Newsletter.

Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.

Kristensen, Lars; Westergaard, Michael; Norgaard, Peder

In: Judi M.T. Romijn, Graeme P. Smith, Jaco Pol (Eds.): Lecture Notes in Computer Science, 3771: Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005., pages 266-286. Springer-Verlag, October 2005. URL: http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/1158997616,.

Abstract: We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for the specification of an interoperability protocol for routing packets between fixed core networks and mobile ad-hoc networks. The interoperability protocol ensures that a packet flow between a host in a core network and a mobile node in an ad-hoc network is always relayed via one of the closest gateways connecting the core network and the mobile ad-hoc network. This paper shows how integrated use of CP-nets and application-specific visualisation have been applied to build a model-based prototype of the interoperability protocol. The prototype consists of two parts: a CPN model that formally specifies the protocol mechanisms and a graphical user interface for experimenting with the protocol. The project demonstrates that the use of formal modelling combined with the use of application-specific visualisation can be an effective approach to rapidly construct an executable prototype of a communication protocol.

Keywords: Model-driven prototyping; animation; Coloured Petri Nets; mobile ad-hoc network..


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography