KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks

This paper presents a practical approach to manage mobile ad-hoc networks around the service requirements of their forming hosts. The solution consists of a middleware layer called KEPPAN, designed to exploit incomplete and changeable information about virtually any aspect that influences service provision. Having formal languages at the interfaces with the networking and application levels, this approach represents a step towards autonomic, self-managed networks of mobile devices, in expectation of further advances in software engineering and artificial intelligence. Preliminary evaluation results are reported.

[1]  Helmut Veith,et al.  Progress on the State Explosion Problem in Model Checking , 2001, Informatics.

[2]  Qun Li,et al.  Communication in disconnected ad hoc networks using message relay , 2003, J. Parallel Distributed Comput..

[3]  Gruia-Catalin Roman,et al.  Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management , 2006, Int. J. Web Serv. Res..

[4]  Massimo Mecella,et al.  Disconnection prediction in mobile ad hoc networks for supporting cooperative work , 2005, IEEE Pervasive Computing.

[5]  Gruia-Catalin Roman,et al.  Opportunistic Exploitation of Knowledge to Increase Predictability of Agent Interactions in MANETs , 2005 .

[6]  Izhak Rubin,et al.  Performance behavior of unmanned vehicle aided mobile backbone based wireless ad hoc networks , 2003, The 57th IEEE Semiannual Vehicular Technology Conference, 2003. VTC 2003-Spring..

[7]  Jorge García Duque,et al.  An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[8]  Gordon S. Blair,et al.  MARE: Resource Discovery and Configuration in Ad Hoc Networks , 2002, Mob. Networks Appl..

[9]  Jorge García Duque,et al.  Bringing the Agile Philosophy to Formal Specification Settings , 2006, Int. J. Softw. Eng. Knowl. Eng..

[10]  David Tse,et al.  Mobility increases the capacity of ad hoc wireless networks , 2002, TNET.

[11]  Jorge García Duque,et al.  Guidelines for the incremental identification of aspects in requirements specifications , 2006, Requirements Engineering.

[12]  Jorge García Duque,et al.  Incremental specification with SCTL/MUS-T: a case study , 2004, J. Syst. Softw..

[13]  Gruia-Catalin Roman,et al.  SPAWN: Service Provision in Ad-hoc Wireless Networks , 2005 .

[14]  Amy L. Murphy,et al.  LIME: a middleware for physical and logical mobility , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[15]  Jie Lin,et al.  Towards mobility as a network control primitive , 2004, MobiHoc '04.

[16]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[17]  Gruia-Catalin Roman,et al.  Service Provision in Ad Hoc Networks , 2002, COORDINATION.

[18]  James A. Landay,et al.  Siren: Context-aware Computing for Firefighting , 2004, Pervasive.

[19]  Azim Eskandarian,et al.  Challenges of intervehicle ad hoc networks , 2004, IEEE Transactions on Intelligent Transportation Systems.

[20]  Leslie Pack Kaelbling,et al.  Mobilized ad-hoc networks: a reinforcement learning approach , 2004, International Conference on Autonomic Computing, 2004. Proceedings..