“嵌入式系统设计”主要讲授嵌入式系统设计的基本原理以及实操演练。本课程一共包含7章,26个学时,视频总时长648分钟,分成56个视频,每章4-10个视频不等。课程主要内容包括:嵌入式系统总括、指令系统、CPU、计算平台、程序设计与分析、进程与操作系统、实验演示等。本课程注重核心原理讲解,并通过大量例子程序进行辅助理解。学生学习本课程后,可以了解嵌入式系统设计的基本方法,并具备一定的动手能力。
理解嵌入式系统的基本概念及特点,了解全嵌入式系统设计所面临的挑战,掌握分析嵌入式系统性能的方法。掌握嵌入式系统设计的设计过程,掌握如何进行需求分析、体系结构设计以及结构和行为描述。
课程时长 00:11:41
课程时长 00:12:48
课程时长 00:11:50
课程时长 00:09:29
课程时长 00:11:29
课程时长 00:08:01
课程时长 00:08:01
主要研究领域嵌入式系统可信计算及安全性验证,特别嵌入式实时操作系统的规范、建模及验证方面的研究。完成汽车电子AUTOSAR OS规范的形式化建模与分析,并针对汽车引擎控制系统、CAN总线,完成基于AUTOSAR规范的汽车电子应用的建模与分析。针对AUTOSAR调度表,利用DST(Digraph Scheduler Table)模型,完成对其可调度性分析。利用重写逻辑完成对OSEK OS的API的操作语义的建模,并研究基于可执行语义的应用分析。同时利用自动化验证方法对µC/OS-II内核进行了验证。
已完成
数据加载中