在研项目
| 项目名称 | 项目来源 | 负责人 | 时间 |
| 面向大数据应用的新型内存计算系统软件及关键技术 | 863项目 | 陈闻杰 | 2015-2017 |
| 不确定环境下可信国产城轨控制系统（iCMTCt）构造关键技术研究 | 国家自然科学基金项目 | 陈铭松 | 2015-2016 |
| 具有时空一致性的软件形式化理论与方法的研究 | 国家自然科学基金项目 | 陈仪香 | 2014-2017 |
| 线形时态逻辑的可满足性理论与应用研究 | 国家自然科学基金项目 | 蒲戈光 | 2016-2019 |
| 大规模概率并发实时系统模型检验 | 国家自然科学基金项目 | 郭建 | 2016-2020 |
| 移动群智感知中基于位置语义的情景计算关键技术研究 | 国家自然科学基金项目 | 蔡海滨 | 2017-2020 |
| 面向虚拟着装和试衣仿真的碰撞检测与碰撞响应算法研究 | 国家自然科学基金项目 | 张新宇 | 2016-2019 |
| 嵌入式控制软件的形式化规格说明构建的工程方法 | 国家自然科学基金项目 | 缪炜恺 | 2015-2017 |
| 安全工控程序分解与转换的形式化理论研究 | 国家自然科学基金项目 | 黄滟鸿 | 2017-2019 |
| 基于虚拟原型的信息物理融合系统高效可信构造研究 | 国家自然科学基金项目 | 陈铭松 | 2017-2017 |
| 汽车电子功能安全体系设计及功能安全模型及验证工具开发 | 科技部其他科技项目 | 蒲戈光 | 2014-2016 |
| 基于模型的网络化嵌入式软件设计与测试技术研究 | 其他部委科技项目 | 陈仪香 | 2016-2019 |
| 智能异构式操作系统的可信理论研究 | 上海市科委科技项目 | 史建琦 | 2015-2017 |
| 危险化学品运输远程监控云服务平台 | 其他部委科技项目 | 琚小明 | 2013-2017 |
| 高阶规约驱动的信息物理融合系统可信构造研究 | 上海市教委科技项目 | 陈铭松 | 2014-2016 |
| 不确定环境下可信国产城轨控制系统（iCMTCt）构造关键技术研究 | 上海市科委科技项目 | 陈铭松 | 2015-2016 |
| 面向物联网软硬件协同计算的FPGA公共抽象层关键技术研究 | 上海市科委科技项目 | 陈闻杰 | 2015-2017 |
| 基于形式化方法的LLVM中间语言的理论研究 | 上海市科委科技项目 | 黄滟鸿 | 2015-2017 |
| 基于Web服务的可信软件形式工程开发方法 | 上海市科委科技项目 | 缪炜恺 | 2014-2017 |
| 上海市绿叶菜供需大数据系统开发及应用 | 上海市科委科技项目 | 张冠华 | 2015-2017 |
| 面向3D打印的三维模型快速重构技术研究 | 上海市科委科技项目 | 张新宇 | 2014-2017 |
| 基于形式语义推理与深度学习技术的自然语言知识挖掘系统 | 上海市其他委局项目 | 史建琦 | 2015-2017 |
| 支持国产操作系统的教学工作平板系统 | 上海市其他委局项目 | 刘献忠 | 2014-2016 |
| 农业云应用研究 | 上海市其他委局项目 | 张冠华 | 2014-2019 |
| C程序单元白盒测试工具（含源代码） | 事业单位项目 | 史建琦 | 2015-2017 |
| 华师教育平台微信应用软件开发 | 企业单位项目 | 徐刚 | 2016-2016 |
| 基于并行计算的大规模天线系统仿真评估平台研发 | 事业单位项目 | 张冠华 | 2014-2017 |
| 基于OBD与北斗/ GPS车队管理TFS高级软件模块 | 企业单位项目 | 王振辉 | 2016-2016 |
| 国内L及T应用协议分析及还原 | 企业单位项目 | 陈铭松 | 2015-2017 |
| 基于OBD GPS-北斗TAI车辆应用平台接口 | 企业单位项目 | 王振辉 | 2016-2016 |
| 嵌入式软件验证工具v1.0 | 企业单位项目 | 蒲戈光 | 2016-2016 |
| 高通量短程无线自治网络通信技术研究 | 事业单位项目 | 朱明华 | 2016-2017 |
| 总参***项目 | 事业单位项目 | 蔡海滨 | 2015-2016 |
| 仓储AGV调度系统（二期工程） | 企业单位项目 | 徐刚 | 2016-2016 |
| 振动分析仪开发 | 企业单位项目 | 朱明华 | 2016-2017 |
| 嵌入式浏览器软件开发 | 其他企事业项目 | 王江涛 | 2011-2016 |
中山北路校区：中山北路3663号 200062
电话：021-62235255
版权所有：华东师范大学软硬件协同设计技术与应用教育部工程研究中心
