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.
Document type :
Complete list of metadatas

Cited literature [61 references]  Display  Hide  Download
Contributor : Emmanuelle Grousset <>
Submitted on : Wednesday, May 9, 2012 - 2:35:24 PM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on : Friday, November 30, 2012 - 11:31:29 AM


Files produced by the author(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⟩



Record views


Files downloads