参考资料 不1h ·Peter Marwedel,TU Dortmund教授 做入式系统设计一嵌入式 信息物理系统基础■ -《嵌入式系统设计·嵌入式CPS系统基础》，第2版 ,2011 一第二章：规范与建模 Albert M.K.Cheng,休斯顿大学CSEE教授 《嵌入式实时系统：调度、分析与验证》， REAL-TIME Viley.2002/北航出版社2015 352a6 面向嵌入式实时系统，较系统地论述基本的实时调 算法、调度性分析方法，特别列举了大量关于安 全芙键系统的工程实例。 Daniel D.Gajski(盖斯基)，加大艾尔温分校 52口00d80 -《嵌入式系统的描述与设计》，2005， 嵌人式系统的 繁分芬系箦盗活肉鞲墾给秃葭复系攀蕟導￥季 播述巧设计 统划分、质量评估、 CHINA-PUB.COM参考资料 • Peter Marwedel，TU Dortmund教授 – 《嵌入式系统设计·嵌入式CPS系统基础》，第2版 ，2011 – 第二章：规范与建模 • Albert M.K. Cheng，休斯顿大学CSEE教授 – 《嵌入式实时系统：调度、分析与验证》， Wiley2002/北航出版社2015 – 面向嵌入式实时系统，较系统地论述基本的实时调 度算法、调度性分析方法，特别列举了大量关于安 全关键系统的工程实例。 • Daniel D. Gajski(盖斯基)，加大艾尔温分校 – 《嵌入式系统的描述与设计》, 2005， – 嵌入式系统设计：模型和体系结构、描述语言、系 统划分、质量评估、描述细化以及系统级方法学等