• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

一、学科专业基础课 1车辆工程专业导论 2工程图学 3理论力学 4流体力学 6机械原理 7机械制造基础 8控制工程基础 二、专业核心课程 1汽车电工电子技术 2汽车构造 三、专业选修课程 1汽车 CAD/CAM 2互换性与技术测量 四、实践性教学环节 1工程训练 2汽车拆装实习 3汽车驾驶实习 一、专业核心课 专业导论 计算机辅助电路设计 模拟电子技术 数字电子技术 模拟电子技术实验 数字电子技术实验 高频电子技术 二、专业方向课 通信原理 数字信号处理 三、专业任选课 自动控制原理 传感器原理与应用 MATLAB 及其应用 可编程控制器 嵌入式系统 四、集中实践课 电子工艺实习 单片机课程设计 现代数字系统课程设计 一、 学科专业基础课 1可编程控制器 2模拟电子技术基础 3模拟电子技术实验 4控制工程基础 5机器人工程专业导论 6工程图学 7工程力学 8机械设计基础 三、专业方向课程 9机器人技术基础 10机器视觉 11机器人运动及控制 12运筹学 四、专业选修课程 13嵌入式系统 五、实践性教学环节 14机器视觉课程设计 15电子工艺实习 1计算方法 2流体力学 3工程热力学 4理论力学 5机械工程材料 7机械制图 8工程化学 9电工与电子技术 10专业导论 1可编程序控制器 2测试技术 1机械CAD/CAM 1机械原理课程设计 2电工与电子技术综合实训 3计算机辅助设计 4机械工程认识实习 1机械设计 2机械制造基础 3电工与电子技术 1机电一体化系统设计 2机床数控技术 3工业企业管理 1专业英语 2可编程控制器 3机械创新设计 1机械设计课程设计 2机电一体化系统设计课程设计 3机械工程认识实习 物理学专业导论 光学 力学 热学 理论力学 量子力学 电动力学 三、教师教育课程 物理教学设计与实施 中学物理教学论 模拟电子技术基础 单片机原理与应用 五、实践性教学课程 力学实验 光电子技术基础 光学实验 近代物理实验 教育见习

• 嵌入式处理器概述（实例） • 通用处理器体系结构 – CISC – RISC • 嵌入式处理器 • I/O系统 – 中断 – DMA

1 关于树莓派 2 关于嵌入式 4 设计作业建议 5 嵌入式系统能做什么及竞赛动员

《基于32位ColdFire构建嵌入式系统》教学资源（PPT课件）第2章 ColdFire概述与MCF52233硬件最小系统

1、 ARM指令中的第二操作数“operand2”有哪些具体形式？ 解：有三种：寄存器、寄存器移位、8位位图立即数

一、嵌入式系统的结构 二、DSP的发展历史和特点 三、DSP系统的设计 四、C6000DSP的CPU和存储器 五、DSP的中断使用 六、DSP的时钟 七、信号线的布置

GUI为 Graphics User Interface的简写,即图形用户界面,这是用于提高人机交互友好 性、易操作性的计算机程序,它是建立在计算机图形学基础上的产物。图形用户界面是当今 计算机技术的重大成就之一,它极大地方便了非专业用户的使用,人们不再需要死记硬背大 量的命令,而是通过窗口、菜单方便地进行操作 随着嵌入式系统的日益发展,32位嵌入式处理器及图形显示设备的广泛应用,目标产 品对GUI的需求越来越多

• 分布式实时系统 – Leslie Lamport • “A system is distributed if the message transmission delay is not negligible compared to the time between events in a single process.” [Lam78b]. • Real-Time Systems and Dependable Systems – Temporal properties • Timing constraints on interface, including ordering restrictions • 分布式通信协议 – OSI collapsed model – LIN/CAN • 时间同步 • TTP协议 • H. Kopetz. • P. Veríssimo and L. Rodríguez

1 μC/OS-Ⅱ简介 2 μC/OS-Ⅱ内核结构 3 μC/OS-Ⅱ任务管理 4 C/OS-Ⅱ时间管理 5 μC/OS-Ⅱ任务通信与同步 6 μC/OS-Ⅱ内存管理 7 μC/OS-Ⅱ移植