DESCRIPTION OF THE COURSE:
Cardelli and Caires have proposed a logic to describe spatial as well as temporal properties of mobile systems. On the other hand, recent work on permutation-based models of abstract syntax with name binding operations by Honda, Pitts and others can be adapted to build models of mobile systems like the pi-calculus. The course will present the Cardelli and Caires logic together with models based on permutations and general substitutions.
Period: September 2002
Docente: Dr. Silvia Giordano, LCA-EPFL, Lausanne
Titolo: Mobile ad hoc networking
Abstract: A mobile ad-hoc network (MANET) represents a system of wireless mobile nodes that can freely and dynamically self-organize into arbitrary and temporary network topologies, allowing people and devices to seamlessly internetwork in areas without any pre-existing communication infrastructure. These networks are energy and bandwidth constrained, and designed to operate in a wide variety of environments, from military networks (with hundreds of nodes) to low-power sensor networks (with potentially, thousands of nodes). Many challenges remain to be resolved before MANETs can be widely deployed, however. Major advances are called for in the areas of wireless technologies, location and configuration management, addressing and routing, security and Quality of Service (QOS).
This course covers comprehensively the area of ad hoc networking, ranging from physical issues up to applications aspects. In particular, it will cover physical, data link, network and transport layers, as well as application, security, simulation and energy management issues in mobile ad hoc networks. Aim of the course is to study ad hoc protocols and models, with an emphasis on the most recent contributions.
Part I : Mobile ad hoc networking - 12 hh
- MANET and the Internet;
- Multiple access schemes;
- Routing in ad hoc networks;
- Addressing and location;
- Simulation and prototyping mobile networking protocols;
Part II : Economic and social aspects of mobile ad hoc networking - 8 hh
- Security in ad hoc networks;
- Application layer;
- Self-organization and co-operation.
Literature: Although ad hoc networking is a "hot topic", at the moment, there are only (few) specialized books, mostly examining routing aspects. More precisely, two books that were recently published by C. Perkins and C.K. Toh contain outdated and selected information, from the perspective of respective authors with narrow specialization. In contrast, this course intends to provide comprehensive coverage. For the reason, the students will be provided with specific journals and conference papers during the course.