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 adhoc 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 visualisatio...

• Type: Conference
• Year: 2005
• Where: IFM
• Authors: Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
• Keywords: Core Network, IFM 2005, Interoperability Protocol, Mobile Ad-hoc Network