方法学使用手册
EN 50128使用手册 (摘录)
运用SCADE Suite针对EN 50128进行高安全性轨道交通软件的高效开发
摘要
本文探讨了在进行高安全性嵌入式轨道交通软件开发过程中遇到的成本以及效率问题。以传统方式开展项目时，为了符合EN 50128标准，研发的工作会变得非常困难，还牵扯到大量的验证工作。本文回顾了一下软件开发的指导方针，并说明了采用SCADE Suite这套工具后，整个开发验证工作的优化。SCADE Suite能使开发过程中的很多部分自动化。使用SCADE Suite以及通过认证的代码生成器KCG
