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