当前位置: 首页> 学位论文 >详情
原文传递 基于有色Petri网的CBTC车载设备应用软件的建模与分析
论文题名: 基于有色Petri网的CBTC车载设备应用软件的建模与分析
关键词: Petri网;VOBC设备;模块设计;软件设计;仿真分析;列车运行控制;列车定位;轨道交通
摘要: 随着无线通信技术的飞速发展,无线通信的可靠性、可用性大大提高,基于通信的列车运行控制(Communications-Based Train Control,CBTC)系统是今后轨道交通列车运行控制系统的发展趋势。 论文介绍了VOBC设备的基本原理和结构以及基于安全计算机平台设计的软件结构。根据安全苛求系统开发的“V”型框架,给出VOBC设备应用软件的需求分析、概要设计、详细设计、模型建立、功能验证和性能分析的整个过程。 论文详细分析了VOBC设备应用软件的安全性需求和功能需求,在此基础上给出了VOBC设备应用软件的功能划分和子模块设计,重点介绍了在设计过程中采用的结构化的软件设计方法。 论文引入了有色Petri网对VOBC设备应用软件进行形式化的建模。首先介绍了有色Petri层次化的建模方法,然后根据应用软件的结构化设计建立VOBC设备应用软件的层次化有色Petri网模型。采用“由上而下”的思路建立VOBC设备应用软件的顶层模型和各级子功能模型,子功能模型包括基本防护模型、进入CBTC区域模型、折返操作模型、模式转换模型等。 在建立的模型的基础上,研究了将CPN的状态空间分析和仿真分析应用于VOBC设备应用软件的验证和分析的方法和过程。重点研究了模式转换和折返操作子功能模型。利用状态空间分析完成了模式转换模块的功能验证和安全性分析,利用仿真分析完成了折返过程的性能分析。通过对应用软件的验证和分析,达到验证设计是否满足需求的目的,给应用软件设计的完善提供参考和指导。
作者: 陆启进
专业: 交通信息工程及控制
导师: 唐涛
授予学位: 硕士
授予学位单位: 北京交通大学
学位年度: 2007
正文语种: 中文
检索历史
应用推荐