Towards automated dependability analysis of dynamically connected (Contributo in atti di convegno)

Type

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

Label

• Towards automated dependability analysis of dynamically connected (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.1109/ISADS.2011.23 (literal)

Alternative label

• Masci P., Martinucci M., Di Giandomenico, F. (2011)
  Towards automated dependability analysis of dynamically connected
  in 2011 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Kobe, Japan, 29 June - 1 July 2011
  (literal)

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

• Masci P., Martinucci M., Di Giandomenico, F. (literal)

Pagina inizio

• 139 (literal)

Pagina fine

• 146 (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://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5741338 (literal)

Note

• Scopu (literal)
• PuMa (literal)

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

• CNR-ISTI, Pisa, Italy (literal)

Titolo

• Towards automated dependability analysis of dynamically connected (literal)

Abstract

• Dynamic environments may include autonomous and decentralised components that pose many challenges from the point of view of interoperability, thus triggering research studies in several directions. One recent research direction explores the automatic composition of heterogeneous systems through connectors synthesised at run-time. Besides functional properties, such connectors generally need to satisfy also non-functional (dependability-related) properties. This paper investigates the definition of an automated procedure to support the synthesis of dependable connectors. (literal)

Editore

• IEEE Computer Society (Editore)

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)
• PAOLO MANUEL MASCI (Unità di personale esterno)
• MARCO MARTINUCCI (Persona)

Insieme di parole chiave

• Keywords of "Towards automated dependability analysis of dynamically connected" (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)
• PAOLO MANUEL MASCI (Unità di personale esterno)
• MARCO MARTINUCCI (Persona)

Editore di

• IEEE Computer Society (Editore)

Insieme di parole chiave di

• Keywords of "Towards automated dependability analysis of dynamically connected" (Insieme di parole chiave)