这篇文章是嵌入式软件系列:Ada用于嵌入式C开发人员和TechXchange：开发高品质软件
如果你是一名C程序员，那么你可能听说过Ada，但对它不以为然，因为它不是C。你为什么还要考虑学习另一门语言呢?
虽然C被认为是桌面程序或应用程序的一个很好的选择，因为它的主要目标是缩短上市时间，但它不适合在高完整性系统领域中工作。Ada的优势在于可靠性至关重要的领域。它在嵌入式实时系统中大量使用，其中许多系统都是安全的。具体领域包括航空航天和国防、民用航空、铁路、汽车和医疗等。这些应用程序需要高度的安全性:软件缺陷不仅仅是一个麻烦——它可能会带来严重的后果。
学习艾达并不复杂。自从面向对象编程获得立足点以来，编程范式并没有发展多少，相同的范式以某种方式出现在许多广泛使用的语言中。
每一篇文章都讨论了Ada的不同方面，以及它与C和嵌入式编程的关系:
AdaCore最近发布了一款新的Ada用于嵌入式C开发人员这门课程通过将Ada语言与C语言进行比较来介绍您。它假设您对C语言有良好的了解。它还假设学习Ada的选择是基于与可靠性、安全性或安全性相关的考虑。从这个意义上说，它教给你Ada范例，这些范例应该用来代替那些通常用在C语言中的范例。
本课程还向您介绍Ada编程语言的SPARK子集。它删除了一些带有未定义行为的语言特性，因此代码适合使用可靠的静态分析技术。
如果你对学习Ada编程感兴趣，或者如果你需要对可能用于新开发的语言进行评估，或者你目前正在做一个Ada项目，想要更多的背景知识，这门课程就是为你准备的!
