On enabling dependability assurance in heterogeneous networks through automated model-based analysis (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• On enabling dependability assurance in heterogeneous networks through automated model-based analysis (Contributo in atti di convegno) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-24124-6_7 (literal)

Alternative label

• Masci P., Nostro N., Di Giandomenico F. (2011)
  On enabling dependability assurance in heterogeneous networks through automated model-based analysis
  in Software Engineering for Resilient Systems. Third International Workshop, SERENE 2011, 29-30 Settembre 2011, Geneva, Switzerland
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Masci P., Nostro N., Di Giandomenico F. (literal)

Pagina inizio

• 78 (literal)

Pagina fine

• 92 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• Area di valutazione 15a - Scienze e tecnologie per una società dell'informazione e della comunicazione (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.springerlink.com/content/50186452076804x5/ (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 6968 (literal)

Note

• Scopu (literal)
• PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Queen Mary University of London, UK; CNR-ISTI, Pisa, Italy (literal)

Titolo

• On enabling dependability assurance in heterogeneous networks through automated model-based analysis (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-24124-6 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• A. Troubitsyna (literal)

Abstract

• 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. (literal)

Prodotto di

• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• FELICITA DI GIANDOMENICO (Persona)
• Nicola Nostro (Unità di personale esterno)

Insieme di parole chiave

• Parole chiave di "On enabling dependability assurance in heterogeneous networks through automated model-based analysis" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)

Autore CNR di

• FELICITA DI GIANDOMENICO (Persona)
• Nicola Nostro (Unità di personale esterno)

Insieme di parole chiave di

• Parole chiave di "On enabling dependability assurance in heterogeneous networks through automated model-based analysis" (Insieme di parole chiave)