跳到主要内容

技术论文

基于en50128 / en50657的安全铁路应用软件的高效开发

本方法论手册详细解释了如何通过基于SCADE模型的开发方法完全满足EN 50128:2011(通信、信号和处理系统软件)和EN 50657:2017(机车车辆应用软件)的要求,以实现安全可靠的软件,同时促进高效的基于模型的开发和验证策略。

该手册介绍了EN 50126, EN 50128, EN 50657和EN 50129标准,然后介绍了SCADE工具链和方法可以实现的软件开发和验证过程的优化。SCADE工具支持大部分开发生命周期元素的自动化生产和验证。使用SCADE工具链的效果体现在开发和验证活动的节省方面,遵循一步一步的方法,并考虑在每一步必须满足的目标。

本手册无意强加正式的使用条件。正式的指导方针可以在SCADE Suite KCG安全案例和关于SCADE Suite KCG, SCADE测试和SCADE生命周期证书的tv sd铁路报告中找到。

分享这篇技术论文

万博Ansys가귀사를위해무엇을할수있는지알아보십시오。

大富豪

* = * * * * * *

大黄蜂!大黄蜂!

我们在这里回答您的问题,并期待与您交谈。我们Ansys销售团队的一名成员万博将很快与您联系。

[qh