实时嵌入式系统
图书信息
书名：实时嵌入式系统作者：王加存,樊卫华
包装：平装
开本：16
出版社：机械工业出版社
出版时间：2019-10-01
图书简介
《实时嵌入式系统》深入浅出地剖析了实时嵌入式系统的硬件和软件构成以及调度算法、资源访问控制策略、并发编程、有限状态机、时间Petri网、模型检查等核心技术。本书讨论了实时嵌入式系统的主要特性，如实时响应、高度制约的环境、多任务、并发性、可预测性、安全性和可靠性等，并提出了相关的解决方案。此外，本书重点介绍了实时任务调度、资源共享和访问控制、优先级反转控制和死锁避免、POSIX编程、有限状态机、时间Petri网以及模型检查等技术，丰富了读者的知识体系。作者细致入微的写作风格和丰富的实例让本书易于理解，适合计算机专业学生和嵌入式系统设计工程师阅读。
推荐理由
推荐理由：本书全面系统地介绍了实时嵌入式系统调度、资源访问控制、软件设计与开发以及高级系统建模、分析与验证等方面。作者深入浅出地阐述了实时嵌入式系统的构成及其主要特性，并介绍了相关的解决方案。此外，本书针对实际问题如软件可靠性、老化、重启、安全以及电源管理等也进行了探讨，使读者对实时嵌入式系统的整体认知更加全面。因此，我强烈推荐这本书给计算机专业学生和嵌入式系统设计工程师，他们一定可以从本书中获得极大的收获和帮助。