|
题名:
|
实时嵌入式系统设计方法 [ 专著] shi shi qian ru shi xi tong she ji fang fa / 李曦[等]编著 , |
|
ISBN:
|
978-7-302-59032-3 价格： CNY59.80 |
|
语种:
|
chi |
|
载体形态:
|
301页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2022.01 |
|
内容提要:
|
本书将以“建模-设计-分析”为核心讨论系统级设计方法。全书围绕反应式、分布式和实时性等关键系统特征，以“构建正确”和“关注分离”等设计理念为核心，聚焦构件化、模型化设计方法。主要内容包括硬件平台、实时操作系统、实时任务调度与资源管理、多处理器与分布式系统、实时软件设计、形式化方法等内容，涵盖结构化系统设计过程中的规约、建模、分析、验证、软硬件实现等阶段。需要读者具备信息技术领域的基础知识。 |
|
主题词:
|
微型计算机 系统设计 |
|
中图分类法:
|
TP36 版次： 5 |
|
主要责任者:
|
李曦 li xi 编著 |
|
附注:
|
教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材 高等学校软件工程专业系列教材 |