PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Masci P., Nostro N., Di Giandomenico F. On enabling dependability assurance in heterogeneous networks through automated model-based analysis. In: SERENE 2011 - Software Engineering for Resilient Systems. Third International Workshop (Geneva, Switzerland, 29-30 Settembre 2011). Proceedings, pp. 78 - 92. A. Troubitsyna (ed.). (Lecture Notes in Computer Science, vol. 6968). Springer Verlag, 2011.
 
 
Abstract
(English)
We present the speci cation of a basic library of dependability mechanisms that can be used within automated approaches for synthesising dependable Connectors in heterogeneous networks. The library builds on classical dependability patterns, such as majority voting and retry, and uses the concept of overlay networks for triggering the synthesis of speci c dependability mechanisms in the Connector from high-level speci cations. We translated such dependability mechanisms into SAN models with the aim to evaluate, through model-based analysis, which dependability mechanisms should be embedded in the synthesised Connector for ensuring a given dependability level between networked systems willing to be connected. A case study is also presented to show the application of selected library mechanisms. This work is carried out in the context of Connect, a European FET project which is investigating the possibility of enabling long-lasting inter-operation among networked systems by synthesising mediating Connectors at run-time.
URL: http://www.springerlink.com/content/50186452076804x5/
DOI: 10.1007/978-3-642-24124-6_7
Subject Dependability analysis
Fault Tolerance
Networked systems
C.4 PERFORMANCE OF SYSTEMS
D.4.8 Performance


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional