登陆
注册
华东师范大学软件工程学院副教授、院长助理、嵌入式软件与智能系统系主任，主要研究领域为软件需求、软件形式化方法和软件测试等。主持多项国家自然科学基金青年基金、面上基金及重点企业合作项目，在国内外高水平期刊与会议发表学术论文20余篇。曾获得上海市科技进步特等奖、上海市高校青年教师教学竞赛一等奖。多年来聚焦嵌入式控制软件的形式化需求建模与分析验证，所研制的工具在航空航天和轨道交通领域多家重点企业应用。
-
汽车以太网容错能力测试随着汽车以太网标准BroadR-Reach和时间敏感网络(TSN)的引入，以太网已经成为车载网络的一种选择。虽然它已经在IT领域使用了几十年，但它是一种新的自动驾驶技术，需要广泛的测试。当前的测试解决...
2020年04月20日02139 -
上海控安与DEKRA Digital达成战略合作1月20日，上海控安与DEKRA Digital正式签署战略合作协议，各方将充分发挥各自优势，互补优质资源，协同推进工业互联网安全产业发展。DEKRA Digital功能安全全球副总裁Gerhard ...
2020年04月20日02640 -
中国节能与新能源汽车产业政策分析（2019版）中国节能与新能源汽车产业政策分析（2019版）
2020年04月16日0863 -
新能源汽车DC-DC变换器研究报告（2020版）新能源汽车DC-DC变换器研究报告（2020版）
2020年04月16日01242 -
燃料电池产业政策分析（2019版）燃料电池产业政策分析（2019版）
2020年04月15日0765