中围种学技本大学 软硬件协同设计方法 李曦 llxx@ustc.edu.cn 计算机系、计算机应用研究室
软硬件协同设计方法 李曦 llxx@ustc.edu.cn 计算机系、计算机应用研究室
内容提要 。 需求：gap between two domain ·嵌入式系统协同设计方法与流程 ·系统建模方法 一基于模型的方法 ·可视化 一基于语言的方法 ·SystemC ·计算模型 ·协同设计环境与工具 llxx@ustc.edu.cn 2/71
内容提要 • 需求：gap between two domain • 嵌入式系统协同设计方法与流程 • 系统建模方法 – 基于模型的方法 llxx@ustc.edu.cn 2/71 • 可视化 – 基于语言的方法 • SystemC • 计算模型 • 协同设计环境与工具
参考资料 不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， – 嵌入式系统设计：模型和体系结构、描述语言、系 统划分、质量评估、描述细化以及系统级方法学等
Architecture model of CPS Round Robin Fixed Priority EDF Output Events ECU ECU ECU wwo Communication Bus
Architecture model of CPS
Application models of CPS ·反应式系统 Architecture event models:event streams Application response-time,end-to-end delay ·flow-analysis jue indin sync:temporally deterministic RTOS ·logical concurrency Core ·实时系统 task models:concurrent tasks finishing-time,deadline 0 0 1 schedulability analysis i2 0 0 - async:nondeterminism o 十十十 physical concurrency 60 arrival order/computation time (physical time) (logical time)
Application models of CPS • 反应式系统 – event models：event streams • response-time，end-to-end delay • flow-analysis – sync：temporally deterministic • logical concurrency • 实时系统 – task models：concurrent tasks • finishing-time，deadline • schedulability analysis – async：nondeterminism • physical concurrency • arrival order/computation time