基于WCET分析技术的程序实时性模型检验方法研究



基于WCET分析技术的程序实时性模型检验方法研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

基于WCET分析技术的程序实时性模型检验方法研究

论文目录
摘要	第10-11页
ABSTRACT	第11-13页
第一章绪论	第13-21页
· 实时系统、嵌入式系统和嵌入式软件	第13-14页
· 形式化方法和模型检验技术	第14-16页
· 时间自动机理论	第16-17页
· 状态转换系统	第16页
· 时间语言	第16-17页
· 时间自动机	第17页
· WCET 技术	第17-18页
· 论文主要研究内容	第18-19页
· 论文结构	第19-21页
第二章 WCET 分析技术	第21-32页
· WCET 分析技术的发展历史和现状	第21页
· WCET 分析方法	第21-23页
· 静态分析方法	第21-22页
· 动态测量方法	第22页
· 混合分析方法	第22-23页
· WCET 静态分析过程	第23-28页
· 流分析	第24-27页
· 低层分析	第27页
· WCET 计算	第27-28页
· 典型的WCET 分析工具	第28-30页
· Bound-T	第29页
· SWEET (SWEdish Execution Time tool)	第29-30页
· RapiTime	第30页
· CALC_WCET_167	第30页
· WCET 分析存在的问题	第30-31页
· 本章小结	第31-32页
第三章实时约束的执行路径映射	第32-53页
· 程序代码的路径集划分	第32-43页
· 划分的前提和约束	第32-33页
· 划分过程	第33-43页
· 处理结果	第43页
· 实时约束的分析	第43-46页
· 实时约束的描述	第44页
· 状态时钟约束的获取	第44-45页
· 实时约束的执行路径描述	第45-46页
· 实时约束与路径集的映射	第46页
· 实验	第46-52页
· 预处理	第47-48页
· 程序的基本块划分	第48-49页
· 程序执行路径获取	第49-51页
· 实时约束与函数集的映射	第51-52页
· 本章小结	第52-53页
第四章基于WCET 的模型检验方法	第53-71页
· 基于WCET 分析的模型检验方法框架	第53-54页
· 程序路径集的WCET 分析	第54-56页
· WCET 分析工具简介	第54-56页
· 分析过程	第56页
· 分析结果	第56页
· 基于WCET 分析结果的实时模型建立和验证	第56-61页
· UPPAAL 简介	第56-58页
· 基于UPPAAL 的建模过程	第58-59页
· 实时性质验证	第59-61页
· 实验	第61-70页
· 实时约束的路径集划分	第62-64页
· 映射路径集的WCET 分析	第64-66页
· 模型修正	第66-67页
· 基于程序分析的模型检验	第67-68页
· 全系统的模型修正	第68-70页
· 本章小结	第70-71页
第五章面向中断的WCET 分析	第71-87页
· 中断和WCET 分析	第71-75页
· 中断和中断系统	第71-72页
· 中断处理过程	第72-74页
· 中断的WCET 分析	第74-75页
· 面向中断的执行时间模型	第75-79页
· 单重中断的时间性分析	第75-76页
· 多重中断的时间性分析	第76-79页
· 面向中断时间模型的WCET 计算	第79-81页
· 单重中断	第80页
· 多重中断	第80-81页
· 实验	第81-86页
· 单重中断处理程序的WCET 分析	第81-83页
· 多重中断处理程序的WCET 分析	第83-84页
· 中断处理对程序实时性的影响	第84-86页
· 本章小结	第86-87页
第六章基于WCET 分析的模型检验方法原型工具WCETModel	第87-95页
· WCETModel 的功能和系统结构	第87-88页
· 路径集划分PathAnalysis	第88-90页
· 实时约束映射ModeltoPath	第90-91页
· WCETPath 和模型检验	第91-92页
· WCETInterrupt 和模型检验	第92-94页
· 本章小结	第94-95页
结束语	第95-97页
致谢	第97-98页
参考文献	第98-102页
作者在学期间取得的学术成果	第102 页

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

