上海市高可信计算重点实验室开放课题申请指南
发布时间:2013-07-31

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

一、课题研究内容包括(但不限于):

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

 

华东师范大学软件工程学院

www.sei.ecnu.edu.cn Copyright Software Engineering Institute

院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