The High Performance and Dependable Computing Systems research group is focused on differentiated aspects of computing and service oriented applications and platforms, spanning from theory to modeling, design and implementation. In such contexts, relevant results have been achieved in:
The vision characterizing the research of this group is based on a strong synergy between theoretical studies and design/development techniques aimed at bridging theory and practice by accurately assessing the viability of research results in environments and application contexts based on current technologies, and in those that can be foreseen via emerging technological trends. Up to now, various open source packages have been released as a concrete indication of the effectiveness of the aforementioned approach.
Several research challenges can be easily envisaged along the paths of Quality-of-Service (QoS) oriented design of systems, as well as the design of autonomic systems embedding self* properties aimed at ensuring/guaranteeing/achieving pre-determined performance and/or dependability levels. The container hosting and framing these challenges will include both traditional system organizations and innovative computing environments relying on systematic use of infrastructure virtualization approaches, such as cloud computing. Further, we plan to target innovative programming models and paradigms, such as concurrent programming based (a) on updates relying on the (software) transactional memory paradigm, and (b) on transparent and automatic techniques supporting reverse computing schemes as a mean for maintaining causal consistency. The latter will complement the wide set of results already achieved in the context of transparent and efficient (volatile) log/restore schemes in support of both fault-tolerance and optimistic synchronization.
Prof. Bruno Ciciani and prof. Francesco Quaglia are the Coordinators of the Group.
The main interests of the research group are: