本文是其中的一部分嵌入式软件系列:ADA为嵌入式C开发人员和Techxchange.:开发高品质软件
如果你是一个C程序员,那么你可能听说过Ada但是因为,好吧,它不是C.以及为什么要考虑另一种语言?
虽然C被视为桌面程序或缩短上市时间是一个主要目标的应用程序,但它很适合在高完整性系统领域内工作。ADA的实力在可靠性至关重要的地区。它在嵌入式实时系统中大量使用,其中许多是安全关键。具体领域包括航空航天和国防,民航,铁路,汽车和医疗等。这些应用需要高度安全性:软件缺陷不仅仅是一种烦恼 - 它可能具有严重的后果。
学习ADA并不复杂。由于面向对象的编程获得了立足点,因此编程范例尚未进化很多,并且在许多广泛使用的语言中,相同的范例是一种方式存在一种方式。
这些文章中的每一个都解决了ADA的不同方面及其与C和嵌入式编程的关系:
AdaCore最近发布了一款新的ADA为嵌入式C开发人员通过将其与C进行比较来介绍您的课程。它假设您对C语言的了解。它还假设学习ADA的选择是通过与可靠性,安全或安全性相关的考虑来指导的。从这个意义上说,它教你的ADA范式,应该适用于更换通常适用于C的那些。
本课程还向您介绍了ADA编程语言的Spark子集。它删除了具有未定义行为的语言的一些特征,因此代码适用于声音静态分析技术。
If you’re interested in learning to program in Ada, or if you need to perform an assessment of possible languages to be used for a new development, or you’re currently working on an Ada project and would like more background, this course is for you!