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.