期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于混成自动机的城市轨道交通ZC子系统建模与验证方法 被引量：6
1
作者 黄友能 张鹏基 +1 位作者 侯晓鹏 唐涛 《中国铁道科学》 EI CAS CSCD 北大核心 2016年第2期114-121,共8页
结合城市轨道交通列车控制系统区域控制器(ZC)子系统的混成特性,采用扩展的统一建模语言(UML)建立ZC子系统的UML顺序图;采用模型转换方法,提出从源模型到目标模型转换的定义和规则,将ZC子系统的UML顺序图转换为形式化的线性混成自动机模... 结合城市轨道交通列车控制系统区域控制器(ZC)子系统的混成特性,采用扩展的统一建模语言(UML)建立ZC子系统的UML顺序图;采用模型转换方法,提出从源模型到目标模型转换的定义和规则,将ZC子系统的UML顺序图转换为形式化的线性混成自动机模型,用于ZC子系统功能的安全验证。以北京地铁亦庄线ZC边界切换控制功能场景为例,建立该场景的UML顺序图;将其对应车地通信的5个阶段细分为5个组合片段;根据模型转换定义及规则,将各组合片段转换为线性混成自动机,进一步将不同组合片段的线性混成自动机合成完整的目标线性混成自动机;根据建立的线性混成自动机模型,采用验证工具BACH对该场景的7条功能性质和4条安全性质进行验证。结果表明:ZC边界切换控制功能满足设计需求,列车能够安全通过地面区域边界点,没有超速情况且能够在接管ZC管辖范围内安全停车。表明所提出的建模和验证方法是可行的,弥补了对具有混成特性列车控制系统既有验证方法的不足。 展开更多
关键词 列车控制系统 区域控制器子系统 系统建模 系统功能 安全验证
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部