| ISBN/价格： | 978-7-111-63733-2:CNY79.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 实时嵌入式系统/.(美)王加存(Jiacun Wang)著/.樊卫华译 |
|---|
| 出版发行项： | 北京:,机械工业出版社:,2019.09 |
|---|
| 载体形态项： | 10,218页:;+图:;+26cm |
|---|
| 丛编项： | 计算机科学丛书 |
|---|
| 提要文摘： | 本书对实时嵌入式系统调度、资源访问控制、软件设计与开发以及高级系统建模、分析与验证等方面进行了综合讲解。首先概述基本概念，之后研究硬件组件的细节，包括处理器、内存、I/0设备和架构、通信结构、外围设备，然后介绍实时操作系统的特性。后面的章节致力于介绍实时任务调度算法和资源访问控制策略，以及优先级反转控制和死锁避免，同时还介绍了实时系统的并行系统编程和POSIX编程，以及有限状态机和时间Petri网。再接下来是软件工程师特别感兴趣的模型检查（其中讨论了时序逻辑和NuSMV模型检查工具），以及使用UML进行实时系统设计。最后探讨了软件可靠性、老化、重启、安全以及电源管理等实际问题。 |
|---|
| 并列题名： | Real-time embedded systems eng |
|---|
| 题名主题： | 微型计算机 软件设计 |
|---|
| 中图分类： | TP360.21 |
|---|
| 个人名称等同： | 王加存 著 |
|---|
| 个人名称次要： | 樊卫华 译 |
|---|
| 记录来源： | CN 浙江省新华书店集团公司 20191018 |
|---|