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