对于基于TMS570计算机联锁系统嵌入式计算平台设计与实现

论文导读：
基于TMS570的计算机联锁系统嵌入式计算平台设计与实现论文相关文献前9条陈邦兴,吴芳美;铁路信号联锁逻辑形式化建模研究[J];铁道学报;、赵晓东-DS6-K5B型计算机联锁系统结构分析[J];铁路通信信号设计;、张孝梅;周玉堂-论铁路运输发展需求和计算机联锁系统工程化[J];铁路通信信号工程技术;、童湖东;宁滨;王海峰-基于Event-B的联锁进路制约建模验证策略研究[J];铁路计算机应用;、金国富-世界各国计算机联锁系统的发展[J];数字技术与应用;、段武,胡燕来,潘明,开祥宝;TYJL-Ⅱ型车站计算机联锁系统[J];中国铁路;1998年06期、杜军威;徐中伟-联锁系统形式化模型的安全性评估[J];微电子学与计算机;、何梅芳;TYJL-Ⅱ型车站计算机联锁系统、TYJL-TR9型容错计算机联锁系统[J];中国铁道科学;、杨扬,潘明,何梅芳;联锁软件的Petri网形式化定义[J];中国铁道科学; 中国博士学位论文全文数据库前1条 霍文捷;嵌入式处理器安全运转机制的研究与设计[D];华中科技大学;刊全文数据库丛立春-铁路信号维护技术之我见[J];才智;、刘伯鸿;董昱-铁路信号联锁设备的故障诊断[J];信息技术;、杨国波;陈邦兴-铁路计算机联锁软件测试技术的优化实现[J];信息技术;、杨晋辉,郦萌;联锁软件的统一建模语言和Petri网建模[J];计算机辅助工程;、杜军威;徐中伟;王树梅-联锁逻辑模型的安全性分析[J];计算机工程与应用;、杜军威;徐中伟-基于时序Petri网的联锁逻辑形式建模与验证[J];计算机工程与应用;、杨晋辉;郦萌-基于UML和Petri网的铁路联锁软件建模[J];计算机工程;、杜军威;徐中伟-Petri网模型的FTA安全性分析[J];计算机工程;、韩晶晶;徐中伟;喻钢-面向安全性需求的构件组装[J];计算机工程;、韩晓燕,颜荣正;基于Petri网的铁路信号联锁逻辑形式化描述的研究[J];煤矿现代化; 中国博士学位论文全文数据库前3条 杜彦华;基于EFTPN不确定时间知识的分析处理及其在铁路中的应用[D];铁道部科学研究院;刊全文数据库陈卓;杨爱良;王骥-基于PLB总线的多通道SGDMA设计[J];航空电子技术;、陈毅成;邹雪城;刘政林;郭文平-应用于泛在计算的认证电路[J];华中科技大学学报(自然科学版);、霍文捷;刘政林;韩煜;邹雪城-适用于WSN节点芯片的SHA-1硬件实现[J];华中科技大学学报(自然科学版);、马学文,朱名日,程小辉;嵌入式系统中Bootloader的设计与实现[J];计算机工程;、黄涛;方艳湘;彭双和-一种安全引导的设计与实现[J];计算机工程与设计;、陈邦兴,吴芳美;铁路信号联锁逻辑形式化建模研究[J];铁道学报;、王铁江,郦萌;计算机联锁软件的Z规格说明[J];铁道学报;、徐中伟,吴芳美;形式化故障树分析建模和软件安全性测试[J];同济大学学报(自然科学版);、杨红岩,张雪松,何梅芳;FS-9000容错计算机联锁系统[J];中国铁路;1997年10期、曾庆田;Petri网的同步合成运算及其语言求解[J];微电子学与计算机; 中国博士学位论文全文数据库前1条 侯方勇;存储系统数据机密性与完整性保护的关键技术研究[D];国防科学技术大学;刊全文数据库奚伦科;孙贵平-车站计算机联锁系统的故障处理[J];铁道通信信号;、黄翌虹,张源,段东;计算机联锁系统的通信可靠性研究[J];北方交通大学学报;、李民-DS6-、张新明,刘海祥,赵永清;二取二制式计算机联锁系统中的通信技术[J];中国铁道科学;、陈彦军;窦道飞-TYJL-Ⅱ计算机联锁系统供电电路的改善[J];铁道通信信号;、赵阳,张萍;TYJL-Ⅱ型计算机联锁系统常见故障的判断和处理[J];铁道通信信号;、喻喜平-基于二乘二取二结构的EI32-JD型计算机联锁系统[J];消费导刊;、王增力,张朴;简讯[J];铁道通信信号;、方亚非-铁路车站计算机联锁系统的目前状况和发展趋势[J];铁路通信信号工程技术;、肖禹-TYJL-Ⅱ型计算机联锁系统故障处理的探讨[J];哈尔滨铁道科技; 赵亚男;王晓明;郭进-系统可靠性模型的建立及其在计算机联锁系统中的应用[A];人—机—环境系统工程创立纪念大会暨第五届全国人—机—环境系统工程学术会议论文集[C];、孙旻-电气化铁路供电干扰对计算机联锁系统的影响[A];山东省科协学术年会胶济客运专线相关技术研讨会论文集[C];、李谦;魏臻;陆阳-企业铁路调度集中底层通信协议研究[A];中国计量协会冶金分会会论文集[C];、李谦;魏臻;陆阳-企业铁路调度集中底层通信协议研究[A];、王东超;王红彦-中国钢铁企业铁路信号自动制约系统目前状况及发展趋势[A];第七届(会论文集（下）[C];、张新明;王俊高-二乘二取二冗余计算机联锁系统的结构与安全性分析[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];、臧永立-TYJL-Ⅲ型国产容错计算机联锁系统研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];、胡忠康;陈辛怡-计算机联锁设备外部混线故障案例分析[A];浙江省铁道学会学术交流会论文集[C];、张宏业-E132-JD型计算机联锁驱动、采集电路分析[A];第十届中国科协年会中部地区物流产业体系建设论坛专辑[C];、路彦明-JT-DE型微机联锁系统在邯钢的应用[A];河北冶金学会炼铁技术暨学术年会论文集[C];
论文目录
致谢5-6
中文摘要6-7
ABSTRACT7-10
1绪论10-18

