计算机科学丛书实时嵌入式系统/(美)王加存

内容简介

[

本书对实时嵌入式系统调度、资源访问控制、软件设计与开发以及不错系统建模、分析与验证等方面进行了综合讲解。首先概述基本概念，之后深入研究硬件组件的细节，包括处理器、内存、I/O设备和架构、通信结构、外围设备以及实时操作系统的特性。后面的章节致力于介绍实时任务调度算法和资源访问控制策略，以及优先级反转控制和死锁避免。同时还介绍了实时系统的并行系统编程和POSIX编程，以及有限状态机和时间Petri网。令软件工程师特别感兴趣的是模型检测的章节（其中讨论了时序逻辑和NuSMV模型检测工具），以及用UML处理实时软件设计的章节。*后探讨了软件可靠性、老化、重启、安全以及电源管理等实际问题。

]

封面

书名:计算机科学丛书实时嵌入式系统/(美)王加存

作者:[美]王加存（Jiacun Wang）

页数:228

定价:¥79.0

出版社:机械工业出版社

出版日期:2019-10-01

ISBN:9787111637332

PDF电子书大小:81MB 高清扫描完整版