• PhD Proposals

• Communication Abstractions for the Internet of Things
• User-Friendly Formal Methods (for Time-Critical Systems)
• Computer-Aided Discrete Analysis of Biological Processes

• Master Theses

• Conceptual modeling and verification of security properties of situational software
• Verification of Highly Distributed Autonomic Systems in a rely-guarantee fashion
• Integration of different paradigms in the analysis of dependability properties of autonomic systems
• Formal modeling of autonomic systems
• Model Driven Quality of Service (QoS) Analyses of Advanced Service Centers Infrastructure
• Active Energy Management of Service Centers Infrastructures
• Architectural Issues of Adaptive Pervasive Systems
• Extending the REST architectural style for Pervasive Systems
• Peer-to-peer overlay network

Communication Abstractions for the Internet of Things

Technologies like RFID tags, wireless sensors, and embedded devices are enabling a new infrastructure in which computing power and connectivity are not only possible any-time and any-place, but also for any-thing: it is the Internet of Things. The conventional approach to communication on the Internet, by focusing on sender-addressed, unicast communication, does not fit the challenges of such a complex, evolving network. A better answer seems to be a Content-Based Routing (CBR) approach in which messages are addressed based on their content to all the nodes that have expressed an interest in receiving them. We are interested in studying how CBR can be adapted to the Internet of Things and the kind of high-level abstractions that can be implemented on top of it.

Contact Person
Gianpaolo Cugola