>>网站资源
.. >>库：TechXchange
.. .. .. >> TechXchange：嵌入式软件
.. .. .. .. .. >>主题：Ada和Spark
开发安全的系统可能是一项具有挑战性的任务，但是使用正确的工具可以使人们更容易。许多这样的工具，例如静态分析，都可以应用于固有地缺乏这种支持的C+ C+ C+ C诸如Spark和Rust等语言，这些语言将这些技术作为其定义的一部分，将它们用于所有使用该语言的程序员。
Spark是ADA 2012的子集，并通过可证明的静态分析加倍努力，但是利用其所有优势可能令人生畏。尽管如此，这些功能的逐步使用可以带来重大的好处，并且在许多情况下使用其中的子集可能是适合的。这类似于Misra对C ++的支持，这些支持是可以选择性地用于许多项目的规则集合。MISRA C和其他编码标准提供了一种改善程序员创建的代码质量的方法。