文档介绍：北京交通大学
硕士学位论文
ARTiSAN Real-time Studio在CBTC车载三模冗余系统中的研究
与应用
姓名:戚璠
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:唐涛
20080601
模实现的过程。整个过程遵循了凳蓖甘臃ǖ奶逑到峁购涂7⒐蹋籄实时透中文摘要那度胧绞凳毕低池⒎⒒肪辰辛搜⌒头治觯⒍訰下的代码生成与同步型和扩展机制进行了介绍。模冗余系统进行了探索性的研究。首先分析了凳蓖甘臃ㄔ诔翟厝H码生成和同步过程进行了研究,并针对车载三模冗余系统模型进行了探索性的应用。首先定义了┱辜┱沽死嗤嫉挠行畔ⅲ⒍愿潞蟮睦嗄P徒分类号:摘要:针对目前嵌入式实时系统开发的迫切需求,旨在改进当前建模技术中不利于嵌入式实时系统开发的方面,本文引入了嵌入式实时系统开发的新方法凳蓖甘臃,以及基于实时慕9ぞ逜越档颓度胧绞凳毕低晨7⒌母丛佣龋醵炭7⒅芷凇论文介绍了避错容错技术的概念和分类,以及容错技术在轨道交通信号系统中的应用,研究了面向对象的建模技术和统一建模语言挠τ梅⒄骨榭觯治了由P偷酱胱远傻谋匾P浴论文详细阐述了凳蓖甘臃ǖ奶逑到峁购涂7⒐蹋曰谑凳开发平台进行了描述。通过对新方法徒9ぞ逺的介绍,以及与传统开发方法和工具的比较,明确了采用蚏的原因和优势。最后对嫉睦本课题结合基于凳蓖甘臃ǖ慕I杓品治龇椒ǎ訡翟厝余系统中应用的可行性,然后分别从系统需求体系结构、系统解决方案体系结构和系统模型行为验证等方面进行了设计和分析,初步实现了从系统需求分析到建得应用系统的缺陷能较早的被捕获,降低了系统的风险,保证了系统在安全可靠性方面的要求。本文对代码自动生成技术的实现方法以及Ⅱ碌拇了代码生成和同步的应用。最后对代码生成和同步中存在的问题进行了分析和总结,并进行了碌姆抡婊D獠馐浴关键词:;三模冗余;籄视法;建模分析;代码生成与同步.—
甌::篣;:,琖,...·,瑃瓼,。∞曲—瑀.,琣瓼,;;.篣
图索引┱辜叭煌ㄌ秘健捞梦煌救图系统状态图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.¨下代码到模型的逆向丁程示意图⋯⋯⋯⋯⋯⋯⋯⋯.图塞到图S玫娜荽砑扑慊低辰峁埂图枚喔瞿P兔枋鱿低场图凳蓖甘臃ㄌ逑到峁埂图饩龇桨柑逑到峁埂图凳蓖甘臃ǹ7⒐炭蚣堋图τ煤妥榧7⒐獭图谀P图芄够〉挠τ煤妥榧7⒐獭图车钠俨伎7⒛J健图贏的实时系统开发建模环境⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图代码生成:单一模型到多种语言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图构造型、标签定义和标签值的关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.嫦低匙槌煽蛲肌图车载设备结构框图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图车载三模冗余系统基本结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图系统用例图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图用例图中的模犁引用⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯,.图乍载三模冗余系统功能层次划分⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图系统架构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图系统类图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图系统间交互的序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图系统软件平台工作流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图通信任务并发图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图系统间交互的序列图动画⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图系统软件平台工作流程动画⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.7⒐獭和图下的代码生成和同步过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图系统框架层⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图更新后的系统类图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..履P偷酱氲纳墒疽馔肌銼碌拇肷晒獭图代码和模型的同步⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图逻辑分析结果图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.肪巢馐越峁治鐾肌.
表索引叭ゅ氽烫秘健捞梦煌救麦塞到表凳蓖甘臃ǖ奶囟ㄓτ昧煊颉挠攀啤嫉睦嘈图肮δ堋表ㄒ錟扩展集⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表τ枚韵蠖杂Φ墓乖煨汀⒈昵┒ㄒ搴捅昵┲怠表嗄P吞卣骷按胗成湫畔ⅰ.
钒晓’戒瑶签字日期:口咖宫年拢痜日学位论文版权使用授权书签字日期:加踢年/本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特学位论文作者签名:授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,并采用影印、缩印或扫描等复制手