达米安勒杜,法国国营铁路公司红外
轨道交通主干线和铁路信号系统已经看到在过去十年的复杂性增加。这是因为无论是引进新的概念和技术,提高性能,如线的能力,或者互操作性的要求,例如欧洲标准,使列车使用同一trainborne子系统驱动具有不同联锁不同的国家,赛道的技术,同时,和原则。
在传统的铁路行业,在信号系统设计规范阶段基础设施经理通常会采用基于纸张规格与所有的工程师知道的缺点,传统的做法,受到误解,误解的风险,而在缺乏验证规范的早期阶段。
RFF和SNCF以高层次规范的基于模型的设计方法联合试验。这种模式被称为无线闭塞中心,这是一个列车自动防护(ATP)系统的主线路旁ERTMS二级系统。在所研究的系统中,存在不同的子系统之间的密切关系:自动序列控制,其是基于ERTMS或CBTC基于,和互锁。这两个子系统是为了让列车与性能,即速度和进展所要求的水平安全地移动。其结果是一个复杂的系统相结合路旁和轮系侧的控制系统,联锁,磁道单元,并监测水平。
造型RBC的目标是:
•提供其预期行为的明确说明。要求书面允许表达功能的期望,但有误解或解释的一个无法回避的风险。主要关注的是系统级的功能性问题,由于缺乏系统的定义,在软件的执行层面都解决了。
•提供的说明独立于制造商的设计选择。该模型并非特定制造商现有实现的镜子。
该实验基于模型的设计也涵盖了规范水平,模拟/验证和财产证明的活动。
记录:2014年3月26日
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。
本网站使用Cookies来改善您的用户体验,个性化的内容和广告,并分析网站流量。通过继续使用本网站,您同意我们使用Cookie。请参阅我们的隐私政策要了解更多关于cookie和如何更改设置。