基于cps的实时系统的面向方面的qos建模-计算机软件与理论专业论文.docxVIP

A A Dissertation Submitted to Guangdong University of Technology for the Master Degree of Engineering Science Aspect．．Oriented Modeling for Quality of Service of Real-Time System in Cyber Physical Systems Master Candidate：Huang Yunfeng Supervisor：Prof．Zhang Lichen May 29，201 1 Facu lty of Computer Guangdong University of Technology Guangzhou。Guangdong，P．R．China，51 0006 一 一 摘要摘要 摘要 摘要 服务质量(Quality ofService，QoS)是指与用户对服务满意程度相关的各种性 能效果。在软件设计过程中，性能、可用性、可靠性和安全性等QoS方面决定了整 个软件系统对于使用者而言是否“有用”，因此QoS是系统小可或缺的重要方面。 面向对象软件丌发(Object．Oriented Software Development，OOSD)技术使得 软件系统更容易设计和实现，并且具有良好的可复用性和可扩展性。然而在对象内 部，性能、可用性、可靠性和安全性等QoS横切关注点的代码与核心关注点的代码 混杂在一起，不仅降低了程序的可理解性，更严重限制了程序的呵复用性和可扩展 性，OOSD技术对此却无能为力。 面向方面软件丌发(Aspect．Oriented Software Development，AOSD)技术继承 并发展了OOSD的思想，它能深入到对象内部，将横切关注点抽取出来并进行模块 化，与核心关注点完全分离。这有利于创建松散耦合的、可复用及可扩展的大型软 件系统。用面向方面的方法对QoS建模显得顺理成章。 随着传感技术、嵌入式计算技术和无线通信技术的发展，一场新的计算技术革 命——Cyber Physical Systems(CPSs)——已经丌始兴起。正如因特网改变了我们与 他人交互的方式一样，CPS将改变我们与物理世界的交互方式。CPS这个全新的领 域给我们带来大量的挑战，QoS保障便是其中之一。 本文使用面向方面的方法对Cyber Physical网络环境下实时系统的QoS方面进 行建模。首先介绍了分布式系统的QoS框架和分类学以及网络QoS的一些主要衡 量指标，并分析了CPS系统的服务质量保障l’uJ题。然后应用关注点分离的思想，提 出了基于通用建模环境(Generic Modeling Environment，GME)的Petri网建模方法。 具体地说，本文通过GME提供的一套元模型以及继承机制，定义了一个建模范式 (即Petri网元模型)。接着使用该范式对基于组件的实时系统的行为结构进行建模， 并通过构造可达树的方法判断各个组件或者组件组合能否满足系统的QoS需求，进 而剔除不合要求的组件或组件组合。最后通过一个战场增强现实系统(Battlefield Augmented Reality Systems，BARS)的实例来说明该建模方法的实际应用。 关键词：面向方面建模；服务质量；实时系统 4 ABS．IR人CTABSTRACT ABS．IR人CT ABSTRACT Quality of Service(QoS)refers to the performance of service related to users’ satisfaction．In the software design process，performance，availability,reliability,and security aspects determine whether the whole software system is’’useful”for users or not． Therefore，QoS is an essential aspect of the system． The Object—Oriented Software Development(OOSD)technology makes it easier to design and implement software systems with good reusability and scalability．However, within an object，performance，availability,reliability,and security codes for cros