VPP: A Communication Schema for Population Protocols in VANET

Population protocols are a new paradigm that aims to model distributed systems composed of randomly interacting mobile agents. The main advantage of this model is that, when certain theoretical assumptions hold, it is possible to formally demonstrate their convergence. We consider the problem of adopting Population Protocols in a real-world scenario that does not guarantee these assumptions. In particular, we consider the application domain of Vehicular Ad-Hoc Networks (VANETs) which are characterized by dynamic network topologies, and where wireless communications can be affected by interferences and errors. In this work, we analyze the main features of VANET agents and the communications …

Smart Auctions for Autonomic Ambient Intelligence Systems

The main goal of Ambient Intelligence (AmI) is to support users in their daily activities by satisfying and anticipating their needs. To achieve such goal, AmI systems rely on physical infrastructures made of heterogenous sensing devices which interact in order to exchange information and perform monitoring tasks. In such a scenario, a full achievement of AmI vision would also require the capability of the system to autonomously check the status of the infrastructure and supervise its maintenance. To this aim, in this paper, we extend some previous works in order to allow the self-management of AmI devices enabling them to directly interact with maintenance service providers. In particular,…

Modeling Efficient and Effective Communications in VANET through Population Protocols

Vehicular Ad-hoc NETworks (VANETs) enable a countless set of next-generation applications thanks to the technological progress of the last decades. These applications rely on the assumption that a simple network of vehicles can be extended with more complex and powerful network infrastructure, in which several Road Side Units (RSUs) are employed to achieve application-specific goals. However, this assumption is not always satisfied as in many real-world scenarios it is unfeasible to have a conspicuous deployment of RSUs, due to both economic and environmental constraints. With the aim to overcome this limitation, in this paper we investigate how the only Vehicle-to-Vehicle (V2V) communicati…

A framework for Population Protocols in VANETs

On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices

Internet of Things (IoT) applications operate in several domains while requiring seamless integration among heterogeneous objects. Regardless of the specific platform and context, IoT applications demand high energy efficiency. Adopting resource-constrained embedded devices for IoT applications means ensuring low power consumption, low maintenance costs and possibly longer battery life. Meeting these requirements is particularly arduous as programmers are not able to monitor the energy consumption of their own software during development or when applications are finally deployed. In this paper, we discuss on-board real-time energy evaluation of both hardware and software during the developm…