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