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