安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

实时嵌入式系统设计方法/李曦 ... [等] 编著

出版发行项:

北京:清华大学出版社,2022.01

ISBN及定价:

978-7-302-59032-3/CNY59.80

载体形态项:

301页:图;26cm

丛编项:

高等学校软件工程专业系列教材

个人责任者:

李曦 编著

个人责任者:

陈香兰 编著

个人责任者:

王超 编著

个人责任者:

周学海 编著

学科主题:

微型计算机-系统设计-高等学校-教材

中图法分类号:

TP360.21

一般附注:

教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材

题名责任附注:

题名页题其余责任者: 陈香兰, 王超, 周学海

书目附注:

有书目 (第299-301页)

提要文摘附注:

本书将以“建模-设计-分析”为核心讨论系统级设计方法。全书围绕反应式、分布式和实时性等关键系统特征, 以“构建正确”和“关注分离”等设计理念为核心, 聚焦构件化、模型化设计方法。主要内容包括硬件平台、实时操作系统、实时任务调度与资源管理、多处理器与分布式系统、实时软件设计、形式化方法等内容, 涵盖结构化系统设计过程中的规约、建模、分析、验证、软硬件实现等阶段。需要读者具备信息技术领域的基础知识。

豆瓣简介：