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.

Articles & News

Embedded

Putting Protocols into Practice with RecordFlux

Jan. 11, 2024

Developing a robust, secure protocol specification doesn’t need to be complicated…if you have the right tools.

alt.embedded

NSA Recommends Safe Memory Management

Nov. 14, 2022

The U.S. National Security Agency recently published the “Software Memory Safety” Cybersecurity Information Sheet.

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.

Embedded

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...

Automation

Ada from a Business Perspective

June 8, 2021

Programming with Ada can make business sense in terms of cost savings and available tools.

Automation

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.

Videos & Resources

Why Commercial Rust Software is Important for Critical Solutions

alt.embedded

Why Commercial Rust Software is Critical for Critical Solutions

May 9, 2024

AdaCore’s GNAT Rust solution brings commercial support to Rust developers.

Embedded

Fuzz Testing for Safe and Secure Software

April 25, 2022

AdaCore's Paul Butcher breaks down the not-so-well-known technique of application fuzz testing.

Building High-Assurance Software without Breaking the Bank

The late computer scientist Edsger Dijkstra once famously said "Program testing can be used to show the presence of bugs, but never to show their absence." This intrinsic drawback...

All content from AdaCore

Automation

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.

Automation

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.

Automation

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.

Automation

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?

Automation

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.

Embedded

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.

Embedded

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.

Automotive

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.