| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:44

题名/责任者:
实时嵌入式系统/(美) 王加存著 樊卫华译
出版发行项:
北京:机械工业出版社,2019
ISBN及定价:
978-7-111-63733-2/CNY79.00
载体形态项:
X, 218页:图;26cm
统一题名:
Real-time embedded systems
丛编项:
计算机科学丛书
个人责任者:
王加存 (Wang, Jiacun)
个人次要责任者:
樊卫华
学科主题:
微型计算机-软件设计
中图法分类号:
TP360.21
书目附注:
有书目
提要文摘附注:
本书对实时嵌入式系统调度、资源访问控制、软件设计与开发以及高级系统建模、分析与验证等方面进行了综合讲解。首先概述基本概念,之后深入研究硬件组件的细节,包括处理器、内存、I/O设备和架构、通信结构、外围设备以及实时操作系统的特性。后面的章节致力于介绍实时任务调度算法和资源访问控制策略,以及优先级反转控制和死锁避免。同时还介绍了实时系统的并行系统编程和POSIX编程,以及有限状态机和时间Petri网。令软件工程师特别感兴趣的是模型检测的章节(其中讨论了时序逻辑和NuSMV模型检测工具),以及用UML处理实时软件设计的章节。最后探讨了软件可靠性、老化、重启、安全以及电源管理等实际问题。
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP360.21/72 01482337   西区密排2区      可借
TP360.21/72 01482336   总馆      可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架