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