Consolidated dependability framework

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, which we refer to by the one inclusive term "CONNECTability", must be fulfilled. In Deliverable D5.1 we conceived the conceptual models at the foundation of CONNECTability. In D5.2 we then presented a first version of the approaches and of their respective enablers that we developed for assuring CONNECTability both at synthesis time and at run-time. In this deliverables, we present the advancements and contributions achieved in the third year, which include: - a refinement of the CONNECT Property Meta-Model, with a preliminary implementation of a Model-to-Code translator; - an enhanced implementation of the Dependability&Performance analysis Enabler, supporting stochastic verification and state-based analysis, that is enriched with mechanisms for providing feedback to the Synthesis enabler based on monitor's run-time observations; - a fully running version of the Security Enabler, following the Security-by-Contract-with-Trust methodology, for the monitoring and enforcement of CONNECT related security policies; - a complete (XML) definition of the Trust Model Description Language, an editor and the corresponding implementation of supporting tools to be integrated into the Trust Management Enabler.
Type de document :
[Research Report] 2012, pp.116
Liste complète des métadonnées

Littérature citée [61 références]  Voir  Masquer  Télécharger
Contributeur : Emmanuelle Grousset <>
Soumis le : mercredi 9 mai 2012 - 14:35:24
Dernière modification le : mardi 31 juillet 2018 - 16:58:01
Document(s) archivé(s) le : vendredi 30 novembre 2012 - 11:31:29


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00695636, version 1



Antonia Bertolino, Antonello Calabro, Silvano Chiaradonna, Gabriele Costa, Felicita Di Giandomenico, et al.. Consolidated dependability framework. [Research Report] 2012, pp.116. 〈hal-00695636〉



Consultations de la notice


Téléchargements de fichiers