基于cps的实时系统的面向方面的形式化方法-计算机应用技术专业论文.docxVIP

。二 。二 舢Y 舢Y 川 1 ㈣9 帅4 iiii●●● ⅢⅢ叭，， 2 ㈣6 A Dissertation Submitted to Guangdong University of Technology for the Master Degree of Engineering Science Aspect—Oriented FormaI Method of Real-time System in Cyber Physical Systems Master Candidate：Deng Jianbo Supervisor：Prof．Zhang Lichen May 2011 Faculty of Computer Guangdong University of Technology Guangzhou。Guangdong，P．R．China．51 0006 摘要摘要 摘要 摘要 针对面向对象技术在处理分散于系统各处的横切关注点上的不足，业界提出了面 向方面编程思想。随着面向方面编程技术的日渐成熟，面向方面思想已不再局限于编 程层次，而是开始影响到软件开发的各个阶段，形成了面向方面软件开发技术。面向 方面建模是用一致的方法来描述、构造、记录和可视化面向方面设计思想，是实现面 向方面软件开发的有效手段，但是至今还很少有面向方面形式化方法的应用研究，使 其在使用过程中难以使用严谨的数学逻辑来表达和论证软件设计过程的正确性。 随着云计算和计算机网络技术的发展，实时系统的应用及其设计技术成为计算机科 学研究领域的热点。特别是Cyber Physical网络环境设计概念的提出，使得实时系统的 应用综合了计算机与网络的系统环境，这个环境可以小到汽车控制系统，大到国家电 网，卫星通信系统等。整个系统中要研究领域涉及到建模、逻辑学、并发性、实时性、 安全性等。目前存在的技术性难题有模型设计问题，管理力度过大，时间周期长，并 且网络计算与物理系统的并发性问题有重大分歧。 针对上述问题，本文系统的介绍了Cyber Physical网络环境的特性，抽取出网络环 境下的时间特性并与实时系统的实时特性相结合。为了能够很好表达实时特性，本文 基于Time．CSP进行实时方面扩展。在面向方面技术方面本文详细论述其基本概念及核 心思想，并详细分析面向对象形式化语言Object．Z。通过对Object．Z进行面向方面形 式化扩展，比较完整的讨论了在Cyber Physical网络环境下面向方面形式化方法。同时 在基本元素中增加分离变量和横切关注点的形式化描述来达到形式化描述面向方面的 特性。为了能够满足在实时系统设计要求，最后给出了的面向方面形式化方法。并在 此基础上通过综合其它学者在实时系统时间特性形式化方面的成果和基于Object—Z面 向方面形式化扩展方法，给出了一个综合模型，使其能充分的描述在Cyber Physical网 络环境下运行的实时系统的特性。同时在设计过程中可以充分的应用形式化语言严谨 的数学逻辑来解决开发过程中的不确定性和不一致性问题。最后本文通过智能交通系 统中的列车调度控制系统实例来论证上述思想的正确性。 关键词：面向方面；实时系统；Cyber Physical：形式化方法； 广东工业大学硕士学位论文Abst 广东工业大学硕士学位论文 Abst ract To solve the lack of scattered crosscutting conceHls in object-oriented systems，the aspect—oriented programming w鹤proposed．With the development of aspect-oriented programming technology,AOP ideas ale no longer limited to programming，but beginning to affect all stages of software development．And aspect-oriented software development techniques formed．Aspect-oriented modeling is a comistent method to describe，structure， records and visual aspect-oriented design,and is an effective measuge for Aspect-oriented software development．But still have few aspect-oriented formal meth