Most relevant research achievements
Programming abstractions and distributed run-time support for wireless sensor networks
We carried out work along several complementary lines towards the overarching objective to simplify programming wireless sensor networks (WSNs) without losing system performance. We also worked on routing protocols and middleware abstractions to ease the job of WSN programmers.
Software performance engineering: the Performance Context Model and ArgoPerformance
A performance-driven software development process has been developed that, starting from a UML description of a software architecture, translates it into an intermediate model, the Performance Context Model, and then stochastically analyzes the model thus obtained.
Resource management and monitoring of adaptive service based systems
We developed a monitoring system that allows designers to specify properties about the system’s functional behavior using pre- and post-conditions, which are automatically checked at runtime. We also developed self-managing resource allocation techniques to optimize the performance of Clouds under conflicting requirements. Finally, we developed QoSMOS (QoS Management and Optimization of Service-based systems) a novel, tool-supported framework for the development of adaptive service-based systems and a broker-based framework which solves the optimal service selection on a per-flow basis.
Middleware Abstractions for Coordinating Distributed Components
In the area of event-based middleware most relevant results are REDS, a distributed and reconfigurable publish/subscribe middleware, and T-Rex, a complex event processing middleware that combines an expressive rule language with an efficient engine capable of leveraging multi-core CPUs and GPUs. CCBR complements these works by offering a publish/subscribe routing infrastructure for wireless sensor networks.
Formal Methods for Timed and Safety Critical Systems
We investigated the features of a variety of formalisms for describing and analyzing timed systems. We have also investigated techniques to model and analyze real-time systems through temporal logics. A technique to integrate continuous-time and discrete-time metric temporal specifications in the same framework was developed.
Formal methods for picture classification and completion
We developed a new set of powerful formal models, based on rewriting rules called Tiling Grammars, for specifying classes of pictures, which we used to develop a tool for analyzing pictures defined by tiles and a tool that allows reconstructing a damaged or incomplete picture, using a logical specification processed by a SAT solver.
Advanced compilers for modern OO and Parallel languages
We developed an OpenCL compiler based on the LLVM infrastructure, OpenCLang, as well as ILDJIT, a dynamic compiler for CIL byte code (ECMA 335 standard), capable of running as multiple threads on multi-processors, implementing the Dynamic Lookahead Compilation technique to hide dynamic compilation latencies. Compiler techniques for managing thread-data affinity in OpenMP have also been developed. Finally, a set of software techniques to provide security against side-channel attacks has been developed.
The World Health Organization ICF model permits to describe each person through a list of qualitative values. The ICF does not permits to describe interaction abilities with computers, phones and other ICT devices. The ICF* we defined tries to address those issues, providing a simple yet expressive model, tailored for the description of university students and the personalization of software applications.