技术论文
基于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铁路报告中找到。