Damien Ledoux, SNCF Infra
在过去的十年里,公共交通和干线列车信号系统的复杂性有所增加。这要么是由于新概念和技术的引入,以提高性能,如线路容量,要么是互操作性需求,例如欧洲标准,允许列车使用相同的列车子系统,而在不同的国家有不同的联锁,轨道旁技术,和原则。
在传统的铁路行业中,基础设施管理人员在信号系统设计的规范阶段通常采用基于纸质规范的传统方法,存在工程师所知道的所有缺陷,这可能会导致误解、误解、以及在规范的早期阶段缺乏验证。
RFF和SNCF在高规格上联合试验了基于模型的设计方法。该模型是主干线路边ERTMS二级系统,称为无线电闭塞中心,是列车自动保护(ATP)系统。在所研究的系统中,列车自动控制系统(基于ERTMS或基于CBTC)与联锁系统之间存在着密切的联系。这两个子系统的目的是让列车按照要求的性能水平(即速度和车头时距)安全地移动。其结果是一个复杂的系统,结合了轨侧和车侧控制系统、联锁、轨道元素和监督级别。
建模RBC的目标是:
•提供其预期行为的明确描述。要求写入允许表达功能预期,但误解或解释存在不可避免的风险。主要关注的是,由于缺乏系统定义,系统级功能问题在软件实现级别得到解决。
•提供独立于制造商设计选择的描述。模型不是特定制造商现有实现的镜像。
基于模型的设计实验还包括规范级别、模拟/验证和属性证明活动。
记录:2014年3月26日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。