更多论文
基于WCET分析技术的程序实时性模型
青砖茶中的真菌及其散囊菌黄色素的
牛血清白蛋白在两水相体系中分配特
基于MapReduce的分布式文本数据过滤
消费者对转基因食用油的认知及态度
共轭亚油酸（CLA）高产乳酸菌的选育
文件型恶意程序的定义及防御方法研
畜禽养殖业主要污染物重金属检测技
产γ-氨基丁酸乳杆菌的筛选及其发酵
文件同步服务中数据同步传输消重策
采用噬菌体展示技术淘选桔青霉素模
数据挖掘中的聚类分析技术研究
益生菌拮抗幽门螺杆菌的研究
数据密集型计算系统中的作业调度技
比较研究核糖蛋白基因结构：探索核
数字卡通项目知识管理系统设计与实
南丰蜜橘β-胡萝卜素羟化酶基因的克
操作系统调度器结构及算法研究
条件性RNAi敲低技术降低FGFR2的表达
钝齿棒杆菌精氨酸生物合成关键酶分
摄像机标定中角点快速提取算法研究
鱼类抗菌肽基因的克隆与表达研究
里下河地区农业面源污染问题研究--
情感智能体认知行为建模研究
鄱阳湖区植被与钉螺分布关系的研究
多级中断环境下航天C程序中的数据竞
四种淡水贝摄食率和耗氧率的实验研
基于混成自动机的事件驱动的CPS系统
椭圆食粉螨种群生态学研究
基于惯导信息的多视角目标模板校正
犬类microRNA的计算机鉴定及分析
并行仿真运行配置管理技术的研究与
高动态范围（HDR）视觉方法研究及其
产纤维素酶菌株的鉴定、诱变育种、
鲫鱼PKR-like Zα结构域结合核酸的
实时视频监控人数统计关键技术研究
军山湖底栖动物群落结构及其生产量
基于数据驱动的虚拟人运动编辑与合
螯爪蚌螨生物学及形态结构的研究
饥饿和恢复投喂对萍乡肉红鲫补偿生
基于群智能和冲突规避策略的基因—
环境脆弱区工业主导产业选择及区域
多像机视场拼接测量系统标定技术研
鄱阳湖南矶山湿地自然保护区鸟类群
镉、铬及铅在日本无刺楤木中积累、
乙型脑炎病毒NS1蛋白的新型prime-b
橙色红曲菌（AS3.4384）SOD基因的克
展示生长抑素的猪细小病毒样颗粒构
运用ISSR分子标记对腐食酪螨不同种
两栖动物缓激肽基因的首次克隆、特
催产素对乌鳢、草鱼、鲫鱼腺垂体内
中小型企业物流业务模式的选择--基
AEs和CLCs蛋白在大鼠心肌细胞缺氯/
兼业农户土地转租行为研究--以山东
新时期农民隐性负担问题研究--以浙
AE2蛋白在高糖诱导内皮细胞凋亡中的
七氟烷对大鼠局灶性脑缺血再灌注损
上海农机社会化服务研究
皮肤切创愈合过程中TLR2、TLR4表达
开发区失地农民社会保障问题研究--
连翘抗内毒素作用及其对LPS-TLR4信
台州市柑橘产业化经营研究
C-反应蛋白在慢性阻塞性肺疾病急性
经济发达地区农户参与农民专业合作
大肠息肉及其癌变的临床相关因素探
农民专业合作经济组织发展的理论与
基于量子漫步的图同构算法研究
EGFR、β-tubulin、ERCC-1在非小细
台州种子产业发展研究
基于轮廓编组和形状指导的目标检测
甜味觉和酸味觉的磁共振脑功能成像
开发区土地集约利用研究--以兰州高
基于谱聚类的图像分割方法研究
多层螺旋CT三期增强靶扫描在孤立性
农户土地规模经营意愿和种植选择行
慢性乙肝患者对拉米夫定原发性无应
西藏自治区农牧民收入现状与增收途
Cyclin D1蛋白表达及RT-PCR检测Cyc
非粮生物能源作物选择与土地需求研
逐搏体表希氏束电图的应用价值
台州市小型企业融资问题研究
sCD40L、MPO、hs-CRP与急性冠状动脉
生产者服务业与制造业互动发展机制
PPARγ激动剂吡格列酮对大鼠重症急
乡村旅游电子商务应用研究
进口贸易技术溢出对我国技术创新影
GIK治疗对严重烫伤肠损伤大鼠NF-κ
肾移植受者CD4~+CD25~+CD127~-T re
服务贸易对我国经济增长影响机制的
基于视觉注意的显著区域检测算法研
基于紫外成像的高压线路缺陷智能检

实时系统论文模型检验论文执行路径论文实时约束论文 WCET分析论文中断
版权申明：目录由用户anan1111**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved