文档介绍：基于氖凳毕低车拿嫦蚍矫娴时间特性建模广东工业大学硕士学位论文陈海敏熬援让簋狃廛旦撞苤让篡扭堂院三宓分类号:指导教师姓名、职称:毖童臣学科ㄒ或领域名称:论文答辩日期:密级:学校代号:学号:ぱ妒学生所属学院:
·篊:.珿,甊.
摘要是近年的一个研究热点。枋龅氖且焕嘤杉代表了新一代工业技术的发展方向,得到各界的高度重视。同时,婕暗郊扑时间特性是实时系统的一个关键因素,系统的可靠性和质量,很大程度上取决于实时性。但是,时间特性散布在整个系统的各个功能部件里,带来了前述的代码不易修改和升级等一系列问题。因此,把时间特性单独作为一个方面进行面向方面面向方面技术作为一种基于关注分离的新技术,在软件开发领域已经得到了一定的应用,拥有不少相对成熟的面向方面编程语言,在一些通用的技术框架里面向方面编程也得到了较好地体现。但在面向方面建模方面,目前仍然还没有一个统一的建模标准或通用方法。使用最广泛的曜贾两褚裁挥卸悦嫦蚍矫娴闹С郑对于实时系统的时间特性建模,这方面已有不少研究。甎模型结合形式化描述来进行实时扩展,把时间分离出来构造为一个时间方面,建立一个比较蚣芙惺奔浣#訳进行面向方面的扩展,并结合蚣埽间服务四个方面。每个方面可以通过扩展的唇薪!F浯握攵訡所具有离散时间、连续时间、混合时间的特性,将时间特性划分为离散时间方面、连续时算单元和物理对象之间通过通讯网络高度集成的复杂系统。挠τ们熬肮惴海机科学、通信科学和控制科学等多个学科领域,目前面临系统理论,设计方法,设计工具等诸多方面的挑战。混乱和代码分散问题,导致系统代码不易读,不易修改,易产生不一致,重用性差,建模便成为一个理想的方法。还是通过睦┱够评唇忻嫦蚍矫娴慕!完整的时间模型来建模系统时间,是一种比较好的方法。本文主要围绕庖恢魈猓樯芷浠靖拍钜约跋喙靥氐悖赋銎涞鼻懊媪的挑战。讨论允奔溆镆宓男滦枨螅⒔樯芤恍┫喙氐难芯糠较颉=岷蟄的立基于氖奔浞矫婺P汀6訡的实时特性进行分解,并针对不同的方面,建立对应的时间特性模型。首先将时间特性划分基本时间,时间事件,定时机制,时间方面、混合时间方面,并建立相应模型。再次,将时间特性划分为确定性时间限制、随机性时间限制、模糊性时问限制三个方面,并建立相应的模型。对不同时间甈
向方法的织入机制把这些间进行分析,同时提出一时间特性;
琣,·—瓾,—..瓹’琯琧琲,,,,,.瑃.,,.瑃,甀.,
,,,籄籸瑃瓺,瓻籙广东工业大学硕士学位论丈瑄—,瑆瓼,.,,琧甌,.篊籘瑄猚
目录第一章绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..研究动态⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯研究内容和组织形式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.畚牡淖橹绞健第二章基础及相关技术⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯捌湎喙馗拍睢幕靖拍睢难芯刻粽健实时系统的时间特性建模⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.面向方面技术⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..!骸喙馗攀觥┱够啤男驴蚣躆⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯时段演算⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第三章胧奔溆镆濉解决思路与研究方向⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..摘要⋯...⋯⋯.........................⋯⋯⋯⋯⋯⋯.⋯........⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.....⋯....选题背景与意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..畚牡闹饕D谌荨奶氐恪实时逻辑允奔涮匦缘男枨蟆⋯⋯⋯...⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.......⋯⋯⋯⋯....................⋯..⋯.⋯⋯...⋯.........凡。ⅲ
.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。第四章基于氖奔浣!领域视图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第五章基于的实时系统时间方面模型⋯⋯⋯⋯⋯⋯⋯⋯⋯:⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..嫦蚍矫胬┱⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.缁肪诚率奔涮匦缘姆治鲇虢!.、随机性时间和模糊时间的分析与表示⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.婊凳笔毙蚵呒蚣堋甎模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...峁鼓P汀时间方面模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第六章时间模型的远ㄒ