AIRCC's International Journal of Computer Science and Information Technology

Open Access Open Access  Restricted Access Subscription Access

Formal Specification For Implementing Atomic Read/Write Shared Memory In Mobile Ad Hoc Networks Using The Mobile Unity


Affiliations
1 PhD in Computer Science, EL Menoufia University, Egypt
 

The Geoquorum approach for implementing atomic read/write shaved memory in mobile ad hoc networks. This problem in distributed computing is revisited in the new setting provided by the emerging mobile computing technology. A simple solution tailored for use in ad hoc networks is employed as a vehicle for demonstrating the applicability of formal requirements and design strategies to the new field of mobile computing. The approach of this paper is based on well understood techniques in specification refinement, but the methodology is tailored to mobile applications and help designers address novel concerns such as logical mobility, the invocations, specific conditions constructs. The proof logic and programming notation of mobile UNITY provide the intellectual tools required to carryout this task. Also, the quorum systems are investigated in highly mobile networks in order to reduce the communication cost associated with each distributed operation.


Keywords

Formal Specification, Mobility, Mobile Ad Hoc Networks, the Quorum Systems.
User
Notifications
Font Size

  • A. Smith, H. Balakrishnan, M. Goraczko, N. Priyantha, "Support for Location: Tracking Moving Devices with the Cricket Location System", in: Proceedings of the 2nd International Conference on Mobile Systems, Applications, and Services, Jun 2014.

  • S. Gilbert, N. Lynch, A. Shvartsman, "RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks," in: Proceedings of the International Conference on Dependable Systems and Networks, June 2013, PP. 259-269.

  • B. Liu, P. Brass, O. Dousse, P. Nain, D. Towsley, "Mobility Improves Coverage of Sensor Networks", in: Proceedings of Mobile Ad Hoc, May 2015, PP. 300-308.

  • R. Friedman, M. Gradinariu, G. Simon, "Locating Cache Proxies in MANETs", in: Proceedings of the 5th International Symposium of Mobile Ad Hoc Networks, 2014, PP. 175-186.

  • J. Luo, J-P. Hubaux, P. Eugster," Resource Management: PAN: Providing Reliable Storage in Mobile Ad Hoc Networks with Probabilistic Quorum Systems", in: Proceedings of the 4th International Symposium on Mobile Ad Hoc Networking and Computing, 2019, PP. 1-12.

  • D. Tulone, Mechanisms for Energy Conservation in Wireless Sensor Networks. Ph.D. Thesis, Department of Computer Science, University of Pisa, Dec 2015.

  • W. Zhao, M. Ammar, E. Zegura,"A Message Ferrying Approach for Data Delivery in Sparse Mobile Ad Hoc Networks", in: Proceedings of the 5th International Symposium on Mobile Ad hoc Networking and Computing, May 2014, PP.187-198.

  • S. Dolev, S. Gilbert, N. Lynch, A. Shvartsman, J. Welch, "GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks", in: Proceedings of the 17th International Conference on Distributed Computing, October 2018, PP. 306-320.

  • H. Wu, R. Fujimoto, R. Guensler, M. Hunter, "MDDV: A Mobility-Centric Data Dissemination Algorithm for Vehicular Networks", in: Proceedings of the1st International Workshop on Vehicular Ad hoc Networks, Oct 2017, PP. 47-56.

  • J. Polastre, J. Hill, D. Culler, "Versatile Low Power Media Access for Wireless Sensor Networks", in: Proceedings of IJCS PP: 231-245, 2014.

  • S. PalChanduri, J.-Y. Le Boudec, M. Vojnovic, "Perfect Simulations for Random Mobility Models", in: Annual Simulation Symposium 2015, PP. 72-79. Available from: http://www.cs.rice.edu/santa/ research/mobility

  • J.Y. Le Boudec, M. Vojnovic, "Perfect Simulation and Stationarity of A Class Of Mobility Models", IJCSS, pp:225-235 (2016).

  • T. Hara, "Location Management of Replication Considering Data Update in Ad Hoc Networks, in: 20th International Conference AINA, 2019, PP. 753-758.

  • T. Hara," Replication Management for Data Sharing In Mobile Ad Hoc Networks", Journal of Interconnection Networks 7(1) (2016), PP.75-90.

  • Y Sawai, M. Shinohara, A. Kanzaki, T. Hara, S. Nishio, "Consistency Management Among Replicas Using A Quorum System in Ad Hoc Networks", MDM (2018), PP.128-138


Abstract Views: 238

PDF Views: 110




  • Formal Specification For Implementing Atomic Read/Write Shared Memory In Mobile Ad Hoc Networks Using The Mobile Unity

Abstract Views: 238  |  PDF Views: 110

Authors

Reham.A. Shihata
PhD in Computer Science, EL Menoufia University, Egypt

Abstract


The Geoquorum approach for implementing atomic read/write shaved memory in mobile ad hoc networks. This problem in distributed computing is revisited in the new setting provided by the emerging mobile computing technology. A simple solution tailored for use in ad hoc networks is employed as a vehicle for demonstrating the applicability of formal requirements and design strategies to the new field of mobile computing. The approach of this paper is based on well understood techniques in specification refinement, but the methodology is tailored to mobile applications and help designers address novel concerns such as logical mobility, the invocations, specific conditions constructs. The proof logic and programming notation of mobile UNITY provide the intellectual tools required to carryout this task. Also, the quorum systems are investigated in highly mobile networks in order to reduce the communication cost associated with each distributed operation.


Keywords


Formal Specification, Mobility, Mobile Ad Hoc Networks, the Quorum Systems.

References