登陆
注册
主要研究领域嵌入式系统可信计算及安全性验证，特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析，并针对汽车引擎控制系统、CAN总线，完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表，利用DST（Digraph Scheduler Table）模型，完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模，并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
-
汽车以太网容错能力测试随着汽车以太网标准BroadR-Reach和时间敏感网络(TSN)的引入，以太网已经成为车载网络的一种选择。虽然它已经在IT领域使用了几十年，但它是一种新的自动驾驶技术，需要广泛的测试。当前的测试解决...
2020年04月20日02146 -
基于时间序列特征提取的车载网络系统入侵检测技术随着对物联网（IoT）需求的增长，通过网络提供并控制了诸如电力，天然气，水，铁路，飞机，汽车等各种服务。迫切需要在负责汽车控制的车载网络中升级非法入侵检测技术。已知有许多针对未经授权的入侵攻击的报告方...
2020年04月07日01383 -
一个高度自动化汽车的安全验证架构验证高度自动化车辆(HAVs)的安全性是一项重大的自动驾驶挑战。HAV安全验证策略仅仅基于原始的道路测试是不可行的。虽然模拟和使用边缘案例场景可以帮助降低验证成本，但如果不采用验证数据收集和安全分析的...
2020年04月07日01221