Adacore

公司简介

关于Adacore

高可靠性软件工具的提供商，包括ADA和SPARK

接触

https://www.adacore.com/

有关Adacore的更多信息

我们在Adacore所做的一切都集中在帮助开发人员构建安全，安全和可靠的软件。在与航空航天，国防和铁路等行业中最受尊敬的公司合作的二十年经验中，我们建立了工具并提供服务，以简化开发高融合软件的复杂且通常很困难的过程。随着对真正安全和可靠的应用程序的需求扩展到汽车，医疗，能源和物联网等行业，我们很高兴能带来经过时间测试的技术，专业知识和服务，以帮助新一代的开发人员。

文章和新闻

程序员促销

alt.embedded

要堆叠或不堆叠 - 分配是问题

2021年10月25日

嵌入式程序员有三个存储数据的地方：全球，堆和堆栈。

软件更新促销

18beplay

如何使用ADA将软件与硬件更新隔离

2021年6月25日

ADA的数据代表功能解决了硬件更新中最令人沮丧的问题之一：创建可以使用特定物理的数据结构的便携式代码...

促销业务新

2018beplay

从商业角度来看ADA

2021年6月8日

使用ADA编程可以在节省成本和可用工具方面具有业务意义。

脑CPU促销

2018beplay

使用ADA与设备接口

2021年6月2日

ADA的构建是与嵌入式设备接口的。了解尺寸方面和属性，注册覆盖层以及SVD2ADA ADA绑定生成器。

代码编程促销

2018beplay

使用ADA中使用固定点处理不存在FPU

2021年5月28日

固定点可能会更快地更快，尤其是没有浮点单元的情况下。

艾达促销

2018beplay

在嵌入式系统上编写ADA

2021年5月27日

在ADA中编写低级编程很容易。这是关于如何完成的入门。

视频和资源

18beplay

对安全软件的模糊测试

2022年4月25日

Adacore的Paul Butcher分解了应用程序模糊测试的不太著名技术。

来自Adacore的所有内容

代码工程师促销

2018beplay

实时和ADA编程

2021年5月27日

查看ADA编程语言的一些技术方面，例如Ravenscar配置文件。

程序员促销

2018beplay

那么，ADA是什么？

2021年5月27日

将ADA与C进行比较时，它们在速度和记忆效率方面相似。是什么使他们与众不同？

代码工程师促销

2018beplay

嵌入式C开发人员的ADA

2021年5月27日

您为什么需要考虑学习另一种编程语言？

与ADA 2021促销

alt.embedded

与ADA 2021一起制作

2021年4月2日

查看ADA竞赛最新制造的结果，该竞赛使ADA和Spark应用程序来自多个竞争者。

电子设计23699 WTD静态分析促销

18beplay

声音和不符号静态分析有什么区别？

2018年9月13日

及时性和成本是代码验证的两个主要因素，它们将声音与不合格分开。但是最近的进步正在缩小这些差距。

电子设计15317采用火花3

18beplay

有用的提示来采用火花

2017年5月9日

Adacore和Thales创建了一份白皮书，以涉及Spark在高保证应用方面的增值。

汽车

向ADA新手学习

2016年12月14日

技术编辑Bill Wong最近判断了“与ADA的Make”竞争，并发现了一些有趣的反馈，这将吸引嵌入式开发人员。

博客

您参加ADA挑战吗？

2016年6月28日

ADA竞赛的制作即将到来，您也许可以为ADA项目赢得一些现金。

电子设计8488 adacorPromo

开发工具

关于ADA的11个神话

2016年3月10日

正如全球关键行业嵌入式实时系统的开发人员可以证实，ADA语言还活着且良好。您永远不会从某些误解中知道...