资料介绍
随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例,此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息。
- 基于VPX6-460的多处理器通信设计
- 基于VPX6—460的多处理器通信设计
- EE-167:使用VisualDSP++™的TigerSHARC®多处理器系统简介
- EE-202:使用多处理器LDFS的专家链接器
- 使用Visual DSP++4.0开发TigerSHARC DSP多处理器系统及其应用的说明 7次下载
- 面向异构多处理器设备的自适应命令解释系统 0次下载
- 怎样使用Nios II处理器来构建多处理器系统 19次下载
- 为嵌入式系统选择合适的多处理器 28次下载
- 异质性多处理器嵌入式系统微核心之设计与实作 23次下载
- 嵌入式异构多处理器系统中的通信实现 47次下载
- 多处理器分组实时调度算法
- 异构多处理器系统Cache一致性解决方案
- 基于21554的无主多处理器系统实现
- 一种基于共享总线的冗余容错多处理器系统
- 总线可重配置的多处理器架构
- 嵌入式微处理器的原理和应用 588次阅读
- 基于多处理器系统的串行通信方式研究 1927次阅读
- 基于OMAP5910双核处理器实现实时图像处理系统的应用设计 2288次阅读
- 深度解读多处理器调度问题 2843次阅读
- 采用WISHBONE总线有效地解决IP核可移植性、设计复用问题 864次阅读
- 基于CAN总线改进的混合调度算法对网络控制系统的性能研究 830次阅读
- 基于嵌入式实时系统的提高构件化嵌入式操作系统性能的方案设计 780次阅读
- Linux内核的发展简史与系统层次结构 7204次阅读
- 基于FPGA和四端口存储器的三DSP图像处理系统详解 901次阅读
- 在异构处理器上跑Linux方法介绍 1428次阅读
- 基于64位多核处理器的共享缓存结构电路设计 1682次阅读
- 一文读懂异构多处理系统 4872次阅读
- MicroTCA成为嵌入信号处理应用过程及系统案例分析 841次阅读
- 全球十大平板电脑处理器厂商盘点 9426次阅读
- 提高FPGA处理总线性能的RapidIO节点设计 2974次阅读
下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
评论
查看更多