The McMaster-Shanghai Research Group on Dependable Systems started their collaboration in May 2015. The group was supported by the Program of High-end Foreign Experts of the city of Shanghai, Shanghai University, and McMaster University.