MARC状态:审校 文献类型:中文图书 浏览次数:52
- 题名/责任者:
- 实时嵌入式系统/(美) 王加存著 樊卫华译
- 出版发行项:
- 北京:机械工业出版社,2019
- ISBN及定价:
- 978-7-111-63733-2/CNY79.00
- 载体形态项:
- 10, 218页;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 王加存 著
- 个人次要责任者:
- 樊卫华 译
- 学科主题:
- 微型计算机-系统设计
- 中图法分类号:
- TP360.21
- 出版发行附注:
- 由约翰·威利父子公司授权
- 责任者附注:
- 王加存,蒙莫斯大学计算机科学与软件工程系教授。
- 责任者附注:
- 樊卫华,南京理工大学自动化学院副教授,中国自动控制理论专业委员会网络化控制系统学组委员,中国人工智能学会会员等。
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书对实时嵌入式系统调度、资源访问控制、软件设计与开发以及高级系统建模、分析与验证等方面进行了综合讲解。首先概述基本概念,之后深入研究硬件组件的细节,包括处理器、内存、I/O设备和架构、通信结构、外围设备,然后介绍实时操作系统的特性。后面的章节致力于介绍实时任务调度算法和资源访问控制策略,以及优先级反转控制和死锁避免,同时还介绍了实时系统的并行系统编程和POSIX编程,以及有限状态机和时间Petri网。再接下来是软件工程师特别感兴趣的模型检查(其中讨论了时序逻辑和NuSMV模型检查工具),以及使用UML进行实时系统设计。最后探讨了软件可靠性、老化、重启、安全以及电源管理等实际问题。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP360.21/1441 | 72338742 | 自然书库(3F东) | 借出-应还日期:2023-03-29 | 现代技术部(1F) | |
TP360.21/1441 | 72338743 | 自然书库(3F东) | 可借 | 现代技术部(1F) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架