@inproceedings{bf142dfcf59e48f594fdd16c91a2f17d,
title = "Model-based prototyping of an interoperability protocol for mobile ad-hoc networks",
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.",
author = "L.M. Kristensen and M. Westergaard and P.C. Norgaard",
year = "2005",
doi = "10.1007/11589976_16",
language = "English",
isbn = "3-540-30492-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "266--286",
editor = "J. Romijn and G. Smith and {Pol, van de}, J.",
booktitle = "Proceedings of the 5th International Conference on Integrated Formal Methods (IFM 2005), 29 November - 02 December 2005, Eindhoven, The Netherlands",
address = "Germany",
}