AdaCore

COMPANY OVERVIEW

About AdaCore

Provider of high reliability software tools including Ada and SPARK

Contact

https://www.adacore.com/

More Info on AdaCore

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over two decades of experience working with the most respected companies in industries such as aerospace, defense and railways, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IoT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.

文章和新闻

alt.embedded

To Stack or Not to Stack—Allocation is the Question

Oct. 25, 2021

Embedded programmers have three places to store data: global, the heap, and the stack.

2018beplay

How to Use Ada to Insulate Software from Hardware Updates

June 25, 2021

Ada’s data-representation features address one of the most vexing issues with hardware updates: Creating portable code that can define data structures with a specific physical...

61beplay体育

Ada from a Business Perspective

June 8, 2021

Ada编程可以使商业ness sense in terms of cost savings and available tools.

61beplay体育

Interfacing with Devices Using Ada

June 2, 2021

Ada was built to interface with embedded devices. Learn about the Size aspect and attribute, register overlays, and the svd2ada Ada binding generator.

61beplay体育

Dealing with the Absence of an FPU Using Fixed Point in Ada

May 28, 2021

Fixed point can be significantly faster especially if there’s no floating-point unit.

61beplay体育

Writing Ada on Embedded Systems

May 27, 2021

Writing low-level programming in Ada is easy. Here’s a primer on how it’s done.

All content from AdaCore

61beplay体育

Real-Time and Ada Programming

May 27, 2021

Check out some of the technical aspects of the Ada programming language, such as the Ravenscar profile.

61beplay体育

So, What is Ada?

May 27, 2021

When comparing Ada to C, they’re similar in terms of speed and memory efficiency. What sets them apart?

61beplay体育

Ada for the Embedded C Developer

May 27, 2021

Why would you need to consider learning another programming language?

alt.embedded

Make with Ada 2021

April 2, 2021

Check out the results from the latest Make with Ada competition that pitted Ada and SPARK applications from multiple contenders.

Electronicdesign 23699 Wtd Staticanalysis Promo

2018beplay

What's the Difference Between Sound and Unsound Static Analysis?

Sept. 13, 2018

Timeliness and cost are two main factors for code verification, which separates sound from unsound. But recent advances are closing those gaps.

2018beplay

Helpful Hints for Adopting SPARK

May 9, 2017

Adacore and Thales have created a white paper addressing the incremental utilization of SPARK’s provability for high assurance applications.

18beplay下载

Learning from an Ada Neophyte

Dec. 14, 2016

Technology Editor Bill Wong recently judged the “Make with Ada” competition and found some interesting feedback that will intrigue embedded developers.

Blogs

Are You Up for the Ada Challenge?

June 28, 2016

The Make with Ada competition is coming up, and you might be able to win some cash for an Ada project.

Dev Tools

11 Myths About Ada

March 10, 2016

The Ada language is alive and well, as can be confirmed by developers of embedded real-time systems in critical industries worldwide. You’d never know that from some of the misconceptio...