“嵌入式系统设计”主要讲授嵌入式系统设计的基本原理以及实操演练。本课程一共包含7章,26个学时,视频总时长648分钟,分成56个视频,每章4-10个视频不等。课程主要内容包括:嵌入式系统总括、指令系统、CPU、计算平台、程序设计与分析、进程与操作系统、实验演示等。本课程注重核心原理讲解,并通过大量例子程序进行辅助理解。学生学习本课程后,可以了解嵌入式系统设计的基本方法,并具备一定的动手能力。
完全掌握I/O设备的硬件结构和通信方法,以及嵌入式驱动程序的编写方法,理解忙等和中断模式的I/O通讯机制。了解特权模式、异常和陷进机制。掌握存储地址的转换及高速缓冲技术。掌握通过流水线技术和高速缓存技术分析CPU性能。了解影响CPU功耗因素。
课程时长 00:07:38
课程时长 00:14:57
课程时长 00:10:52
课程时长 00:07:03
课程时长 00:14:53
课程时长 00:14:51
课程时长 00:08:25
课程时长 00:09:54
课程时长 00:12:19
课程时长 00:07:20
课程时长 00:09:56
课程时长 00:08:34
主要研究领域嵌入式系统可信计算及安全性验证,特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析,并针对汽车引擎控制系统、CAN总线,完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表,利用DST(Digraph Scheduler Table)模型,完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模,并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
已完成
数据加载中