书目详细信息
： 实时嵌入式系统设计方法
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-59032-3:CNY59.80 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 实时嵌入式系统设计方法/.李曦 ... [等] 编著 |
| 出版发行项： | 北京:,清华大学出版社:,2022 |
| 载体形态项： | 301页:;+图:;+26cm |
| 丛编项： | 高等学校软件工程专业系列教材 |
| 一般附注： | 教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材 |
| 提要文摘： | 本书从实时计算和设计自动化两方面讨论此类系统的系统级设计方法，主要涉及硬件架构、实时操作系统、实时任务调度与共享资源访问控制、多处理器与分布式实时系统、实时嵌入式软件设计(程序结构、编程模型、实时编程语言)、形式化方法(设计、建模、验证)、建模语言与设计框架，以及常用的辅助设计工具等内容，涵盖应用软件、运行时环境和硬件系统结构等多个系统层次。书中纲要式地勾画出基于构件化设计(CBD)和基于模型化设计(MBD)范式的系统设计方法的完整视图和工程化开发过程的关键阶段，并展现了学术界的最新研究成果和工业界的应用现状。 |
| 题名主题： | 微型计算机 系统设计 高等学校 教材 |
| 索书号： | TP360.21-43/L43 |
| 中图分类： | TP360.21-43 |
| 个人名称等同： | 李曦 编著 |
| 个人名称等同： | 陈香兰 编著 |
| 个人名称等同： | 王超 编著 |
| 记录来源： | CN 浙江省新华书店集团公司 20220111 |