方法学使用手册
DO-178B SCADE Suite™手册 (摘录)
运用SCADE Suite针对DO-178B进行高安全性航空软件的高效开发
摘要
本文探讨了在进行高安全性嵌入式航空软件开发过程中遇到的成本以及效率问题。以传统方式开展项目时，为了符合DO-178B标准，研发的工作会变得非常困难，还牵扯到大量的验证工作。本文回顾了一下软件开发的指导方针，并说明了采用SCADE Suite这套工具后，整个开发验证工作的优化。SCADE Suite能使开发过程中的很多部分自动化。使用SCADE Suite以及通过认证的代码生成器KCG6.0能够节约开发与验证的工作量，它能帮助用户逐步实现目标，并在每一步都验证目标是否达到。
