词条 | 上海交通大学可靠分布式系统实验室 |
释义 | 简介上海交通大学可靠分布式系统实验室(RAD Lab) 以国内外分布式计算领域提出的基本问题为背景,开展分布式计算理论、技术和系统方面的基础性研究。RAD Lab 的创建传载自实验室人员长期对分布式计算可靠性、适应性理论和分布式软件系统设计的研究。 实验室将坚持把研究的质量和水平放在首位,积极开展与国内外同行的实质性合作,推动各种形式的学术交流, 致力于成为国内乃至国际优秀的分布式计算和系统基础研究中心。 实验室通过研究生教育、培训以及国际合作、企业合作等多种形式来应对高可靠分布式计算环境设计、开发、整合、验证和维护所带来的挑战。RAD Lab 研究兴趣包括高可靠分布式计算相关的实验原型、经验模型、形式化分析、设计 / 开发策略,目标是要构建正确、可靠、安全、高可用的高可靠分布式计算环境。 研究项目面向服务的普适应用动态服务更新的框架范型 可信普适服务编排和验证研究 普适计算中可信服务构建的形式化分析与验证 普适环境下网构软件的服务质量与保护质量及保障机制 Global Computing 下软件单元动态演化的抽象机制研究 基于服务的分布式软件的动态更新关键技术研究 分布式系统中软件动态更新的形式化研究 旅游信息数据交换规范 |
随便看 |
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。