文档介绍：北京交通大学
硕士学位论文
基于有色Petri网的CBTC车载设备应用软件的建模与分析
姓名:陆启进
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:唐涛
20071201
中文摘要摘要:随着无线通信技术的飞速发展,无线通信的可靠性、可用性大大提高,基于通信的列车运行控制珻系统是今后轨道交通列车运行控制系统的发展趋势。论文介绍了设备的基本原理和结构以及基于安全计算机平台设计的软件结构。根据安全苛求系统开发的“毙涂蚣埽鯲璞赣τ萌砑男求分析、概要设计、详细设计、模型建立、功能验证和性能分析的整个过程。论文详细分析了设备应用软件的安全性需求和功能需求,在此基础上给出了设备应用软件的功能划分和子模块设计,重点介绍了在设计过程中采用的结构化的软件设计方法。论文引入了有色訴璞赣τ萌砑行问交慕!J紫冉樯了有色愦位慕7椒ǎ缓蟾萦τ萌砑慕峁够杓平璞应用软件的层次化有色P汀2捎谩坝缮隙隆钡乃悸方璞赣用软件的顶层模型和各级子功能模型,子功能模型包括基本防护模型、进入区域模型、折返操作模型、模式转换模型等。在建立的模型的基础上,研究了将淖刺占浞治龊头抡娣治鲇τ糜设备应用软件的验证和分析的方法和过程。重点研究了模式转换和折返操作子功能模型。利用状态空间分析完成了模式转换模块的功能验证和安全性分析,利用仿真分析完成了折返过程的性能分析。通过对应用软件的验证和分析,达到验证设计是否满足需求的目的,给应用软件设计的完善提供参考和指导。关键词:;;应用软件;有色;建模与分析;分类号:塞銮道太堂亟±堂焦:鹑生室擅要
.艟丛翻銎△￡工;:;;韭毫銮疆太堂亟±堂位鹑..畁峙.,疘’’:..痠..艟;.既圮‘.篣
图索引系统组成框图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图诨废叽涞腃低场图诓ǖ脊艽涞腃低场图谖尴咦杂刹ù涞腃低场车载设备结构框图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图翟厣璞赴踩ḿ扑慊教ɑ窘峁埂图翟厣璞傅娜砑峁雇肌设备应用软件设计的框架⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图浠涣鳌图事务流⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.设备应用软件功能模块⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯奶逑到峁埂设备应用软件的顶层模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯设备应用软件顶层模型颜色集定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图基本功能防护的顶层模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图基本防护功能顶层模型的颜色集定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图零速检测子功能模型的颜色集定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图零速检测子功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图紧急制动后处理子功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图退行防护子功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图列车完整性检查子功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.、图车门监督子功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图超速防护子功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图进入区域子功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图进入区域子功能的颜色集定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图延伸和退出区域功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..切换功能模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图折返操作模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图折返操作模型的颜色集定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图模式转换功能顶层模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..模式转换处理模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯北塞交道太堂亟±堂僮论塞圈塞引图
模式转换处理模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯J阶;淮砟P汀图J阶;淮砟P汀子模型的状态空问分析结果⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图模式转换模型状态空间和强连通子图的规模⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图模式转换模型状态空间分析鍪薪缡粜浴图模式转换模型状态空间分析多重集有界属性辖⋯⋯⋯⋯⋯⋯图模式转换模型状态空间分析多重集有界属性陆⋯⋯⋯⋯⋯⋯图模式转换模型状态空间分析的返回属性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图模式转换模型状态空间分析的活性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图模式转换模型状态空间分析的活性图模式转换模型状态空间分析的公平属性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图折返过程的性能分析模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图信道质量对折返过程的影响⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图不同信道质量下折返过程时间的分布情况⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯北塞交通太堂亟±堂僮监塞图塞到
表索引表J阶;坏穆呒;槐怼设备应用软件顶层模型的变迁含义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..表痉阑すδ芏ゲ隳P偷谋淝ê濉表闼偌觳庾庸δ苣P偷目馑得鳌表艏敝贫蟠碜庸δ苣P偷目馑得鳌表诵蟹阑ぷ庸δ苣P偷目馑得鳌表隒蚬δ苣P偷目馑得鳌表由霱屯顺鯟蚬δ苣P偷目馑得鳌表切换子功