Towards Automated Dependability Analysis of Dynamically Connected SystemsReportar como inadecuado




Towards Automated Dependability Analysis of Dynamically Connected Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 ISTI - Istituto di Scienza e Tecnologie dell-Informazione -A. Faedo-

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.

Keywords : automated dependability analysis Keywords-Stochastic modelling autonomous systems interoperation automated dependability analysis.





Autor: Paolo Masci - Marco Martinucci - Felicita Di Giandomenico -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados