嵌入式实时系统 软硬件技术 (美)阿尔伯特陈(albert m.k.cheng)
举报
-
作者:
(美)阿尔伯特陈(albert m.k.cheng)
-
出版社:
北京航空航天大学出版社
-
ISBN:
9787512418714
-
出版时间:
2015-12
-
版次:
1
-
装帧:
平装
-
开本:
16
-
页数:
403页
-
字数:
559千字
-
作者:
(美)阿尔伯特陈(albert m.k.cheng)
-
出版社:
北京航空航天大学出版社
-
ISBN:
9787512418714
-
出版时间:
2015-12
-
版次:
1
-
装帧:
平装
-
开本:
16
-
页数:
403页
-
字数:
559千字
售价
¥
27.60
4.0折
定价
¥69.00
品相
全新品相描述
上书时间2024-04-06
卖家超过10天未登录
手机购买
微信扫码访问
-
-
商品描述:
-
目录:
章简介
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)的技术顾问,并且是许多程序委员会会议的成员。
孔网啦啦啦啦啦纺织女工火锅店第三课
开播时间:09月02日 10:30
即将开播,去预约
直播中,去观看