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