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

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

• The Effects of Power • Low Power Design – DPM based low power optimization – DVS based low power optimization • ex: Program-level optimization for multimedia – ACPI：OS supported PM – ACPI：OS supported PM – 软硬件协同低功耗设计 • Power model: Power Analysis/Estimation Tek & Tools • Temperature Aware Design • Leakage Power • Case Study – Cache、Memory、Data Center、Handheld • Conclusion

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

一、学科专业基础课 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机械工程认识实习 物理学专业导论 光学 力学 热学 理论力学 量子力学 电动力学 三、教师教育课程 物理教学设计与实施 中学物理教学论 模拟电子技术基础 单片机原理与应用 五、实践性教学课程 力学实验 光电子技术基础 光学实验 近代物理实验 教育见习

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

• 嵌入式处理器概述 • 处理器体系结构 • ARM处理器架构与编程模型 • Cortex M处理器

• 分布式实时系统 – 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

• 实时任务约束模型 – Assumptions about task timing, interaction • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness: deadline，worst response time，。。。 • efficiency: average response time，makespan – Prioritized goals • Temporal predictability first，performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks？ – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T • Timing Analysis(WCET分析)

• ARM指令集 – ARM指令集分类与指令格式 – ARM指令的寻址方式 – ARM指令集详解 – Thumb指令及应用 • ARM汇编程序设计基础 – 系统初始化 – 调试环境