“嵌入式系统设计”主要讲授嵌入式系统设计的基本原理以及实操演练。本课程一共包含7章,26个学时,视频总时长648分钟,分成56个视频,每章4-10个视频不等。课程主要内容包括:嵌入式系统总括、指令系统、CPU、计算平台、程序设计与分析、进程与操作系统、实验演示等。本课程注重核心原理讲解,并通过大量例子程序进行辅助理解。学生学习本课程后,可以了解嵌入式系统设计的基本方法,并具备一定的动手能力。
了解计算平台的构成,掌握CPU总线,以及四周期握手协议。理解通过时序图分析传输方法。了解存储设备的硬件结构,掌握计算平台的搭建,分析影响平台性能的因素,了解其电源管理机制。
课程时长 00:14:10
课程时长 00:15:20
课程时长 00:09:41
课程时长 00:12:09
课程时长 00:07:10
课程时长 00:08:47
主要研究领域嵌入式系统可信计算及安全性验证,特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析,并针对汽车引擎控制系统、CAN总线,完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表,利用DST(Digraph Scheduler Table)模型,完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模,并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
已完成
数据加载中