首页--交通运输论文--铁路运输论文--铁路通信、信号论文--铁路信号论文--铁路信号器材与设备论文

基于模型的轨旁仿真子系统验证及代码自动生成

致谢第1-6页
中文摘要第6-7页
ABSTRACT第7-10页
1 引言第10-18页
   ·论文研究背景及意义第10-11页
     ·研究背景第10-11页
     ·研究意义第11页
   ·国内外列控系统的研究发展第11-15页
     ·国外列控系统的研究发展第12-13页
     ·国内列控系统的研究发展第13-15页
   ·CTCS-3级列控系统仿真测试平台简介第15页
   ·CTCS-3级列控系统仿真测试平台轨旁子系统第15-16页
   ·论文主要工作及文章结构第16-18页
2 基于SDL的建模及验证技术简介第18-25页
   ·SDL概述第18页
   ·SDL系统结构和语法第18-20页
   ·SDL时钟处理第20-21页
   ·开发工具Telelogic TAU第21-22页
   ·基于SDL的建模及验证的总体思路及其优点第22-24页
   ·本章小结第24-25页
3 轨旁子系统的设计分析第25-36页
   ·轨旁子系统总体设计第25-26页
     ·系统功能需求分析第25-26页
     ·系统模块划分第26页
   ·轨旁子系统与其它子系统的接口第26-29页
     ·轨旁子系统与仿真管理器第27-28页
     ·轨旁子系统与车载子系统第28页
     ·轨旁子系统与列控中心子系统第28页
     ·轨旁子系统与联锁子系统第28-29页
   ·轨旁子系统工作状态第29-32页
     ·系统内部仿真流程图第29-30页
     ·轨旁子系统与外部子系统顺序图第30-32页
   ·轨旁数据格式定义第32-34页
   ·本章小结第34-36页
4 基于SDL的建模及验证第36-57页
   ·基于SDL的轨旁子系统的描述第36-48页
     ·SDL数据包定义第37页
     ·SDL系统层描述第37-39页
     ·SDL模块层描述第39-41页
     ·SDL进程层描述第41-48页
   ·基于SDL的轨旁子系统的验证第48-56页
     ·SDL模型静态分析第49页
     ·SDL代码仿真调试第49-54页
     ·SDL模型动态验证第54-56页
   ·本章小结第56-57页
5 轨旁子系统的软件实现与应用第57-75页
   ·轨旁子系统逻辑功能实现第57-64页
     ·搜索轨道电路占用功能第57-62页
     ·故障设置功能第62-64页
   ·轨旁子系统的SDL模型到C代码的转换第64-69页
     ·SDL模型到C代码的自动生成第65-66页
     ·SDL与操作系统的集成第66-69页
     ·环境函数修改设计第69页
   ·用户界面设计第69-72页
   ·轨旁子系统软件在CTCS-3级列控系统仿真测试平台的应用第72-74页
   ·本章小结第74-75页
6 结论与展望第75-77页
   ·工作总结第75页
   ·工作展望第75-77页
参考文献第77-79页
图索引第79-81页
表索引第81-82页
作者简历第82-84页
学位论文数据集第84页

论文共84页,点击 下载论文
上一篇:面向铁路危险品运输的无线传感网同步技术的研究与应用
下一篇:Morison方程法在深水桥梁地震响应分析中的适用范围研究