MARC状态：审校 文献类型：中文图书 浏览次数：49
- 题名/责任者:
- 实时嵌入式系统设计方法/李曦 ... [等] 编著
- 出版发行项:
- 北京:清华大学出版社,2022
- ISBN及定价:
- 978-7-302-59032-3/CNY59.80
- 载体形态项:
- 301页:图;26cm
- 丛编项:
- 高等学校软件工程专业系列教材
- 个人责任者:
- 李曦 编著
- 个人责任者:
- 陈香兰 编著
- 个人责任者:
- 王超 编著
- 个人责任者:
- 周学海 编著
- 学科主题:
- 微型计算机-系统设计-高等学校-教材
- 中图法分类号:
- TP360.21
- 一般附注:
- 教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材
- 题名责任附注:
- 题名页题其余责任者: 陈香兰, 王超, 周学海
- 书目附注:
- 有书目 (第299-301页)
- 提要文摘附注:
- 本书将以“建模-设计-分析”为核心讨论系统级设计方法。全书围绕反应式、分布式和实时性等关键系统特征, 以“构建正确”和“关注分离”等设计理念为核心, 聚焦构件化、模型化设计方法。主要内容包括硬件平台、实时操作系统、实时任务调度与资源管理、多处理器与分布式系统、实时软件设计、形式化方法等内容, 涵盖结构化系统设计过程中的规约、建模、分析、验证、软硬件实现等阶段。需要读者具备信息技术领域的基础知识。
全部MARC细节信息>>