Damien Ledoux,SNCF Infra
火车用于批量交通和海线的发信号系统已经看到他们在过去十年中的复杂性增加。这是由于引入了提高了提高性能的新概念和技术,例如线容量,例如互操作性要求,例如允许列车在具有不同互锁器的不同国家,轨道航向技术的不同国家使用相同的火车载子系统的欧洲标准和原则。
在传统的铁路行业中,信号传播系统设计规范阶段的基础设施管理人员通常采用纸张规范的传统方法,其中工程师已知的所有缺点,这受风险误解,误解和缺乏验证的风险规格的早期阶段。
RFF和SNCF在高水平的规格下共同实验了基于模型的设计方法。此模型是一个名为无线电块中心的主线路线级别2系统,它是一个自动列车保护(ATP)系统。在研究中学的系统中,不同的子系统之间存在密切的关系:自动列车控制,这是基于ERTM的或基于CBTC的,并且互锁。两个子系统都旨在允许列车安全地使用所要求的性能水平移动,即速度和前进。结果是一种复杂的系统,组合航天和射击侧控制系统,互锁,轨道元件和监督水平。
建模RBC的目标是:
•提供其预期行为的明确描述。要求写入允许表达功能预期,但误解或解释存在不可避免的风险。主要关注的是,由于缺乏系统定义,系统级功能问题在软件实现级别得到解决。
•提供独立于制造商的设计选择的描述。该模型不是特定制造商现有实现的镜像。
这种基于模型的设计的实验还包括规格级别,仿真/验证和物业证明活动。
记录:2014年3月26日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。