Towards Automated Dependability Analysis of Dynamically Connected Systems

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.
Type de document :
Communication dans un congrès
International Symposium on Autonomous Decentralized Systems (ISADS) 2011, Mar 2011, Japon, Japan. 2011
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00573410
Contributeur : Emmanuelle Grousset <>
Soumis le : jeudi 3 mars 2011 - 17:00:26
Dernière modification le : mardi 31 juillet 2018 - 16:58:01
Document(s) archivé(s) le : samedi 4 juin 2011 - 03:00:11

Fichier

Isads2011Masci.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00573410, version 1

Collections

Citation

Paolo Masci, Marco Martinucci, Felicita Di Giandomenico. Towards Automated Dependability Analysis of Dynamically Connected Systems. International Symposium on Autonomous Decentralized Systems (ISADS) 2011, Mar 2011, Japon, Japan. 2011. 〈inria-00573410〉

Partager

Métriques

Consultations de la notice

74

Téléchargements de fichiers

74