[发明专利]一种基于列车控制系统的可扩展安全计算机平台的构建方法在审
申请号: | 201510576739.1 | 申请日: | 2015-09-11 |
公开(公告)号: | CN106528060A | 公开(公告)日: | 2017-03-22 |
发明(设计)人: | 马炳刚 | 申请(专利权)人: | 黑龙江傲立辅龙科技开发有限公司 |
主分类号: | G06F9/44 | 分类号: | G06F9/44 |
代理公司: | 暂无信息 | 代理人: | 暂无信息 |
地址: | 150090 黑龙江*** | 国省代码: | 黑龙江;23 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于列车控制系统的可扩展安全计算机平台的构建方法,包括以下步骤第一步,描述基于模型工程的系统开发方法;第二步,针对CBTC系统对安全计算机平台的RAMS需求和功能需求,提出了安全计算机平台的系统高层AADL模型;第三步,根据系统结构和工作原理,详细描述平台软件流程;第四步,实现可扩展安全计算机平台试验样机,完成安全计算机平台的所有基本功能。本发明的基于列车控制系统的可扩展安全计算机平台的构建方法,通过对通道的增减可以容易地对系统进行扩展,可靠性高、可用性强,且便于维护。 | ||
搜索关键词: | 一种 基于 列车 控制系统 扩展 安全 计算机 平台 构建 方法 | ||
【主权项】:
一种基于列车控制系统的可扩展安全计算机平台的构建方法,其特征在于:包括以下步骤:第一步,描述基于模型工程的系统开发方法,指出其适用于安全计算机平台设计,并确定主要工作;第二步,针对CBTC系统对安全计算机平台的RAMS需求和功能需求,提出了安全计算机平台的系统高层AADL模型,介绍该模型为三模冗余结构,由三个处理器和三个冗余管理单元组成,描述该平台的工作原理和RM硬件单元逻辑功能;第三步,根据系统结构和工作原理,详细描述平台软件流程,建立平台软件详细AADL模型,重点说明该模型中系统表决、模式转换和系统重构模块,验证系统实时响应时间、安全等级和可调度性三方面特性;第四步,实现可扩展安全计算机平台试验样机,完成安全计算机平台的所有基本功能,证明本设计的安全计算机平台的可实现性。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于黑龙江傲立辅龙科技开发有限公司,未经黑龙江傲立辅龙科技开发有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201510576739.1/,转载请声明来源钻瓜专利网。