No abstract

 This paper presents a definition, the design space, three reasonable implementations, and an ns-2 simulation study of a new type of geocast protocol, called stored geocast. A stored geocast is a time stable geocast, which is delivered to all nodes that are inside a destination region within a certain period of time. When used in a mobile ad hoc network (MANET) it allows to realize a persistent message valid for a certain geographic region, possibly combined with a time limit. Stored geocast is of particular interest in the automotive domain, since it allows to realize virtual traffic signs or for location-based services in general. The simulation results investigate the delivery success ratio and the resulting message overhead in several scenarios with random waypoint movement and in realistic vehicular traffic scenarios gathered from a driver behavior simulator.

Due to the increasing complexity of distributed systems the need for a formal description of these systems arises. Specification description languages like SDL enable the formal specification of distributed systems for verification purposes of the system. For simplification of the development process the need for an automatic translation from the specification language to a programming language like Cor C++ arises. High performance and a good readability of the translated code are crucial for the usability of an automatic translation. This paper introduces a framework for the automatic translation of an SDL specification to C++ providing high performance together with good readability of the resulting code. For that we present an object model together with an efficient implementation of the finite state machine with constant costs only using polymorphism. Additionally we present mechanisms to reduce copy and memory allocation operations. A performance evaluation for these mechanisms is also presented. J. Wu et al. (eds.), Formal Methods for Protocol Engineering and Distributed Systems

No abstract

No abstract