Highly dynamic Destination-Sequenced Distance-Vector routing (DSDV) for mobile computers
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Evolving algebras 1993: Lipari guide
Specification and validation methods
A distance routing effect algorithm for mobility (DREAM)
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Graph theory and its applications
Graph theory and its applications
Ad Hoc mobility management with uniform quorum systems
IEEE/ACM Transactions on Networking (TON)
A scalable location service for geographic ad hoc routing
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Simulation-based performance evaluation of routing protocols for mobile ad hoc networks
Mobile Networks and Applications
Geometric spanner for routing in mobile networks
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
The performance of query control schemes for the zone routing protocol
IEEE/ACM Transactions on Networking (TON)
Internetworking with TCP/IP, Volume 1: Principles, Protocols, and Architectures, Fourth Edition
Internetworking with TCP/IP, Volume 1: Principles, Protocols, and Architectures, Fourth Edition
CarNet: a scalable ad hoc wireless network system
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Universal Plug and Play Machine Models
DIPES '02 Proceedings of the IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems: Design and Analysis of Distributed Embedded Systems
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Ad-hoc On-Demand Distance Vector Routing
WMCSA '99 Proceedings of the Second IEEE Workshop on Mobile Computer Systems and Applications
A Highly Adaptive Distributed Routing Algorithm for Mobile Wireless Networks
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Formal description of a distributed location service for mobile ad hoc networks
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A survey on position-based routing in mobile ad hoc networks
IEEE Network: The Magazine of Global Internetworking
A formal validation methodology for MANET routing protocols based on nodes' self similarity
Computer Communications
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Computational Modeling of Criminal Activity
EuroISI '08 Proceedings of the 1st European Conference on Intelligence and Security Informatics
ACM Computing Surveys (CSUR)
ASM and SDL models of geographic routing in mobile ad hoc networks
SDL'05 Proceedings of the 12th international conference on Model Driven
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Hi-index | 0.00 |
In this paper, we define a distributed abstract state machine (DASM) model of the network or routing layer protocol for mobile ad hoc networks. In conjunction with the chosen routing strategy, we propose a distributed logical topology based location service (LTLS) protocol and give a formal description and analysis of this protocol on the DASM model. The high dynamics of mobile ad hoc networks require routing strategies substantially different from those used in static communication networks. A strategy for such networks is geographic routing in which each network node can find its physical location via GPS or other navigation technologies. To send a packet, the sender needs to know the most recent physical location of the destination node. This location information is provided by a location service protocol. The LTLS protocol has short message delivery delay, requires small routing tables, uses relatively few administrative packets, and has very good fault tolerance properties. Our goal in defining the network layer protocol in terms of a DASM model is twofold. First, we feel that the mathematical modeling paradigm of distributed abstract state machines provides an ideal formal basis for constructing, analyzing, and validating abstract requirements specifications of mobile ad hoc network protocols. Second, we intend to utilize the resulting behavior model as a formal basis for developing executable specifications serving as a platform for experimental validation of key system attributes and exploration of alternative design choices.