“嵌入式系统设计”主要讲授嵌入式系统设计的基本原理以及实操演练。本课程一共包含7章,26个学时,视频总时长648分钟,分成56个视频,每章4-10个视频不等。课程主要内容包括:嵌入式系统总括、指令系统、CPU、计算平台、程序设计与分析、进程与操作系统、实验演示等。本课程注重核心原理讲解,并通过大量例子程序进行辅助理解。学生学习本课程后,可以了解嵌入式系统设计的基本方法,并具备一定的动手能力。
掌握嵌入式程序的三种组件,并能够灵活应用。熟悉控制/数据流图(CDFG),并能够构建CDFG图。掌握嵌入式的编译技术,以及编译器的优化方法。了解程序级性能分析的方法,以及如何优化程序。掌握程序的测试方法,包括功能测试和性能测试。
课程时长 00:08:51
课程时长 00:09:12
课程时长 00:13:10
课程时长 00:13:36
课程时长 00:13:05
课程时长 00:13:12
课程时长 00:05:03
课程时长 00:08:55
课程时长 00:08:41
课程时长 00:12:57
课程时长 00:11:22
课程时长 00:15:51
主要研究领域嵌入式系统可信计算及安全性验证,特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析,并针对汽车引擎控制系统、CAN总线,完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表,利用DST(Digraph Scheduler Table)模型,完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模,并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
已完成
数据加载中