基于cps的实时系统的面向方面的容错调度模型-计算机应用技术专业论文.docxVIP

A A Dissertation Submitted tO Guangdong U Technol ogy for the Master Degree of Engine Aspect·-Oriented Fault-Tolerant Scheduli Real··-time System in Cyber Physical Master Candidate：Fu Lihua Supervisor：Prof．Zhang Lichen May 2011 Faculty of Computer Guangdong University of Technology Guangzhou，Guangdong，P．R．China。51 0006 摘要摘 摘要 摘 要 随着计算技术、网络技术和控制技术的深入发展，一种最新的复杂系统 Cyber-physical Systems应运而生。Cyber-physical Systems是运用3C技术和3i技术手段集 计算、通信与控制于一体的下一代智能系统。Cyber-physical Systems高可靠性要求已成 为影响其安全、可控的关键因素，提高Cyber-physical Systems实时系统的可靠性具有重 要意义。实时任务的容错调度作为保障实时系统可靠性的重要技术，已经成为实时系 统研究的热点。因此，研究和设计出高效、简单、适应于Cyber-physical Systems实时系 统的容错调度模型和算法是Cyber—physical Systems需要解决的首要问题。本文也是在此 背景下研究Cyber-physical Systems实时系统的容错调度模型和算法。 本文首先介绍TCyber-physical Systems的体系结构、与物联网的关系、新特点以 及Cyber-physical Systems的应用前景。然后引入面向方面编程技术和UML扩展机制， 利用UML扩展框架，实现UML在面向方面的建模技术和横切点分离技术的扩展，为 Cyber-physical Systems实时系统的容错分析提供可视化的图形模型。在此基础上，本文 对Cyber-physical Systems实时系统的容错模型做了深入研究，主要工作如下： 1．介绍了UML在面向方面的扩展机制，实现了面向方面的可视化建模。运用UML 的扩展框架UMLTM对实时系统的容错方面和时间方面建立可视化的视图，并 结合Cyber Physical网络环境下的实时系统，通过UMLTM框架，将面向方面 的思想运用到分析Cyber Physical网络环境下的分布式实时系统容错性和调度 算法模型。 2．提出了Cyber-physical Systems网络环境下的分布式实时系统的概念，并进一步 给出了CPS异构分布式实时系统的概念。然后分析了CPS异构分布式实时系统 的基本特征，给出了CPS异构分布式实时系统的基本任务模型，证明了其任务 的可调度性，并给出了分析CPS异构分布式实时系统任务调度算法性能的评价 体系。 3．文中提出了两种适用于Cybcr-physical Systems实时系统的容错调度算法：CPS 实时任务动态负载均衡算法(CPS_DLBA)和面向方面的CPS实时容错算法 (Ao CPS 。结合仿真实验对两种算法进行了对比，根据实验图，得出了 在算法均衡．R性TF和T)任务负载率两方面AQCPs．．RTFT均优于CPS_DLBFT的结论。 广东工业大学硕士学位论文4．用城市地铁系统这个实例来阐述Cyber-physical 广东工业大学硕士学位论文 4．用城市地铁系统这个实例来阐述Cyber-physical Systems的基本概念以及 Cyber—physical Systems异构分布式实时系统的面向方面的容错调度模型的运 用，实例充分体现了面向方面技术的优点，UML扩展机制可视化建模在分析 Cyber-physical Systems的优势。 关键词：面向方面；容错调度；统一建模语言；信息一物理融合系统；分布式实时系统； 负载均衡 II ABSTRACTAB ABSTRACT AB STRACT With the development of computing technology，network technology and control technology，a kind ofthe newest complex system called Cyber-physical Systems arises at the historic moment．Cyber-physical Systems is the next—generation intelligent system which ha