Design of Approaches for Dependability and Initial Prototypes

Abstract : The aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems. For this, the non-functional properties required at each side of the connection going to be established must be fulfilled. By the one inclusive term "CONNECTability" we comprehend properties belonging to all four non-functional concerns of interest for CONNECT, namely dependability, performance, security and trust. We model such properties in conformance with a meta-model which establishes the relevant concepts and their relations. Then, building on the conceptual models proposed in the first year in Deliverable D5.1, in this document we present the approaches developed for assuring CONNECTability both at synthesis time and at runtime. The contributions include: the Dependability&Performance analysis Enabler, for which we release a modular architecture supporting stochastic verification and state-based analysis; incremental verification and event-based monitoring for runtime analysis; a model-based approach to interoperable trust management; the Security-by-Contract-with-Trust framework, which guarantees and enforces the expected trust levels and security policies.
Type de document :
Rapport
[Research Report] 2011
Liste complète des métadonnées

Littérature citée [91 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00584920
Contributeur : Emmanuelle Grousset <>
Soumis le : lundi 2 mai 2011 - 14:25:01
Dernière modification le : mercredi 4 octobre 2017 - 11:24:02
Document(s) archivé(s) le : mercredi 3 août 2011 - 02:33:11

Fichier

connect_WP5_D52.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00584920, version 1

Collections

Citation

Antonia Bertolino, Antonello Calabro, Silvano Chiaradonna, Gabriele Costa, Felicita Di Giandomenico, et al.. Design of Approaches for Dependability and Initial Prototypes. [Research Report] 2011. 〈inria-00584920〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

192