上海交通大學可靠分散式系統實驗室（RAD Lab） 以國內外分散式計算領域提出的基本問題為背景，開展分散式計算理論、技術和系統方面的基礎性研究。RAD Lab 的創建傳載自實驗室人員長期對分散式計算可靠性、適應性理論和分散式軟體系統設計的研究。 實驗室將堅持把研究的質量和水平放在首位，積極開展與國內外同行的實質性合作，推動各種形式的學術交流， 致力於成為國內乃至國際優秀的分散式計算和系統基礎研究中心。
基本介紹
- 中文名：上海交通大學可靠分散式系統實驗室
- 地點：上海交通大學
- 研究項目：可信普適服務編排和驗證研究
- 目標：構建正確、高可靠分散式計算環境
簡介,研究項目,
簡介
實驗室通過研究生教育、培訓以及國際合作、企業合作等多種形式來應對高可靠分散式計算環境設計、開發、整合、驗證和維護所帶來的挑戰。RAD Lab 研究興趣包括高可靠分散式計算相關的實驗原型、經驗模型、形式化分析、設計 / 開發策略，目標是要構建正確、可靠、安全、高可用的高可靠分散式計算環境。
研究項目
面向服務的普適套用動態服務更新的框架范型
可信普適服務編排和驗證研究
普適計算中可信服務構建的形式化分析與驗證
普適環境下網構軟體的服務質量與保護質量及保障機制
Global Computing 下軟體單元動態演化的抽象機制研究
基於服務的分散式軟體的動態更新關鍵技術研究
分散式系統中軟體動態更新的形式化研究
旅遊信息數據交換規範
