达米恩·勒杜,SNCF公司
在过去的十年中,公共交通和干线的列车信号系统变得越来越复杂。这可能是由于引入了提高性能的新概念和技术,如线路容量,也可能是由于互操作性要求,例如欧洲标准允许列车在不同国家行驶时使用相同的车载子系统,这些国家具有不同的互联、轨旁技术和原则。
在传统的铁路行业、基础设施经理的规范阶段信号系统设计通常采用传统方法基于论文规范的缺点被工程师,这是可能产生的误解,误解,缺乏早期阶段的验证规范。
RFF和SNCF在高层次的规范中联合试验了一种基于模型的设计方法。该模型是一个铁路干线ERTMS二级系统,称为无线电闭塞中心,是一个列车自动保护(ATP)系统。在研究的系统中,基于ERTMS或CBTC的列车自动控制与联锁之间有着密切的联系。这两个子系统都是为了使列车能够按照要求的性能水平安全运行。、速度和前进速度。其结果是一个复杂的系统,结合了路侧和列车侧的控制系统,联锁,轨道元素,和监督水平。
建模RBC的目标是:
•提供其预期行为的明确说明。要求书面允许表达功能的期望,但有误解或解释的一个无法回避的风险。主要关注的是系统级的功能性问题,由于缺乏系统的定义,在软件的执行层面都解决了。
•提供独立于制造商的设计选择的描述。该模型并不是特定制造商现有实现的镜像。
这个基于模型设计的实验还包括规范级别、模拟/验证和属性证明活动。