基于Uppaal的多处理器实时系统的可调度性分析



基于Uppaal的多处理器实时系统的可调度性分析

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→操作系统论文→实时操作系统论文

基于Uppaal的多处理器实时系统的可调度性分析

论文目录
摘要	第1-7页
ABSTRACT	第7-10页
表格索引	第10-11页
插图索引	第11-12页
第一章绪论	第12-16页
· 多处理器的实时系统	第12-13页
· 可调度性分析	第13-14页
· 相关研究	第14页
· 研究内容和成果	第14-15页
· 论文结构	第15-16页
第二章时间自动机和Uppaal	第16-28页
· 时间自动机	第16-22页
· 有限自动机	第16-17页
· 通信的有限自动机	第17-19页
· 扩展的有限自动机	第19页
· 时间有限自动机	第19-22页
· Uppaal	第22-28页
· Uppaal中的时间自动机	第23-25页
· Uppaal中的模型校验	第25-28页
第三章系统描述与建模	第28-42页
· 系统框架概述	第28-29页
· 硬件环境	第29-35页
· 硬件环境描述	第29页
· 火车-控制台模型	第29-30页
· 在Uppaal中建模	第30-35页
· 任务系统	第35-38页
· 任务系统描述	第35-36页
· 在Uppaal中建模	第36-38页
· 执行平台	第38-42页
· 执行平台描述	第38-39页
· 在Uppaal中建模	第39-42页
第四章系统验证	第42-46页
· 形式化验证	第42-43页
· 可调度性验证	第43-46页
第五章全文总结	第46-48页
参考文献	第48-50页
致谢	第50-52页
攻读学位论文期间发表的学术论文目录	第52 页

本篇论文共52页，点击这进入下载页面。

更多论文
基于Uppaal的多处理器实时系统的可
中国出口制成品动态比较优势研究
双系统加密在属性基密码方案的应用
单轴拉压循环载荷作用下镁合金棘轮
预约定价研究--用合作解决跨国税收
移动进程作为程序语言库函数的研究
车辆退役决策：政策、模型与软件
MAG焊单面焊双面成形熔池视觉特征与
中国税收超常增长问题研究
可靠性建模与库存管理的几个问题的
基于虚拟机的关键信息提取与分析
316L不锈钢表面纳米化组织与性能研
基于张量分解的视觉显著性算法研究
人民币汇率水平合理性问题研究
基于灰色系统和神经网络的省级区域
铝—钢熔敷焊焊接过程保护剂的试验
实用人脸识别系统：技术研究与系统
我国“三农”发展中的金融支持研究
基于Retinex的图像增强算法研究及实
高速公路项目经营效益评价研究
铝—钢螺柱高频感应钎焊工艺研究
图像识别中图像表达的关键技术研究
焊接结构图形系统与工艺设计规则研
我国零售银行贷款定价研究
基于供应链环境下企业供应商选择的
基于混合虚拟化技术的虚拟机性能优
钛—钢板材爆炸焊接工艺优化与数值
中国房地产信贷风险的度量与控制研
纸币残损状态识别技术研究
基于D-B总承包模式的招标与评标方法
中国传统行为管理思想研究
L-半胱氨酸衍生物的合成及其缓蚀性
基于APS的设计知识管理与二次开发集
内河航电枢纽工程航运经济效益后评
出版业中创意资源配置的历史演变
工程分析数据的远程交互可视化技术
板坯连铸机香蕉座在拉坯阻力作用下
高速公路项目业主建设期风险预警研
胜利油田网上培训平台的设计与实现
中国电信产业互联互通接入定价研究

可调度性分析论文多处理器论文实时系统论文 Uppaal论文模型校验论文
版权申明：目录由用户jlq8350**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved