上海市高可信计算重点实验室主要从事高可信计算理论、可信软件构造平台、可信计算应用、可信物联网/CPS、可信车联网等方面的研究。根据实验室建设和发展目标与任务，本着创新、交流和开放的原则，实验室诚挚邀请国内外相关领域的研究人员申请开放课题，每个课题资助经费为3-6万元。所申请的开放课题将本着“公平竞争、科学评审、择优支持”的原则，经过实验室学术委员会评审后确定。请申请者仔细阅读本《开放课题申请指南》，认真填写《开放课题申请表》，并在2013年8月10日前先将申请书电子版发送给联系人，待评审通过后，再于8月20日前将加盖公章的纸制版寄给联系人。

一、课题研究内容包括（但不限于）：

n  高可信计算理论

u 可信计算基础理论

u 可信嵌入式软件建模分析与验证

n  可信软件构造平台

u 软件可信度量工具与方法

u 面向语言的可信计算模型与开发平台

u 基于符号计算的程序验证理论与开发平台

n  可信计算应用

u 若干关键应用软件系统验证的形式化方法与工具

u 面向服务的计算、云计算、无线网络等中的可信计算理论

n  可信物联网/CPS关键技术及其应用

u 物联网可信软件设计理论与方法

u 信息物理融合系统关键机理

u 可信车联网关键技术及其应用

二、研究成果： 学术论文、专利、软件著作权、示范应用等

三、联系人：赵世忠 Email: szzhao@sei.ecnu.edu.cn   电话：021-62224138

四、通讯地址：上海市中山北路3663号软件学院 数学馆东211室 邮编：200062

下载《开放课题基金申请表》.rtf