嵌入式实时系统:调度、分析和验证:scheduling, analysis, and verification 软硬件技术 (美)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-02
卖家超过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
即将开播，去预约
直播中，去观看
占位居中
