机读格式显示(MARC)

• 000 01557nam 2200313 450

• 001 0000707384

• 005 20200831162500.0

• 010 __ |a 978-7-111-63733-2 |d CNY79.00

• 099 __ |a CAL 012019156022

• 100 __ |a 20191122d2019 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 实时嵌入式系统 |A shi shi qian ru shi xi tong |f (美) 王加存著 |d = Real-time embedded systems |f Jiacun Wang |g 樊卫华译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2019

• 215 __ |a X, 218页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 320 __ |a 有书目

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

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Real-time embedded systems |m Chinese

• 606 0_ |a 微型计算机 |A wei xing ji suan ji |x 软件设计

• 690 __ |a TP360.21 |v 5

• 701 _0 |a 王加存 |A wang jia cun |g (Wang, Jiacun) |4 著

• 702 _0 |a 樊卫华 |A fan wei hua |4 译

• 801 _0 |a CN |b SEU |c 20191122

• 905 __ |a SCNU |f TP360.21/1044/ 1

• 920 __ |a 242430 |z 1