书目信息 机读格式(MARC)
实时嵌入式系统设计方法
| ISBN/价格： | 978-7-302-59032-3:CNY59.80 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 实时嵌入式系统设计方法/.李曦等编著 |
| 出版发行项： | 北京:,清华大学出版社:,2022.01 |
| 载体形态项： | 301页:;+图:;+26cm |
| 一般附注： | 教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材 高等学校软件工程专业系列教材 |
| 提要文摘： | 本书将以“建模-设计-分析”为核心讨论系统级设计方法。全书围绕反应式、分布式和实时性等关键系统特征，以“构建正确”和“关注分离”等设计理念为核心，聚焦构件化、模型化设计方法。主要内容包括硬件平台、实时操作系统、实时任务调度与资源管理、多处理器与分布式系统、实时软件设计、形式化方法等内容，涵盖结构化系统设计过程中的规约、建模、分析、验证、软硬件实现等阶段。需要读者具备信息技术领域的基础知识。 |
| 题名主题： | 微型计算机 系统设计 高等学校 教材 |
| 中图分类： | TP360.21 |
| 个人名称等同： | 李曦 编著 |
| 记录来源： | CN 人天书店 20220124 |