登陆
注册
汽车开放系统架构AUTOSAR
有3156人正在学习
上海控安
2021-01-22 13:33
AUTOSAR（AUTomotive Open System ARchitecture）最早是由2003年AUTOSAR联盟提出的汽车开发系统架构，致力于为汽车工业开发一套支持分布式的、功能驱动的汽车电子软件开发方法和电子控制单元上的软件架构标准化方案。整车软件系统可通过AUTOSAR架构对车载网络、系统内存及总线的诊断功能进行深度管理，它的出现有利于整车电子系统软件的更新与交换，并改善了系统的可靠性和稳定性。
郭健
郭健，华东师范大学博士、副教授，主要研究领域嵌入式系统可信计算及安全性验证，特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析，并针对汽车引擎控制系统、CAN总线，完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表，利用DST（Digraph Scheduler Table）模型，完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模，并研究基于可执行语义的应用分析。