1.1铁路信号联锁系统研究目前状况10-13

1.1联锁系统概述10-11

1.2国内外联锁系统介绍11-13

1.2联锁系统软件硬件目前状况及研究作用13-17

1.

2.1联锁系统层级结构及论文导读：

功能13-14

1.2.2联锁系统软件硬件目前状况及研究作用14-17

1.3本文研究内容及组织结构17-18

2基于TMS570的嵌入式联锁机的设计18-40

2.1联锁机需求分析18

2.2联锁系统总体硬件结构设计18-24

2.3联锁机芯片选型及功能设计24-34

2.3.1CPU片选型24-29

2.3.2联锁机功能设计29-34

2.4联锁系统安全性相关分析34-38

2.4.1联锁机单机失效率计算34-35

2.4.2高安全性联锁机CPU安全特性35-37

2.4.3联锁机安全性计算分析37-38

2.5硬件电路实现38-39

2.6本章小结39-40

3系统软件设计40-66

3.1系统软件安全设计思想40-46

3.

1.1安全核的提出40-42

3.

1.2联锁系统安全核结构42-44

3.

1.3联锁系统安全核结构数据接口44-46

3.2通信层软件设计46-49
3.

2.1以太网程序设计46-47

3.

2.2CAN总线程序设计47-49

3.3联锁逻辑软件设计49-59

3.1进路选排模块设计50-51

3.2进路选排一致检查模块51-52

3.3进路预先锁闭模块52-53

