100 likes | 192 Vues
This meeting gathered researchers to discuss MANET topics like fault tolerance, secure networking, and distributed computing. Key themes included middleware, routing protocols, and ongoing projects. The agenda included examining algorithms for end-to-end communication, decentralized vs. core-based solutions in middleware, and formal specifications for pub/sub systems. The goal was to foster collaboration and advance understanding in the field of distributed and mobile computing.
E N D
Progetto IS-MANET Kick-off meeting Milano 30.1.2003
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
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
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
Middleware • Three-Tiers Software replication • Strong replica consistency • Wide area networks • Basic communication services • Group communication • publish/subscribe • Distributed Sequencer on partially synchronous systems
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
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”
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
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
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