达米安·勒杜,SNCF基础设施公司
在过去的十年里,公共交通和干线的列车信号系统的复杂性增加了。这要么是由于引入了新的概念和技术来提高性能,如线路容量,要么是由于互操作性要求,例如欧洲标准允许火车在不同国家行驶时使用相同的火车载子系统,而不同国家有不同的联锁、轨边技术和原则。
在传统的铁路行业、基础设施经理的规范阶段信号系统设计通常采用传统方法基于论文规范的缺点被工程师,这是可能产生的误解,误解,缺乏早期阶段的验证规范。
RFF和SNCF联合试验了一种高规格的基于模型的设计方法。这个模型是一个主要的路边ERTMS等级2系统,称为无线电闭塞中心,它是一个自动列车保护(ATP)系统。在所研究的系统中,不同子系统之间有着密切的联系:基于ERTMS或基于CBTC的列车自动控制与联锁。这两个子系统的目的都是为了让列车在要求的性能水平(即速度和车头时距)下安全运行。其结果是一个复杂的系统,包括轨侧和车侧控制系统、联锁系统、轨道元件和监督水平。
RBC建模的目标是:
•对其预期行为提供明确的描述。编写需求允许表达功能性的期望,但是存在不可避免的误解或解释的风险。主要关注的是,由于缺乏系统定义,系统级功能问题在软件实现级得到解决。
•提供独立于制造商设计选择的描述。该模型不是特定制造商现有实现的镜像。
这个基于模型的设计实验还涵盖了规范级别、模拟/验证和属性证明活动。
记录:2014年3月26日
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳的网站性能。其他MathWorks国家网站没有针对您所在位置的访问进行优化。
本网站使用cookie来改善用户体验,个性化内容和广告,并分析网站流量。如果您继续使用本网站,即表示您同意我们使用cookies。请参阅我们的隐私政策了解更多关于cookie和如何更改您的设置。