Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Thursday, March 3, 2011 - 5:00:26 PM
Last modification on : Tuesday, July 31, 2018 - 4:58:01 PM
Long-term archiving on: : Saturday, June 4, 2011 - 3:00:11 AM


Files produced by the author(s)


  • HAL Id : inria-00573410, version 1



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. ⟨inria-00573410⟩



Record views


Files downloads