- 1、本文档共130页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于UPPAAL和UML的实时系统形式化分析与应用-软件工程专业论文
基于UPPAAL和UML的实时系统形式化分析与应用 中文摘要
基于UPPAAL和UML的实时系统
形式化分析与应用
中文摘要
计算机的应用模式在经历了主机模式和个人机模式后,目前正向最适合人类使用 的普适计算模式发展。在普适计算模式下,实时系统将会渗透到人们生活的方方面面, 为提高人们的生活质量发挥重要的作用。在这种情况下,实时系统的质量和开发效率 往往会对一个产品的成功起着决定性的影响。为了保障实时系统的实时性、安全性和 可靠性等,本文在深入研究了时间自动机、UPPAAL、UML的理论基础上,采用时 间自动机与UML相结合的建模方法,使用UPPAAL对所建模型进行分析与验证,并 结合两个实例说明了本方法。
采用形式化方法对实时系统进行分析和验证是提高其安全性、可靠性的一条重要 途径。目前时间自动机是用于实时系统建模的重要形式化工具,它刻画了实时系统与 时间有关的行为特征,反映了实时系统控制行为的可视转向。UML顺序图着重体现 对象间动态的交互关系,而且具有良好的易理解性。但是UML顺序图用来对实时系 统建模和验证还存在时间描述方面的不足,因此本文研究了利用UML的扩展机制对 UML顺序图进行扩展的方法,扩展后的UML顺序图不但能够很好地保持原来的易 理解性,而且能够精确地描述实时系统的时间需求。使用扩展后UML顺序图对实时 系统建模,结合UML顺序图与时间自动机的形式化语义,将顺序图转化为时间自动 机,然后采用模型检测工具UPPAAL对其进行形式化的分析与验证,最后结合咖啡 机控制系统与交通灯控制系统实例,迸一步说明本文所给方法在实时系统中的应用。
关键词:UPPAAI,;UML顺序图:实时系统:时间自动机:建模;模型检测
作‘ 者:赵丽芳 指导老师:张广泉
Abstract Analysis and Application ofReal-time Systems Based on UPPAAL and UML
Formal Analysis and Application of Real—time Systems Based on UPPAAL and UML
Abstract
When the Pervasive Computing age is coming,the real-time system will be more and more important.Productivity and quality of the real-time system are crucial for success of the real—time system.In order to ensure real-time system’S safety and reliability,methods of analysis and verification of real-time systems that combines timed automata based on
UPPAAL and UML are adopted in this paper.
It is important to improve real-time systems’safety and reliability by adopting formal methods to carry on real-time systems analysis and designs.Timed automata is the main formal tools used in real-time systems’designs.Timed automata is an excellent graph-based notation for capturing timed control behaviour of systems.UML sequence
diagram is highly intuitive and can clearly show the interaction among objects.However,it
is not good at describing time requirement of real—time systems.In this paper we adopted a UML extended mechanism that not only can maintain UMLs intelligibility but also Call describe the time requirement of real-time system.We also adopted a method that Call translate UML
您可能关注的文档
- 基于UG的硬质合金面铣刀CAD系统开发-机械电子工程专业论文.docx
- 基于ug的轴类零件特征建模方法研究-机械制造及其自动化专业论文.docx
- 基于UG的铸钢件专用浇注系统的研究与开发-材料加工工程专业论文.docx
- 基于UG的铸钢件补缩系统的研究与开发-材料加工工程专业论文.docx
- 基于UG设计软件的SQR472型发动机虚拟装配系统的研究-机械工程专业论文.docx
- 基于UIAUTOMATOR测试工具SMOKE的设计与实现-软件工程专业论文.docx
- 基于uhf卫星信号闪烁测量的低纬度电离层漂移测量-电磁场与微波技术专业论文.docx
- 基于UKF的无传感器永磁同步电机直接转矩控制研究-电力电子与电力传动专业论文.docx
- 基于UKF的锂离子电池SOC估算方法-控制工程专业论文.docx
- 基于UIMA的企业知识管理系统研究-计算机软件与理论专业论文.docx
- 全国优质课一等奖人音版四年级音乐上册《大雁湖》获奖课件(内嵌音乐视频).pptx
- 全国优质课一等奖人音版四年级音乐上册《牧歌》课件(内嵌音乐视频).pptx
- 大数据开发与应用项目需求.docx
- 全景教学空间建设项目需求.docx
- 基于生成式AI和数字人构建仿真法庭模拟训练系统用户需求书.docx
- 健康医疗大数据工程中心应用软件建设需求.docx
- 浙江版5年高考3年模拟A版2024年物理总复习专题十五波粒二象性教师用书.docx
- 河南湿封市第十中学2024_2025高二生物下学期第一次月考试题.doc
- 云南省昆明市云南师范大学附属中学2025届高三语文适应性月考试题八含解析.doc
- 四川省绵阳南山中学2025届高三政治上学期一诊模拟考试试题扫描版.doc
最近下载
- 2023-2024学年北京市北京师范大学附属实验中学高二上学期12月月考物理试卷含详解.docx VIP
- 新教科版小学科学四年级上册2.1《感受我们的呼吸》教学设计.docx
- 2021年秋新苏教版五年级上册科学全册教学课件.pptx
- 2024全国青少年“学宪法讲宪法”知识竞赛试题(附含答案).pdf
- 2024年养老护理职业技能大赛:为外伤出血老年人包扎止血实操流程讲解.docx
- 部编版《道德与法治》四年级下册第12课《家乡的喜与忧》教学课件(第1课时).pptx
- 学前教育学第七讲学前教育课程郑玉莲博士副教授贵州师范学院教育科学学院学习目标.ppt
- 外研版初二英语上册知识点总结 .doc VIP
- 《手术室植入物管理规范》(TCAME 65-2024).pdf VIP
- 《运动损伤与康复》课程教学大纲.docx VIP
文档评论(0)