登陆
注册
主要研究领域嵌入式系统可信计算及安全性验证，特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析，并针对汽车引擎控制系统、CAN总线，完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表，利用DST（Digraph Scheduler Table）模型，完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模，并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
-
汽车以太网容错能力测试随着汽车以太网标准BroadR-Reach和时间敏感网络(TSN)的引入，以太网已经成为车载网络的一种选择。虽然它已经在IT领域使用了几十年，但它是一种新的自动驾驶技术，需要广泛的测试。当前的测试解决...
2020年04月20日02139 -
自动驾驶产业链多种传感器融合成关键（下）自动驾驶产业链多种传感器融合成关键（下）
2020年04月11日02097 -
车路协同自动驾驶封闭场测试的发展现状车路协同自动驾驶封闭场测试的发展现状
2020年04月11日01929 -
特斯拉闯红灯撞本田思域致2死：尚不确定自动驾驶辅助是否启用特斯拉闯红灯撞本田思域致2死：尚不确定自动驾驶辅助是否启用
2020年04月11日01514 -
韩国全球首发L3级自动驾驶安全标准 | 早8点档韩国全球首发L3级自动驾驶安全标准 | 早8点档
2020年04月11日01687
暂无问答记录