达勒杜,SNCF下文
轨道交通列车信号系统和主线的复杂性增加在过去的十年。这是由于要么引入新的概念和技术,提高性能,如线能力,或互操作性需求,例如欧洲标准,允许列车使用相同trainborne子系统开车时在不同的国家,有不同的联锁,演播室技术和原则。
在传统的铁路行业、基础设施经理的规范阶段信号系统设计通常采用传统方法基于论文规范的缺点被工程师,这是可能产生的误解,误解,缺乏早期阶段的验证规范。
复位触发器和SNCF共同尝试了基于模型的设计方法在一个高水平的规范。这个模型是一个主线路旁ERTMS二级系统称为无线电块中心,这是一个自动列车保护(ATP)系统。在系统研究,在不同的子系统之间存在着密切的关系:自动列车控制,要么是基于ERTMS或CBTC,联锁。两个子系统的目的是允许列车移动安全要求级别的性能,即、速度和进展。结果是一个复杂的系统结合路旁和train-side控制系统、联锁、跟踪元素,和监督水平。
对红细胞建模的目标是:
•提供一个明确的预期行为的描述。要求写允许表达功能的期望,但有一个不可避免的风险的误解或解释。主要的担忧是,系统级功能问题,由于缺乏系统的定义,解决在软件实现的水平。
•提供一个描述独立于厂商的设计选择。模型不是一个特定的镜子厂家现有的实现。
这个实验与基于模型的设计还包括规范级别、仿真/验证,和财产证明的活动。
记录:2014年3月26日
你也可以从下面的列表中选择一个网站:
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。