马连川
- 作品数：93 被引量：234H指数：9
- 供职机构：北京交通大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信机械工程更多>>
- 一种分布式三模冗余控制系统的实现被引量：16
- 2000年
- 论述一种分布式三模冗余控制系统的实现 ,包括系统CPU的选择、系统通信网络的实现、系统的同步策略以及三模冗余输出表决器的设计等 .实际表明这种系统设计方案能保证系统具有很高的可靠性、可用性和较快的开发速度 .
- 马连川刘波
- 关键词：分布式容错系统三模冗余控制系统
- 一种基于云计算设备的列控系统边缘安全节点的实现方法
- 本发明提供了一种基于云计算设备的列控系统的边缘安全节点的实现方法。包括：在安全域的本地设备和非安全域的云计算设备之间设置边缘安全节点，本地设备和云计算设备之间通过边缘安全节点进行数据通信；边缘安全节点对其控制的若干个云计...
- 唐涛李开成马连川王艺伟
- 文献传递
- 铁路无线列调中数话兼容的实现被引量：4
- 2003年
- 介绍了一种数话兼容无线列调系统方案.该方案使用了AMBE+TM话音压缩算法、数字复接分接和GMSK调制解调技术.讨论了移动信道下的数据传输速率和帧格式,证明了方案的可行性,给出了系统的具体实现方法.
- 马连川高倍力
- 关键词：无线列调移动数据传输
- 基于COTS部件构成的安全苛求系统进行故障注入测试的方法
- 本发明实施例提供了一种基于COTS部件构成的安全苛求系统进行故障注入测试的方法。该方法包括：将构成安全苛求系统的COTS部件，按故障注入所需分类；对于分类使用的COTS部件采用对应的方式解除安全苛求系统实现时所设置的EM...
- 马连川唐涛李开成
- 安全计算机通信管理机制的形式化验证与实现被引量：8
- 2016年
- 为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU,micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。
- 梁靓曹源马连川张玉琢李恒奎
- 关键词：列控系统安全计算机形式化验证
- 基于Event-B的双机热备平台测试序列自动生成方法
- 2016年
- 为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率。利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一步利用L^1算法生成基于模型、满足平台测试需求的测试序列集,对于确保测试过程的完备性、提高测试效率有一定意义。
- 辛未穆建成马连川曹源
- 关键词：EVENT-B
- 基于四模冗余结构的表决器安全性指标分析
- 2013年
- 本文在分析四模冗余结构安全性指标的基础上,提出基于四模冗余结构简化三取二、四取二、五取三表决器的方法。在给定的开关失效率的条件下,通过计算这几种表决器每小时危险失效的平均频率(PFH)值,该方法在使三取二表决器开关数量减少2个的同时,将其PFH值降低为原来的2/3,在使四取二表决器开关数量减少4个的同时,将PFH值降低为原来的5/11,在使五取三表决器开关数量减少15个的同时,将PFH值降低为原来的5/11。结果证明,该方法能够在简化表决器的同时提高表决器的安全性指标。
- 张霞马连川曹源
- 关键词：表决器
- 边缘安全节点对云上部署运行程序进行时间监视的方法
- 本发明提供了一种边缘安全节点对云上部署运行程序进行时间监视的方法。包括：当边缘安全节点和云上部署运行程序都处于上电模式时，边缘安全节点所控制的一组云上的所有云上部署运行程序向边缘安全节点发送包含程序控制周期长度及程序控制...
- 唐涛李开成马连川张帆
- 基于通用COTS软硬件实现列控安全计算机的方法和系统
- 本发明实施例提供了一种基于通用COTS软硬件实现列控安全计算机的方法和系统，包括：安全计算机管理域基于周期控制方式对安全输入输出域传递的输入数据进行表决，选择有效的输入数据使用；安全计算机管理域基于周期控制方式对通用计算...
- 马连川唐涛李开成王海峰
- 文献传递
- 基于时空隔离原则的列车控制软件集成方法的研究
- 2014年
- 针对CTCS-3设备硬件资源浪费、通信复杂和容易出故障的问题,参考ARINC 653标准中时空隔离的思想,目的是实现一台设备集成多台设备的功能,提高设备效率和可靠性。文中运用两级调度结构,根据VXWORKS操作系统的特性计算程序运行时间,确定隔离时间和周期;运用开发平台工具测量单个任务所需内存,确定隔离内存大小。用实例验证本方法的正确性。
- 景浩马连川
- 关键词：CTCS-3
