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
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
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
Contributor : François Taïani Connect in order to contact the contributor
Submitted on : Tuesday, December 17, 2013 - 12:24:47 PM
Last modification on : Thursday, January 20, 2022 - 5:30:13 PM
Long-term archiving on: : Monday, March 17, 2014 - 10:15:53 PM



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⟩



Record views


Files downloads