Skip to Main content Skip to Navigation
Conference papers

Deconstructing Complex Distributed Platforms: A Report From the Trenches

François Taïani 1
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique
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.
Complete list of metadata

https://hal.inria.fr/hal-00919426
Contributor : François Taïani <>
Submitted on : Tuesday, December 17, 2013 - 12:24:47 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:57 PM
Long-term archiving on: : Monday, March 17, 2014 - 10:15:53 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

433

Files downloads

1490