登陆
注册
华东师范大学软件工程学院副教授、院长助理、嵌入式软件与智能系统系主任，主要研究领域为软件需求、软件形式化方法和软件测试等。主持多项国家自然科学基金青年基金、面上基金及重点企业合作项目，在国内外高水平期刊与会议发表学术论文20余篇。曾获得上海市科技进步特等奖、上海市高校青年教师教学竞赛一等奖。多年来聚焦嵌入式控制软件的形式化需求建模与分析验证，所研制的工具在航空航天和轨道交通领域多家重点企业应用。
-
汽车以太网容错能力测试随着汽车以太网标准BroadR-Reach和时间敏感网络(TSN)的引入，以太网已经成为车载网络的一种选择。虽然它已经在IT领域使用了几十年，但它是一种新的自动驾驶技术，需要广泛的测试。当前的测试解决...
2020年04月20日02851 -
中国节能与新能源汽车产业政策分析（2019版）中国节能与新能源汽车产业政策分析（2019版）
2020年04月16日01014 -
新能源汽车DC-DC变换器研究报告（2020版）新能源汽车DC-DC变换器研究报告（2020版）
2020年04月16日01450 -
燃料电池产业政策分析（2019版）燃料电池产业政策分析（2019版）
2020年04月15日0931 -
汽车节能减排之电气化革新（2020版）汽车节能减排之电气化革新（2020版）
2020年04月15日0834 -
基于决策树的机器车拒绝服务和命令注入攻击检测移动网络物理系统，例如汽车，无人机和机器人车辆正逐渐成为网络攻击的有吸引力的目标。这是一个挑战，因为为常规计算机系统构建的入侵检测系统往往不合适。他们可能对资源受限的网络物理系统要求太高，或者由于缺乏...
2020年04月07日01845 -
一个高度自动化汽车的安全验证架构验证高度自动化车辆(HAVs)的安全性是一项重大的自动驾驶挑战。HAV安全验证策略仅仅基于原始的道路测试是不可行的。虽然模拟和使用边缘案例场景可以帮助降低验证成本，但如果不采用验证数据收集和安全分析的...
2020年04月07日01743