主要研究领域嵌入式系统可信计算及安全性验证，特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析，并针对汽车引擎控制系统、CAN总线，完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表，利用DST（Digraph Scheduler Table）模型，完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模，并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
-
标准缺失掣肘？智能网联汽车信息安全标准发布标准缺失掣肘？智能网联汽车信息安全标准发布
2020年04月11日01841 -
5分钟带你了解2020 个人信息安全规范3月6日，国家市场监督管理总局、国家标准化管理委员会发布《 GB/T35273-2020信息安全技术 个人信息安全规范》，（以下简称“新规范”）并定于2020年10月1日实施。本文对新规范的新增内容和...
2020年03月31日03166 -
工信部印发《关于推动5G加快发展的通知》3月25日消息，工信部印发《关于推动5G加快发展的通知》。通知明确提出，促进“5G+车联网”协同发展。推动将车联网纳入国家新型信息基础设施建设工程，促进LTE-V2X规模部署。建设国家级车联网先导区，...
2020年03月30日02122 -
中国信通院解读《关于推动5G加快发展的通知》为深入贯彻落实习近平总书记关于推动5G网络加快发展的重要讲话精神，工业和信息化部发布《关于推动5G加快发展的通知》（以下简称《通知》），要求各地各单位在做好疫情防控工作的同时，全力推进5G网络建设、应...
2020年03月30日02050 -
工信部部署推动5G加快发展，明确五方面18项措施为深入贯彻落实习近平总书记关于推动5G网络加快发展的重要讲话精神，全力推进5G网络建设、应用推广、技术发展和安全保障，充分发挥5G新型基础设施的规模效应和带动作用，支撑经济高质量发展，工业和信息化部印...
2020年03月30日01861 -
加快计算机可信芯片研发，上海控安算石团队自研可信计算系统面对日益复杂的网络安全威胁，被动的防御和补丁升级，已经不足以应对。如何变被动防御为主动免疫?中国工程院沈昌祥院士认为，可信计算，应从芯片等底层基础硬件做起，在不破坏软件代码逻辑的前提下，将威胁防患于未...
2020年03月24日02098 -
11部委红头文件：智能汽车发展战略，四大要点，利好产业（全文）《智能汽车发展战略》早在2017年就开始启动，2018年1月出台过征求意见稿，历经三年，目前应该已经内部定稿。
2020年03月24日02333 -
工业和信息化部 国家发展改革委 科技部关于印发《汽车产业中长期发展规划》的通知汽车产业是推动新一轮科技革命和产业变革的重要力量，是建设制造强国的重要支撑，是国民经济的重要支柱。汽车产业健康、可持续发展，事关人民群众的日常出行、社会资源的顺畅流通和生态文明的全面跃升。
2020年03月24日02160 -
控安孵化创新技术团队-盾睿Reform需求分析工具1月15日，在50余位来自上汽集团、蔚来汽车、天际汽车、苏州恒美、宝沃汽车、京滨电子、华东师范大学等知名企业、高校专家的见证下，由上海控安和控安盾睿团队共同研发的需求工程工具RE-FORM正式亮相。
2020年03月17日02125 -
工业和信息化部 国家发展改革委 科技部关于印发《汽车产业中长期发展规划》的通知《汽车产业中长期发展规划》内容
2020年03月11日02610