MARC状态:审校 文献类型:中文图书 浏览次数:29
- 题名/责任者:
- 实时嵌入式系统设计方法/李曦 ... [等] 编著
- 出版发行项:
- 北京:清华大学出版社,2022.1
- ISBN及定价:
- 978-7-302-59032-3/CNY59.80
- 载体形态项:
- 301页:图;26cm
- 丛编项:
- 高等学校软件工程专业系列教材
- 个人责任者:
- 李曦 编著
- 个人责任者:
- 陈香兰 编著
- 个人责任者:
- 王超 编著
- 学科主题:
- 微型计算机-系统设计-高等学校-教材
- 中图法分类号:
- TP360.21
- 一般附注:
- 教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材
- 题名责任附注:
- 题名页题: 李曦, 陈香兰, 王超, 周学海编著
- 书目附注:
- 有书目 (第299-301页)
- 提要文摘附注:
- 本书从实时计算和设计自动化两方面讨论此类系统的系统级设计方法, 主要涉及硬件架构、实时操作系统、实时任务调度与共享资源访问控制、多处理器与分布式实时系统、实时嵌入式软件设计 (程序结构、编程模型、实时编程语言)、形式化方法 (设计、建模、验证)、建模语言与设计框架, 以及常用的辅助设计工具等内容, 涵盖应用软件、运行时环境和硬件系统结构等多个系统层次。书中纲要式地勾画出基于构件化设计 (CBD) 和基于模型化设计 (MBD) 范式的系统设计方法的完整视图和工程化开发过程的关键阶段, 并展现了学术界的最新研究成果和工业界的应用现状。
- 使用对象附注:
- 本书面向计算机专业研究生或高年级本科生, 需要读者具备计算机工程、软件工程、控制工程、电子工程等相关领域的基础知识
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP360.21/21 | 00705007 | 南海校区书库 (图书定位请点击这里) | 可借 | 南海校区书库 | |
TP360.21/21 | 00705005 | 书库 (图书定位请点击这里) | 可借 | 书库 | |
TP360.21/21 | 00705006 | 书库 (图书定位请点击这里) | 可借 | 书库 |
显示全部馆藏信息