“嵌入式系统设计”主要讲授嵌入式系统设计的基本原理以及实操演练。本课程一共包含7章,26个学时,视频总时长648分钟,分成56个视频,每章4-10个视频不等。课程主要内容包括:嵌入式系统总括、指令系统、CPU、计算平台、程序设计与分析、进程与操作系统、实验演示等。本课程注重核心原理讲解,并通过大量例子程序进行辅助理解。学生学习本课程后,可以了解嵌入式系统设计的基本方法,并具备一定的动手能力。
理解任务和进程概念,掌握多速率系统的进程设计,熟悉抢占式操作系统的上下文切换的概念。掌握基于优先级的2个调度算法:RMS和EDF算法。了解进程间通信机制。了解操作系统的性能评估方法。
课程时长 00:13:49
课程时长 00:13:39
课程时长 00:09:23
课程时长 00:09:22
课程时长 00:09:55
课程时长 00:09:02
课程时长 00:08:32
课程时长 00:06:10
课程时长 00:09:40
主要研究领域嵌入式系统可信计算及安全性验证,特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析,并针对汽车引擎控制系统、CAN总线,完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表,利用DST(Digraph Scheduler Table)模型,完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模,并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
已完成
数据加载中