Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Bilateral Contracts and Grants with Industry

Modeling a Distributed File System

Participant : Stephan Merz.

Our group was contacted by Huawei R&D Silicon Valley for evaluating the suitability of using the TLA+ specification language for describing high-level protocols used in Cloud systems. We provided a specification of protocols used in the Ceph file system [53]. We also provided on-site training for Huawei engineers in Chengdu, China.