100 likes | 190 Views
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
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