Finalised dependability framework and evaluation results

Antonia Bertolino (1) , Antonello Calabro (1) , Silvano Chiaradonna (1) , Felicita Di Giandomenico (1) , Antinisca Di Marco (2) , Valerie Issarny (3) , Massimiliano Itria (1) , Francesca Lonetti (1) , Marta Kwiatkowska (4) , Fabio Martinelli (5) , Ilaria Matteucci (6) , Charles Morisset (6) , Nicola Nostro (1) , Hongyang Qu (4) , Alberto Ribolini (6) , Anna Vaccarelli (1)

1 CNR | ISTI - CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
2 DI - Dipartimento di Informatica [Italy]
3 ARLES - Software architectures and distributed systems
4 OUCL - Computing Laboratory
5 Dipartimento di Matematica [Roma TRE]
6 IIT-CNR - Istituto di Informatica e Telematica

The ambitious aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems by means of on-the-fly synthesis of the CONNECTors through which they communicate. The goal of WP5 within CONNECT is to ensure that the non-functional properties required at each side of the connection going to be established are fulfilled, including dependability, performance, security and trust, or, in one overarching term, CONNECTability. To model such properties, we have introduced the CPMM meta-model which establishes the relevant concepts and their relations, and also includes a Complex Event language to express the behaviour associated with the specified properties. Along the four years of project duration, we have developed approaches for assuring CONNECTability both at synthesis time and at run-time. Within CONNECT architecture, these approaches are supported via the following enablers: the Dependability and Performance analysis Enabler, which is implemented in a modular architecture supporting stochastic verification and state-based analysis. Dependability and performance analysis also relies on approaches for incremental verification to adjust CONNECTor parameters at run-time; the Security Enabler, which implements a Security-by-Contract-with-Trust framework to guarantee the expected security policies and enforce them accordingly to the level of trust; the Trust Manager that implements a model-based approach to mediate between different trust models and ensure interoperable trust management. The enablers have been integrated within the CONNECT architecture, and in particular can interact with the CONNECT event-based monitoring enabler (GLIMPSE Enabler released within WP4) for run-time analysis and verification. To support a Model-driven approach in the interaction with the monitor, we have developed a CPMM editor and a translator from CPMM to the GLIMPSE native language (Drools). In this document that is the final deliverable from WP5 we first present the latest advances in the fourth year concerning CPMM, Dependability&Performance Analysis, Incremental Verification and Security. Then, we make an overall summary of main achievements for the whole project lifecycle. In appendix we also include some relevant articles specifically focussing on CONNECTability that have been prepared in the last period.

Mots clés: CONNECTability; CONNECTed System; CONNECTor; Dependability; Enabler; Monitoring; Networked System; Non-functional Properties; Performance; Property Meta-model; Security; Security Policy; Security-by-Contract; State-Based Stochastic Methods; Stochastic Model Checking; Trust

Domaines: Génie logiciel [cs.SE]

Antonia Bertolino, Antonello Calabro, Silvano Chiaradonna, Felicita Di Giandomenico, Antinisca Di Marco, et al.. Finalised dependability framework and evaluation results. [Research Report] 2012. ⟨hal-00805626⟩