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.
Type de document :
Communication dans un congrès
António Ravara and Josep Silva. 9th International Workshop on Automated Specification and Verification of Web Systems, Jun 2013, Florence, Italy. 123, pp.2, 2013, Electronic Proceedings in Theoretical Computer Science. 〈http://arxiv.org/html/1308.0268v1/#EPTCS123.2〉. 〈10.4204/EPTCS.123〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00919426
Contributeur : François Taïani <>
Soumis le : mardi 17 décembre 2013 - 12:24:47
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : lundi 17 mars 2014 - 22:15:53

Identifiants

Citation

François Taïani. Deconstructing Complex Distributed Platforms: A Report From the Trenches. António Ravara and Josep Silva. 9th International Workshop on Automated Specification and Verification of Web Systems, Jun 2013, Florence, Italy. 123, pp.2, 2013, Electronic Proceedings in Theoretical Computer Science. 〈http://arxiv.org/html/1308.0268v1/#EPTCS123.2〉. 〈10.4204/EPTCS.123〉. 〈hal-00919426〉

Partager

Métriques

Consultations de la notice

318

Téléchargements de fichiers

667