http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161229

Towards automated dependability analysis of dynamically connected syste (Rapporti tecnici/preprint/working paper)

Type

Label

Towards automated dependability analysis of dynamically connected syste (Rapporti tecnici/preprint/working paper) (literal)

Anno

Alternative label

Masci P.; Martinucci M.; Di Giandomenico F. (2010)
Towards automated dependability analysis of dynamically connected syste
(literal)

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

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

Lavoro sottomesso alla conferenza IEEE ISADS 2011, Technical report, 2010. (literal)

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

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 of these challenges is the investigation of the automatic composition of heterogeneous systems willing to communicate, by synthesising at run-time the connectors that allow interoperation. Besides functional properties, synthesised 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. Index Terms Stochastic modelling, autonomous systems interoperation, automated dependability analysis. I. INTRODUCTION Ubiquitous computing refers to a vision of technology where devices are seamlessly integrated in the environment and everyone benefits from their services without even being aware of their presence [1]. In such a vision, comple (literal)

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