Towards Automated Dependability Analysis of Dynamically Connected Systems

Author

Masci, Paolo ; Martinucci, Marco ; Giandomenico, Felicita Di

Author_Institution

Inf. Sci. & Technol. Inst., Italian Nat. Res. Council, Pisa, Italy

fYear

2011

fDate

23-27 March 2011

Firstpage

139

Lastpage

146

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

cooperative systems; open systems; ubiquitous computing; automated dependability analysis; decentralised components; dependable connectors; dynamically connected systems; heterogeneous systems; interoperability; Analytical models; Connectors; Measurement; Monitoring; Protocols; Stochastic processes; Storage area networks; Stochastic modelling; automated dependability analysis; autonomous systems interoperation;

fLanguage

English

Publisher

ieee

Conference_Titel

Autonomous Decentralized Systems (ISADS), 2011 10th International Symposium on

Conference_Location

Tokyo & Hiroshima

Print_ISBN

978-1-61284-213-4

Type

conf

DOI

10.1109/ISADS.2011.23

Filename

5741338