嵌入式实时系统 软硬件技术 (美)阿尔伯特陈(albert m.k.cheng)
￥ 27.6 4.0折 ￥ 69 全新
库存4件
河北廊坊
认证卖家担保交易快速发货售后保障
作者(美)阿尔伯特陈(albert m.k.cheng)
出版社北京航空航天大学出版社
ISBN9787512418714
出版时间2015-12
版次1
装帧平装
开本16
页数403页
字数559千字
定价69元
货号814_9787512418714
上书时间2024-04-06
- 最新上架
![小兔子学花钱系列（生肖版·全4册） 绘本 [加]辛德斯·麦克劳德 新华正版](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/eddfebfd/d65187a6b9d1aa76_s.jpg)
![我会拿筷子了！系列（全2册） 低幼启蒙 []宫里晓美;[]常永美弥图，[英]莉比·沃尔登[俄罗斯]叶卡捷琳娜·特鲁汗 新华正版](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/aacdbedc/b48af929cf38e358_s.jpg)
商品详情
- 品相描述：全新
- 正版特价新书
- 商品描述
-
目录：
章简介
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章进程代数
0章基于命题逻辑规则系统的设计与分析
1章基于谓词逻辑规则系统的时序分析
2章基于规则系统的优化
参文献
内容简介：
阿尔伯特陈著作的嵌入式实时系统调度分析和验证/嵌入式系统译丛面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度分析方法，说明引入形式化方法的必要，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forrealanalyi）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。本书面向高等院校本科生和，作为“嵌入式系统”、“实时系统”相关专业课程教材或参书使用；也可面向业界从业者和研究人员，作为参书使用。
作者简介：
albertm.k.chengphd.获得德萨斯大学奥斯汀分校计算机科学博士，在哪里他获得了gte的博士奖学金。他目前是休斯敦大学计算机科学系副教授，也是休斯敦大学实时系统实验室创始人及主任。albertm.k.cheng是超过60本出版物的作者和合著者，并获得过无数奖项，包括nf事业奖。他曾担任过几个组织机构（包括ibm）的技术顾问，并且是许多程序委员会会议的成员。
— 没有更多了 —
以下为对购买帮助不大的评价