杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

实时嵌入式系统/(美) 王加存著 樊卫华译

出版发行项:

北京:机械工业出版社,2019

ISBN及定价:

978-7-111-63733-2/CNY79.00

载体形态项:

10, 218页;26cm

统一题名:

Real-time embedded systems

丛编项:

计算机科学丛书

个人责任者:

王加存 著

个人次要责任者:

樊卫华 译

学科主题:

微型计算机-系统设计

中图法分类号:

TP360.21

出版发行附注:

由约翰·威利父子公司授权

责任者附注:

王加存，蒙莫斯大学计算机科学与软件工程系教授。

责任者附注:

樊卫华，南京理工大学自动化学院副教授，中国自动控制理论专业委员会网络化控制系统学组委员，中国人工智能学会会员等。

书目附注:

有书目

提要文摘附注:

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

豆瓣简介：