AdaCore Blog

An Insight Into the AdaCore Ecosystem

by Quentin Ochem
Should I choose Ada, SPARK, or Rust over C/C++?

Should I choose Ada, SPARK, or Rust over C/C++?

At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming languages, this means supporting the most commonly found candidates, which in 2024 include C/C++, Ada/SPARK, and Rust. If you’ve already made your decision, we will support you. However, in a number of situations, people ask us: “What should we do? What’s the best out there?”. While it’s difficult to give a one-size-fits-all answer, there are some strategic elements to consider.

#Ada    #Rust    #SPARK    #C++   

by Olivier Henley
A new year of Capstones: A Recap of the last Projects

A new year of Capstones: A Recap of the last Projects

As part of the AdaCore GNAT Academic Program, Capstones offers senior higher education students the opportunity to take on challenging and exciting engineering projects within a high-integrity technology and culture framework.As we begin a new academic year, with everyone back and ready to face new challenges, it’s the perfect time to reflect on the high-quality projects completed over the past year.

#Capstone   

by Fabien Chouteau
Ada GameDev Part 3: Enjoy Video Games Programming with Raylib

Ada GameDev Part 3: Enjoy Video Games Programming with Raylib

In April 2024 a streamer named Tsoding developed a video game from start to finish in Ada in 20 days. He seemed to have enjoyed the experience, to the point where he says that Ada will be the next trendy programming language for game development. Ignoring the potential irony in the streamer’s comment, I thought let’s give Ada gamedev a little push in that direction.

#Ada    #GameDev    #raylib   

by Olivier Henley
Getting Started with Renode: Simulating an Ada STM32F429disco Blinky Firmware.

Getting Started with Renode: Simulating an Ada STM32F429disco Blinky Firmware.

I recently watched the talks from the 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024), which was held in Barcelona last June.One talk that stood out was "HiRTOS: a Multicore RTOS Written in SPARK Ada" by J. German Rivera. In his presentation, he mentioned running HiRTOS on Renode, an open-source simulation and virtual development framework for complex embedded systems (https://github.com/renode/renode).

#Renode   

by Frederic Leger
Secure Supply Chain and vulnerability reports at AdaCore

Secure Supply Chain and vulnerability reports at AdaCore

In the past few years, attacks compromising software supply chains (MITRE ATT&CK T1195) have become more prominent, with cases such as NotPeya, Target data breach, Solarwinds, … The impact of the SolarWinds attack in 2020 in the United States led to Executive Order 14028, which strongly focuses on improving the security and integrity of software supply chains. Since then, various initiatives have been started, either by governments or organizations, such as SSDF (“Secure Software Development Framework”) by NIST or the SLSA framework (“Supply Chain Levels for Software Artifacts”) by OpenSSF (2021).

#SLSA   

by Kyriakos Georgiou
AdaCore for SCHEME — Safety-Critical Harsh Environment Micro-processing Evolution

AdaCore for SCHEME — Safety-Critical Harsh Environment Micro-processing Evolution

AdaCore is excited to announce its participation in the SCHEME (Safety-Critical Harsh Environment Micro-processing Evolution) research project. Within SCHEME, Rolls-Royce has assembled a world-class consortium of UK industry and academia to deliver the next generation of high-integrity processing platforms for use in aerospace and other harsh environments.

#project    #research    #UK   

by Jose Ruiz
Security Considerations in Light Launcher Software

Security Considerations in Light Launcher Software

When Latitude began creating their small satellite launcher, Zephyr, they recognized the importance of selecting the correct programming language and development tools to support their efforts. They chose to work with high-integrity software experts AdaCore.Latitude, which closed a Series B funding round in January 2024, is currently preparing for Zephyr's first flight, which will occur in late 2025.In this article, Jose Ruiz, a Product Manager at AdaCore, explores two essential factors to consider when selecting secure software for your space industry projects: memory-safe languages and formal verification.

#Latitude   

by Michael Frank
Creating Your Own Ada/SPARK Coding Standard

Creating Your Own Ada/SPARK Coding Standard

Many of our customers ask if we have a "Coding Standard" that we can provide for writing code in Ada or SPARK. The answer has typically been: "We provide GNATcheck, which you can use to create your own." While this provides a lot of flexibility and control to the end user, sometimes a developer just wants to get things up and running as quickly as possible, and a generic coding standard is all that's needed. That's why AdaCore decided to help by creating a baseline coding standard that you can use as-is, or modify to fit your needs.

#Ada    #SPARK