《嵌入式系统设计方法》课程主页

重要信息：

课程目标：

汽车电子、航空航天和医疗设备等安全关键应用系统以高度集成的嵌入式实时系统为构造基础。为了满足此类应用的功能复杂性和行为与时序的可预测性等方面的严格需求，需要建立完整的涵盖设计、实现、验证和分析等步骤的设计方法。本课程将围绕基于模型和基于构件的系统设计方法，讨论嵌入式实时系统设计中的主要问题，包括软硬件平台、任务调度与资源分配、编程模型和编程语言、形式化建模与验证，以及常用的辅助设计工具等等。同时，课程将概要介绍嵌入式实时系统在工业界的应用现状和学术界对嵌入式实时计算问题的研究现状。

先修课程：

计算机组成与结构，操作系统，分布式系统

参考文献：

1. Peter Marwedel，《Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems》，2nd Edition，有中文版
2. Hermann Kopetz，《Real-Time Systems: Design Principles for Distributed Embedded Applications》，2nd Edition，有中文版
3. Hassan Gomaa，Real-Time Software Design for Embedded Systems，2016，有中文版
4. Joseph Yiu，《ARM Cortex-M3权威指南》，第三版，2015
5. Jean J. Labrosse，《嵌入式实时操作系统μC/OS-II》，第二版，2002
6. 旧版讲稿打包下载：打包课件

课程内容：

1. 嵌入式实时系统的关键特征：体系结构、实时性、可预测性、并发
2. 软硬件平台：Cortex-M3微控制器结构，uC/OS，I/O
3. 嵌入式软件编程：同步语言、异步语言
4. 任务模型与约束、实时任务调度、任务通信、资源管理、WCET分析、可调度性分析
5. 系统建模与验证：FSM、TA、时态逻辑、可达性分析、模型检测
6. MBD和CBD设计方法：UML、MARTE、AADL、Autosar
7. 分布式实时系统：时间同步、网络协议（CAN、I2C、FlexRay）

Schedule：