3.4信号开放及保持模块53-55

3.5进路正常解锁模块55-59

3.4安全策略软件设计59-65

3.4.1基于拓扑学的联锁逻辑变量描述59-60

3.4.2安全策略理论60-63

3.4.3安全策略软件设计63-65

3.5本章小结65-66

4系统实现与验证66-77

4.1开发环境介绍66-69

4.

1.1CodeComposerStudio开发环境介绍66-67

4.

1.2HALCodeGenerator代码生成器67

4.

1.3联锁系统硬件仿真环境67-69

4.2系统仿真测试69-76
4.

2.1仿真测试策略69-71

4.

2.2进路制约功能测试71-76

4.3本章小结76-77
5总结与展望77-79

5.1总结77

5.2展望77-79

参考文献79-82
图索引82-84
表索引84-85
作者简历85-87
学位论文数据集87
TMS570联锁机设计安全核进路控制硬件冗余
参考文献
前1条 霍文捷;嵌入式处理器安全运转机制的研究与设计[D];华中科技大学;刊全文数据库丛立春-铁路信号维护技术之我见[J];才智;、刘伯鸿;董昱-铁路信号联锁设备的故障诊断[J];信息技术;、杨国波;陈邦兴-铁路计算机联锁软件测试技术的优化实现[J];信息技术;、杨晋辉,郦萌;联锁软件的统一建模语言和Petri网建模[J];计算机辅助工程;、杜军威;徐中伟;王树梅-联锁逻辑模型的安全性分析[J];计算机工程与应用;、杜军威;徐中伟-基于时序Petri网的联锁逻辑形式建模与验证[J];计算机工程与应用;、杨晋辉;郦萌-基于UML和Petri网的铁路联锁软件建模[J];计算机工程;、杜军威;徐中伟-Petri网模型的FTA安全性分析[J];计算机工程;、韩晶晶;徐中伟;喻钢-面向安全性需求的构件组装[J];计算机工程;、韩晓燕,颜荣正;基于Petri网的铁路信号联锁逻辑形式化描述的研究[J];煤矿现代化; 中国博士学位论文全文数据库前3条 杜彦华;基于EFTPN不确定时间知识的分析处理及其在铁路中的应用[D];铁道部科学研究院;刊全文数据库陈卓;杨爱良;王骥-基于PLB总线的多通道SGDMA设计[J];航空电子技术;、陈毅成;邹雪城;刘政林;郭文平-应用于泛在计算的认证电路[J];华中科技大学学报(自然科学版);、霍文捷;刘政林;韩煜;邹雪城-适用于WSN节点芯片的SHA-1硬件实现[J];华中科技大学学报(自然科学版);、马学文,朱名日,程小辉;嵌入式系统中Bootloader的设计与实现[J];计算机工程;、黄涛;方艳湘;彭双和-一种安全引导的设计与实现[J];计算机工程与设计;、陈邦兴,吴芳美;铁路信号联锁逻辑形式化建模研究[J];铁道学报;、王铁江,郦萌;计算机联锁软件的Z规格说明[J];铁道学报;、徐中伟,吴芳美;形式化故障树分析建模和软件安全性测试[J];同济大学学报(自然科学版);、杨红岩,张雪松,何梅芳;FS-9000容错计算机联锁系统[J];中国铁路;1997年10期、曾庆田;Petri网的同步合成运算及其语言求解[J];微电子学与计算机; 中国博士学位论文全文数据库前1条 侯方勇;存储系统数据机密性与完整性保护的关键技术研究[D];国防科学技术大学;刊全文数据库奚伦科;孙贵平-车站计算机联锁系统的故障处理[J];铁道通信信号;、黄翌虹,张源,段东;计算机联锁系统的通信可靠性研究[J];北方交通大学学报;、李民-DS6-、张新明,刘海祥,赵永清;二取二制式计算机联锁系统中的通信技术[J];中国铁道科学;、陈彦军;窦道飞-TYJL-Ⅱ计算机联锁系统供电电路的改善[J];铁道通信信号;、赵阳,张萍;TYJL-Ⅱ型计算机联锁系统常见故障的判断和处理[J];铁道通信信号;、喻喜平-基于二乘二取二结构的EI32-JD型计算机联锁系统[J];消费导刊;、王增力,张朴;简讯[J];铁道通信信号;、方亚非-铁路车站计算机联锁系统的目前状况和发展趋势[J];铁路通信信号工程技术;、肖禹-TYJL-Ⅱ型计算机联锁系统故障处理的探讨[J];哈尔滨铁道科技; 赵亚男;王晓明;郭进-系统可靠性模型的建立及其在计算机联锁系统中的应用[A];人—机—环境系统工程创立纪念大会暨第五届全国人—机—环境系统工程学术会议论文集[C];、孙旻-电气化铁路供电干扰对计算机联锁系统的影响[A];山东省科协学术年会胶济客运专线相关技术研讨会论文集[C];、李谦;魏臻;陆阳-企业铁路调度集中底层通信协议研究[A];中国计量协会冶金分会会论文集[C];、李谦;魏臻;陆阳-企业铁路调度集中底层通信协议研究[A];、王东超;王红彦-中国钢铁企业铁路信号自动制约系统目前状况及发展趋势论文导读：
[A];第七届(会论文集（下）[C];、张新明;王俊高-二乘二取二冗余计算机联锁系统的结构与安全性分析[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];、臧永立-TYJL-Ⅲ型国产容错计算机联锁系统研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];、胡忠康;陈辛怡-计算机联锁设备外部混线故障案例分析[A];浙江省铁道学会学术交流会论文集[C];、张宏业-E132-JD型计算机联锁驱动、采集电路分析[A];第十届中国科协年会中部地区物流产业体系建设论坛专辑[C];、路彦明-JT-DE型微机联锁系统在邯钢的应用[A];河北冶金学会炼铁技术暨学术年会论文集[C]; 中国重要报纸全文数据库董萍;计算机联锁系统上列车运转更安全[N];中国教育报;、通讯员武海宝;通号产品列入国家重点新产品计划[N];人民铁道;、通讯员王冬　朱仁敏;卡斯柯产品通过高新技术成果转化认定[N];人民铁道;、杭庆博;黄矿铁运公司铁路数字化改革获得成功[N];延安日报;、北京和利时系统工程股份有限公司交通信息系统部 于力明 王伟;HS、史琳　记者赵晓强;高天铁路公司首月开门见喜[N];锦州日报;、;巧用创新基金 兰州大成快速崛起[N];中国高新技术产业导报;、本报记者王洁　见习记者朱琼华陶斯然;甬温线事故列车：信号系统大起底[N];21世纪经济报道;、本报记者李阳丹　陆洲;国电南瑞抢食智能电网、本报记者王慧芳;卡斯柯：专注信号系统[N];中国电子报; 中国硕士学位论文全文数据库张勇;基于TMS570的计算机联锁系统嵌入式计算平台设计与实现[D];北京交通大学;、权海宁;分布式全电子计算机联锁系统研究[D];兰州交通大学;、罗强;基于通信的分散式计算机联锁系统研究[D];北京交通大学;、张照亮;铁路信号计算机联锁系统的设计与实现[D];武汉理工大学;、于天;分散制约计算机联锁系统网络通信研究[D];西南交通大学;、许崇;二乘二取二系统的可靠性和安全性[D];合肥工业大学;、苏思琦;全电子计算机联锁系统信号模块安全性分析[D];兰州交通大学;、张玉冰;城市轨道交通计算机联锁系统的研究与设计[D];长安大学;、沈成禄;基于Multi-Agent的分布式计算机联锁系统通信网络的研究[D];兰州交通大学;、王文波;全电子计算机联锁系统道岔模块的研究与设计[D];兰州交通大学;