by
César Sagaert
–
Learning Ada with raytraced teapots
Introducing the Ada language with a fun 3D rendering project
by
Paul Butcher
–
Building Safety by Design: CHERI in Critical Systems Development
Paul Butcher, the Secure Avioincs by Design Project Manager for AdaCore, discusses the usage of CHERI in safety-critical software.
by
Andrea Bristol
–
AdaCore’s 2024; Highlights from our 30th year in Business
As AdaCore celebrates the start of a new year in business, we reflect on 2024, a year of development and future-proofing combined with consolidating our position as the trusted experts in high-integrity software tools.
Shaping Success: My Journey from Intern to Managing Director
Emma Adby discusses her career evolution at AdaCore - from intern in Paris to Global Head of Marketing and UK Managing Director.
by
Fabien Chouteau
–
Announcing Advent of Ada 2024: Coding for a Cause!
We're thrilled to kick off the holiday season with the third edition of Advent of Ada, a programming challenge that not only tests your coding skills but also contributes to a meaningful cause.As many of you know, Advent of Code has become a beloved tradition since its inception in 2015. The concept is simple yet brilliant: from December 1st to 25th, every day a new small programming exercise is published on the adventofcode.com website. Participants get points for each completed exercise.
by
Léo Germond
–
GNAT Static Analysis Suite Gitlab Integration - Scaling the pipeline up
In the previous blog post of this series, we set up a GNAT Static Analysis Suite (GNAT SAS) analysis pipeline. This post focuses on the pipeline's maintainability, security, and user experience.In this post, we will describe solutions to these issues by detailing the pipeline design and how to automate its update, and integrating a script to ease conducting and pushing reviews. Finally we’ll review using GitLab native analysis tooling to improve the user experience and gain a branch-aware analysis overview.
by
Gustavo A. Hoffmann
–
learn.adacore.com: New Advanced Ada contents
Some time ago we announced updates to the learn website. Since then, we've published new contents to the Advanced Journey with Ada course, which we discuss today.
by
Andrea Bristol
–
AdaCore Memories: the stories behind the first 30 years of AdaCore
As part of our 30 years of AdaCore celebrations, we spoke to some of our founders to discover the stories that built what we are so proud of today.Ed Schonberg and Richard Kenner share some memories.
by
Quentin Ochem
–
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.
Thinking Outside The Box: My Journey From Engineer to Technical Account Manager
Learn more about Silvère To-Sah-Be-Nza's journey from Engineering graduate to working with software engineering customers in the field
by
Olivier Henley
–
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.
by
Fabien Chouteau
–
How GNATkp Safeguards Against Known Compiler Issues
GNAT Pro Assurance customers have access to a special variant of GNATcheck called GNATkp (GNAT Known Problems detector). This tool is packaged with rules designed to detect Ada constructs affected by known problems in compiler releases.
by
Fabien Chouteau
–
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.
by
Olivier Henley
–
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).
by
Jose Ruiz
–
AdaCore Join Rust Enthusiasts in Paris
On June 25th, I attended the Rust Paris 2024 conference. Among around one hundred Rust enthusiasts and a program filled with captivating subjects and contributors, I presented (together with Thales) our vision for establishing a Rust ecosystem for certifiable embedded critical systems.
by
Fabien Chouteau
–
The use of Ada Language in the Telecommunications Industry
In this article, Fabien Chouteau explains the importance of secure software in the emerging telecommunications industry.
by
Frederic Leger
–
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).
by
Kyriakos Georgiou
–
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.
by
AdaCore
–
AdaCore Experts Present Paris Tech Day
Join us in Paris on Thursday, September 26th, to learn about the latest advancements in high-integrity software from our AdaCore experts.
Building a Bright Future: Celebrating International Women in Engineering Day
Today we’re showcasing Ashley Gay’s career and how her skills and accomplishments have evolved from an early interest in video games to cross operating systems expertise within the domain of high-integrity software.