《嵌入式实时系统——调度、分析和验证》 - 阿尔伯特陈 (Albert M.K.cheng),周强,李峭 - 北京航空航天大学出版社 - 香港大書城 - Meg Book Store

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

會員書架精選

2023年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書
七月出版：大陸書台灣書
六月出版：大陸書台灣書
五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書
二月出版：大陸書台灣書
一月出版：大陸書台灣書
12月出版：大陸書台灣書
11月出版：大陸書台灣書
十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書

『簡體書』嵌入式实时系统——调度、分析和验证

書城自編碼： 2718299
分類：簡體書→大陸圖書→計算機/網絡→操作系統/系統開發
作者：阿尔伯特陈 (Albert M.K.cheng),周强,李峭
國際書號(ISBN)： 9787512418714
出版社：北京航空航天大学出版社
出版日期： 2015-12-01
版次： 1 印次： 1
頁數/字數： 403/559000
書度/開本： 16开釘裝：平装

售價：HK$ 127.7

我要買件

** 我創建的書架 **
未登入.

新書推薦：

汽车传感器结构·原理·检测·维修

《汽车传感器结构·原理·检测·维修》
售價：HK$ 109.8

怪谈百物语：不能开的门（“日本文学史上的奇迹”宫部美雪重要代表作！日本妖怪物语集大成之作，系列累销突破200万册！）

《怪谈百物语：不能开的门（“日本文学史上的奇迹”宫部美雪重要代表作！日本妖怪物语集大成之作，系列累销突破200万册！）》
售價：HK$ 65.0

罗马政治观念中的自由

《罗马政治观念中的自由》
售價：HK$ 50.4

中国王朝内争实录：宠位厮杀

《中国王朝内争实录：宠位厮杀》
售價：HK$ 61.6

凡事发生皆有利于我（这是一本读了之后会让人运气变好的书”治愈无数读者的心理自助经典）

《凡事发生皆有利于我（这是一本读了之后会让人运气变好的书”治愈无数读者的心理自助经典）》
售價：HK$ 44.6

未来特工局

《未来特工局》
售價：HK$ 55.8

高术莫用（十周年纪念版逝去的武林续篇薛颠传世之作武学尊师李仲轩家世凸显京津地区一支世家的百年沉浮）

《高术莫用（十周年纪念版逝去的武林续篇薛颠传世之作武学尊师李仲轩家世凸显京津地区一支世家的百年沉浮）》
售價：HK$ 54.9

英国简史（刘金源教授作品）

《英国简史（刘金源教授作品）》
售價：HK$ 98.6

建議一齊購買：

+

HK$ 88.5
《CC3200 Wi-Fi微控制器原理与实践——基于MiCO 》

+

HK$ 109.2
《ARM Cortex-M4 + Wi-Fi MCU应用指南—》

+

HK$ 127.7
《嵌入式协议栈μC/USB-Device μC/USB：The》

+

HK$ 183.2
《深度探索嵌入式操作系统：从零开始设计、架构和开发》

內容簡介：

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

目錄：

第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.1 PERTSRAPID RMA
3.4.2 PerfoRMAx
3.4.3 TimeWiz
3.5 可用的实时操作系统
3.6 历史回顾和相关研究
3.7 总结
习题
第4章有限状态系统的模型检测
4.1 系统规范
4.2 CLARKE-EMERSON-SISTLA模型检测器
4.3 CTL的扩展
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章基于规则系统的优化
参考文献

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户

megBook.com.hk

Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.