技术论文
基于EN 50128/EN 50657的安全铁路应用软件的高效开发
本方法论手册详细解释了如何充分满足EN 50128:2011(通信、信号和处理系统软件)和EN 50657:2017(机车车辆应用软件)的要求，使用基于SCADE模型的开发方法实现安全可靠的软件，同时促进高效的基于模型的开发和验证策略。
该手册介绍了EN 50126, EN 50128, EN 50657和EN 50129标准，然后介绍了可以通过SCADE工具链和方法实现的软件开发和验证过程的优化。SCADE工具支持大部分开发生命周期元素的自动化生产和验证。使用SCADE工具链的效果体现在开发和验证活动中的节省，遵循一步一步的方法，并考虑每个步骤中必须满足的目标。
手册不打算强加正式的使用条件。正式指南可以在SCADE套件KCG安全案例和关于SCADE套件KCG、SCADE测试和SCADE生命周期证书的T V S D Rail报告中找到。
