Massimo Tivoli: A coordinators synthesis approach for reliability enhancement in component-based systems.

Abstract: Correct automatic assembly in software components is an important issue in CBSE (Component Based Software Engineering). Building a system from reusable software components or from COTS (Commercial-Off-The-Shelf ) components introduces a set of problems. One of the main problems in components assembly is related to the ability to properly manage the dynamic interactions of the components. Component assembling can result in architectural mismatches when trying to integrate components with incompatible interaction behavior by impacting on the level of reliability of the composed system. Reliability enhancement is a key problem in safety critical systems developing. In this talk, by exploiting a connectors wrappers formalization in the domain of dependability enhancing techniques and by exploiting an exstension of an existent approach to the automatic synthesis of coordinators for correct component assembly, a technique for reliability enhancement in component-based system will be presented. Starting from the specification of the components to be assembled and of reliability policies, a framework which automatically derives the glue code for the components forming the composed system will be developed. This glue code is derived to enhance the level of reliability of the system by implementing the components interaction behaviors as well as specified by reliability policies.

Biography: Massimo Tivoli is a PhD Student in Computer Science at the University of L’Aquila in the Computer Science Department. His research areas are mainly concentrated in the domains of Component Based Software Engineering (CBSE) and of Software Architecture (SA).