François Taïani

Deconstructing Complex Distributed Platforms: A Report From the Trenches (keynote)

keynote speaker at the 9th International Workshop on Automated Specification and Verification of Web Systems, Florence, Italie, June, Electronic Proceedings in Theoretical Computer Science , volume 123, p. 2, 2013

Distributed services play an increasing role in our daily lives and our economy. Yet, as they importance grow, so does their complexity, which makes them increasingly difficult to analyze, verify, and validate. In this talk, I will provide an overview of our experience analyzing complex industry-grade platforms for distributed systems. One key problem we have encountered is the fact that real-life deployments tend to rely on large stacks of legacy and third party software. Because of that, the resulting systems are poorly suited to fully automated verification 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 approaches, and interactive analysis approaches.

complete document


doi: (publisher's link)


[Maison.png]Back to Home

Last generated on 8 Dec 2019     Valid HTML 4.0!