机读格式显示(MARC)
- 010 __ |a 978-7-111-63733-2 |d CNY79.00
- 100 __ |a 20191118d2019 em y0chiy50 ea
- 200 1_ |a 实时嵌入式系统 |A shi shi qian ru shi xi tong |d = Real-time embedded systems |f (美) 王加存著 |g 樊卫华译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2019
- 215 __ |a 10, 218页 |d 26cm
- 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu
- 314 __ |a 王加存,蒙莫斯大学计算机科学与软件工程系教授。
- 314 __ |a 樊卫华,南京理工大学自动化学院副教授,中国自动控制理论专业委员会网络化控制系统学组委员,中国人工智能学会会员等。
- 330 __ |a 本书对实时嵌入式系统调度、资源访问控制、软件设计与开发以及高级系统建模、分析与验证等方面进行了综合讲解。首先概述基本概念,之后深入研究硬件组件的细节,包括处理器、内存、I/O设备和架构、通信结构、外围设备,然后介绍实时操作系统的特性。后面的章节致力于介绍实时任务调度算法和资源访问控制策略,以及优先级反转控制和死锁避免,同时还介绍了实时系统的并行系统编程和POSIX编程,以及有限状态机和时间Petri网。再接下来是软件工程师特别感兴趣的模型检查(其中讨论了时序逻辑和NuSMV模型检查工具),以及使用UML进行实时系统设计。最后探讨了软件可靠性、老化、重启、安全以及电源管理等实际问题。
- 410 _0 |1 2001 |a 计算机科学丛书
- 500 10 |a Real-time embedded systems |A Real-time embedded systems |m Chinese
- 606 0_ |a 微型计算机 |A wei xing ji suan ji |x 系统设计
- 701 _0 |a 王加存 |A wang jia cun |4 著
- 702 _0 |a 樊卫华 |A fan wei hua |4 译
- 801 _0 |a CN |b HDUL |c 20200923
- 905 __ |a HDUL |d TP360.21/1441