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

搜索高级搜索

原创毕业论文

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

作者: 浏览:5次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
心理学论文范文
学前教育论文范文

收费计算机专业论文范文

收费计算机专业论文
Delphi
ASP
VB
JSP
ASP.NET
VB.NET
java
VC
pb
VS
dreamweaver
c#.net
vf
VC++
计算机论文

毕业论文范文题目：基于WCET分析技术的程序实时性模型检验方法研究，论文范文关键词：基于WCET分析技术的程序实时性模型检验方法研究
基于WCET分析技术的程序实时性模型检验方法研究毕业论文范文介绍开始：
【论文摘要】：实时系统的正确性不仅依赖于输出结果在逻辑上的正确性,而且要求实时系统在规定的时间范围内实现其功能。实时系统对时间的要求非常苛刻,为了保证实时性,往往采用形式化方法对系统进行精确的建模。传统的模型检验方法是从描述系统的模型出发验证系统的性质,如安全性、活性、可靠性等,模型中的实时约束通常来源于需求规约,与系统的实现无关。但是系统最终是由程序实现,来源于需求的实时约（略..）束无法准确地描述系统实际执行时间,传统实时系统的模型检验方法只能验证抽象模型是否满足实时性质,不能验证相应的实时程序是否满足同样的性质,而且传统的模型检验方法对软件执行中的影响因素也考虑不足,因此对于实时系统而言从程序出发研究模型的实时性是十分必要的。本文对实时系统的程序和模型进行研究,建立基于程序时间性分析的模型检验方法,以中断作为典型的干扰因素研究了不同类别（此处忽略..）中断对系统实时性的影响,为实时软件的可靠性研究提供支持。论文的主要研究内容和成果包括以下四个方面:1.建立实时约束与程序执行路径集的映射方法。将源程序划分成基本块,采用基于邻接表存储的有向图结构描述程序基本块和基本块之间控制流程,遍历有向图寻找有效的执行路径。通过对实时系统时间自动机模型中的实时约束分析,找出实时约束的映射路径集,根据对应路径集结点的位置信息生成映（本文此处忽略..）射程序片段,研究实时约束在程序的中实现过程。2.建立基于WCET分析的模型检验方法。以实时约束为单位对映射程序片段进行最差情况执行时间(Worst-CaseExecutionTime,WCET)的分析,找出映射程序片段的执行时间上限,利用获得的WCET估值修正系统模型中的实时约束,进一步采用实时系统验证工具UPPAAL验证修正后的系统模型是否满足实时性质。3.建立典型中（此处忽略..）断的WCET分析方法。根据实时系统特点研究了面向中断的WCET分析,将中断作为系统实现的一部分,研究典型类别中断对系统实时性的影响,结合实例完成基于中断影响的模型检验方法。4.设计和实现了基于WCET分析的程序实时性模型检验方法原型工具WCETModel,实现了论文中提出的方法,初步建立了统一的方法集和工具集,为实时系统的可信研究提供了支持。

以上为本篇毕业论文范文基于WCET分析技术的程序实时性模型检验方法研究的介绍部分。

本论文在计算机论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

相关论文

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
艺术设计专业论文
采矿专业论文
环境工程专业论文
西班牙语专业论文
热能与动力设计论文
工程力学专业论文
酒店管理专业论文
安全管理专业论文
交通工程专业论文
体育教育专业论文
教育管理专业论文
日语专业论文
德语专业论文
理工科专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：基于Struts框架的智能小区物业管..

下一篇：面向集群计算的专用模块控制程序..