Istituto di Scienza e Tecnologie dell'Informazione     
Masci P., Martinucci M., Di Giandomenico F. Towards automated dependability analysis of dynamically connected. In: ISADS 2011 - 2011 10th International Symposium on Autonomous Decentralized Systems (Kobe, Japan, 29 June - 1 July 2011). Proceedings, pp. 139 - 146. IEEE, 2011.
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.
URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5741338
DOI: 10.1109/ISADS.2011.23
Subject Stochastic modelling
Autonomous systems interoperation
Automated dependability analysis
D.2.4 Software/Program Verification
D.2.8 Metrics
D.2.12 Interoperability

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