新华正版嵌入式实时系统 (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣译 9787512418714 北京航空航天大学出版社

新华书店直发全新正版急速发货开票联系客服

作者: (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣译
出版社: 北京航空航天大学出版社
ISBN: 9787512418714

出版时间: 2015-12
装帧: 平装
开本: 16开

作者: (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣译
出版社: 北京航空航天大学出版社

ISBN: 9787512418714
出版时间: 2015-12

装帧: 平装
开本: 16开

售价 45.10 6.5折

定价￥69.00

品相全新

优惠

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2023-07-07

数量: 库存2件

立即购买加入购物车收藏

卖家超过10天未登录

商品详情
店铺评价

手机购买

微信扫码访问

商品分类：

教材教辅考试 > 教材 > 大学教材 > 计算机与互联网

货号：

1201259073

商品描述：

作者简介
ALBERT M.K.CHENG,PhD.获得德萨斯大学奥斯汀分校计算机科学博士学位，在哪里他获得了GTE基金的博士奖学金。他目前是休斯敦大学计算机科学系副教授，也是休斯敦大学实时系统实验室创始人及主任。ALBERT M.K.CHENG是超过60本出版物的作者和合著者，并获得过无数奖项，包括NSF事业奖。他曾担任过几个组织机构（包括IBM）的技术顾问，并且是许多程序委员会会议的成员。

目录
第1章简介
1.1什么是时间
1.2仿真
1.3测试
1.4验证
1.5运行时期监测
1.6相关资源
第2章非实时系统的分析与验证
2.1符号逻辑
2.1.1命题逻辑
2.1.2谓词逻辑
2.2自动机和语言
2.2.1语言和表示
2.2.2有限自动机
2.2.3非定时系统的规范指定和验证
2.3历史回顾和相关研究
2.4总结
习题
第3章实时调度和调度性分析
3.1确定计算时间
3.2单处理器调度
3.2.1独立可抢占任务的调度
3.2.2不可抢占任务的调度
3.2.3带前后次序约束的不可抢占任务
3.2.4周期任务间的通信：确定的会合模型
3.2.5带临界区域的周期任务：核心化监测模型
3.3多处理器调度
3.3.1调度表示
3.3.2单实例任务调度
3.3.3周期任务调度
3.4可用的调度工具
3.4.1PERTS/RAPIDRMA
3.4.2PerfoRMAx
3.4.3TimeWiz
3.5可用的实时操作系统
3.6历史回顾和相关研究
3.7总结
习题
第4章有限状态系统的模型检测
4.1系统规范
4.2CLARKE-EMERSON-SISTLA模型检测器
4.3CTL的扩展
4.4应用
4.5用C实现的完整的CTL模型检测器程序
4.6符号化模型检测
4.6.1二元决策图BDDs
4.6.2符号模型检测器
4.7实时CTL
4.7.1最小和最大延迟
4.7.2条件发生的最小和最大数量
4.7.3非单位转移时间
4.8可用的工具
4.9历史回顾和相关研究
4.10总结
习题
第5章可视形式化、状态图和STATEMATE
5.1状态图
5.1.1状态图的基本功能
5.1.2语义
5.2活动图
……
第6章实时逻辑、图论分析与模式图
第7章利用饰件自动机进行验证
第8章时间相关的Petri网
第9章进程代数
第10章基于命题逻辑规则系统的设计与分析
第11章基于谓词逻辑规则系统的时序分析
第12章基于规则系统的优化
参考文献

内容摘要
阿尔伯特陈著作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forrealanalysis）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。
本书面向高等院校本科生和研究生，作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用；也可面向业界从业者和研究人员，作为参考书使用。
配送说明

...
相似商品
为你推荐

孔网分类

图书

图书

新华正版 嵌入式实时系统 (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译 9787512418714 北京航空航天大学出版社

孔网啦啦啦啦啦纺织女工火锅店第三课

新华正版嵌入式实时系统 (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣译 9787512418714 北京航空航天大学出版社