1. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Progetto IS-MANET Kick-off meeting Milano 30.1.2003

2. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Gruppo UNIROMA Strutturati –Roberto Baldoni –Roberto Beraldi –Giacomi Cioffi –Tiziana Catarci –Giuseppe Santucci Dottorandi –Antonino Virgillito –Sara Tucci Piergiovanni –Marco Rossi Post-doct –Carlo Marchetti –Massimo Mecella Contrattisti –Mariangela Contenti –Stefano Cimmino –Alessandro Termini

3. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Attività scientifica del gruppo Middleware –Dependable (fault tolerance by replication) –Secure (intrusion tolerance) Dynamic Networks –MANET –Peer-to-peer Fundamentals of distributed and mobile computing

4. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Fundamentals of Distributed and Mobile computing asynchrony vs partial synchrony vs synchrony Byzantine fault-tolerance Checkpoint and communication patterns Vector clocks DSM consistency criteria Location-based distributed algorithms

5. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Middleware Three-Tiers Software replication Strong replica consistency Wide area networks Basic communication services Group communication publish/subscribe Distributed Sequencer on partially synchronous systems

6. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Routing Protocols for MANET Combining Routing and caching Key notions: Hybrid protocol (pro/react) Use limited proactive zones with updated information Cache leader manages caches proactively

7. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Progetti attivi IST-AMSD MIDAS (Middleware for Composable and Dynamically Adaptable Services) IST EU-PUBLIC.COM MIUR-FIRB MAIS (Multichannel Adaptive Information Systems) MIUR-COFIN DaQuinCIS (Data Quality in Cooperative Information Systems) AMS Dependable middleware in air traffic control systems

8. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Progetti in preparazione NoE on secure and dependable infractrutures DEFINE (first call) leading research activities on mobility.NoE leader: LAAS IP on Open Source Middleware (second call). Member of the steering committee. IP leader: OBJECT WEB

9. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Inquadramento nel progetto WP3: Algoritmi – studio e specifica di –Algoritmi per comunicazioni end-to end per MANET –Algoritmi per servizi di base di middleware per MANET

10. Università di Roma La Sapienza Dipartimento di Informatica e Sistemistica Cosa ci piacerebbe fare System model of a computation with mobile nodes continuous connectivity through coordination Analysis of middleware service implementations for MANET: Completelty decentralized vs core-based solutions vs hybrid solutions Bundled implementation of basic services for MANET vs protocol stacks architectures Distributed Sequencer with mobile nodes Formal specification of pub/sub systems