题名:
|
实时嵌入式系统设计方法 / 李曦, 陈香兰, 王超, 周学海编著 , |
ISBN:
|
978-7-302-59032-3 价格: CNY59.80 |
语种:
|
chi |
载体形态:
|
301页 图 26cm |
出版发行:
|
出版地: 北京 出版社: 清华大学出版社 出版日期: 2022 |
内容提要:
|
本书从实时计算和设计自动化两方面讨论此类系统的系统级设计方法, 主要涉及硬件架构、实时操作系统、实时任务调度与共享资源访问控制、多处理器与分布式实时系统、实时嵌入式软件设计 (程序结构、编程模型、实时编程语言)、形式化方法 (设计、建模、验证)、建模语言与设计框架, 以及常用的辅助设计工具等内容, 涵盖应用软件、运行时环境和硬件系统结构等多个系统层次。书中纲要式地勾画出基于构件化设计 (CBD) 和基于模型化设计 (MBD) 范式的系统设计方法的完整视图和工程化开发过程的关键阶段, 并展现了学术界的最新研究成果和工业界的应用现状。 |
主题词:
|
微型计算机 系统设计 |
中图分类法:
|
TP360.21 版次: 5 |
主要责任者:
|
李曦 编著 |
主要责任者:
|
陈香兰 编著 |
主要责任者:
|
王超 编著 |
附注:
|
教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材 |