Deconstructing Complex Distributed Platforms: A Report From the Trenches - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Deconstructing Complex Distributed Platforms: A Report From the Trenches

Abstract

Distributed services play an increasing role in our daily lives and our economy. Unfortunately, as they importance grow, so does their complexity, and the difficulty to analyze, verify, and validate them. In this talk, I will provide an overview of our experience analyzing real-life distributed platforms, and the lessons we learnt doing so. One key problem is the fact that real-life distributed systems usually rely on large stacks of legacy and third-party software. Because of that, they usually cannot be fully analyzed with entirely automated approaches. I will use our experience in this area (which has mainly exploited heuristics, and semi-automatic analysis tools) to suggest potential synergies between verification techniques, and interactive analysis tools.
Fichier principal
Vignette du fichier
WWV_one_page.pdf (36.51 Ko) Télécharger le fichier
DisCoTec2013-WWV.pdf (6.4 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Other

Dates and versions

hal-00919426 , version 1 (17-12-2013)

Identifiers

Cite

François Taïani. Deconstructing Complex Distributed Platforms: A Report From the Trenches. 9th International Workshop on Automated Specification and Verification of Web Systems, Jun 2013, Florence, Italy. pp.2, ⟨10.4204/EPTCS.123⟩. ⟨hal-00919426⟩
159 View
408 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More