达米安勒杜,法国国营铁路公司红外
轨道交通主干线和铁路信号系统已经看到在过去十年的复杂性增加。这是因为无论是引进新的概念和技术,提高性能,如线的能力,或者互操作性的要求,例如欧洲标准,使列车使用同一trainborne子系统驱动具有不同联锁不同的国家,赛道的技术,同时,和原则。
在传统的铁路行业,在信号系统设计规范阶段基础设施经理通常会采用基于纸张规格与所有的工程师知道的缺点,传统的做法,受到误解,误解的风险,而在缺乏验证规范的早期阶段。
RFF和SNCF以高层次规范的基于模型的设计方法联合试验。这种模式被称为无线闭塞中心,这是一个列车自动防护(ATP)系统的主线路旁ERTMS二级系统。在所研究的系统中,存在不同的子系统之间的密切关系:自动序列控制,其是基于ERTMS或CBTC基于,和互锁。这两个子系统是为了让列车与性能,即速度和进展所要求的水平安全地移动。其结果是一个复杂的系统相结合路旁和轮系侧的控制系统,联锁,磁道单元,并监测水平。
造型RBC的目标是:
•对其预期行为提供明确的描述。需求书写允许表达功能期望,但是不可避免地存在误解或解释的风险。主要关心的是由于缺乏系统定义而导致的系统级功能问题在软件实现级得到解决。
•提供的说明独立于制造商的设计选择。该模型并非特定制造商现有实现的镜子。
该实验基于模型的设计也涵盖了规范水平,模拟/验证和财产证明的活动。