AdaCore In the Press

Electronic Design

Make with Ada 2021

Posted on 4/1/2021
Aerospace TechReview

Avionics Testing Is Meeting Complexity Challenges Head-On

Posted on 3/23/2021
Embedded Computing Design

The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK

Posted on 2/2/2021
Avionics International

Embedded Executives Talk Next Generation Military Avionics Systems

Posted on 2/2/2021
Military Embedded Systems

Top 10 military electronics stories of 2020

Posted on 1/25/2021
Embedded Software Engineering.de

SPARK und MISRA-C – Die Vorteile von Sprach-Subsets

Posted on 11/16/2020
Unmanned Systems Technology

Behind the lines: why real-time operating systems are growing in importance and how the different types can be used

Posted on 10/28/2020
Military Embedded Systems

Securing military embedded systems is a giant challenge

Posted on 10/15/2020
ADS

ADS Member Spotlight – AdaCore

Posted on 10/1/2020
Tech Briefs

Development Software Handles High-Integrity Space Applications - LASP and The CLARREO Pathfinder

Posted on 9/14/2020
Military and Aerospace Electronics

2020 Military & Aerospace Technology Innovators Awards announced for aerospace and defense achievement

Posted on 9/10/2020
Aviation Week

Tech Talk: Portability And High Assurance For Airborne Software: The FACE™ Approach

Posted on 8/11/2020
L'embarqué

Les méthodes formelles sont désormais incontournables pour vérifier complètement les logiciels critiques

Posted on 7/7/2020
Embedded Computing Design

Embedded Toolbox: Use Ada and Let the Compiler Do the Static Analysis

Posted on 6/24/2020
Circuit Cellar

The Future of Safe Programming; How Programming Languages Evolve to Reduce Risks

Posted on 5/21/2020
Elektronik Praxis

Legacy Code in C mit Ada sicher aktualisieren

Posted on 4/10/2020
Military Embedded Systems

DO-178C meets the FACE Technical Standard: High assurance and reusability for airborne software

Posted on 4/1/2020
Embedded Computing Design

Qualifying the ISO 26262 Toolchain for Automotive Software Development

Posted on 3/18/2020
Embedded Computing Design

Functional Safety on the Rise as ISO 26262 Takes Page from DO/178 Standards Book with Ada, Spark

Posted on 3/18/2020
VDC Research

Functional Safety Development & Test Solutions

Posted on 11/13/2019
Inria Research Centre

FIEEC Carnot Prize for Applied Research: Claude Marché “proves himself”

Posted on 10/25/2019
Electronic Design

Learn to Use Ada and SPARK

Posted on 10/25/2019
Elektronik Praxis embedded-softawre.engineer

ESA wählt Adacores Multitasking-Lösung für die Raumschiff-Softwareentwicklung

Posted on 10/15/2019
Wind River

Wind River Redefines Embedded Software Development with New VxWorks Release

Posted on 10/14/2019
Embedded Computing Design

SPARK security into your system software

Posted on 10/4/2019
SAE MOBILUS

Software security, a scientific overview

Posted on 4/22/2019
Military Embedded Systems

AdaCore’s code generator QGen wins BEST IN SHOW AWARD at Aerospace Tech Week 2019

Posted on 3/14/2019
L'Embarqué

Conduite automatisée : certaines puces-systèmes Nvidia vont migrer vers le RISC-V et les langages Ada et Spark

Posted on 3/6/2019
EEWeb

Introducing RISC-V and RISC-V Tools

Posted on 2/14/2019
Electronic Design

Leveraging SPARK and Ada in Cutting-Edge Auto Systems

Posted on 2/13/2019
NVIDIA

Maximum Security Vision: Securing the Future of Safe Autonomous Driving

Posted on 2/5/2019
RISC-V Blog

AdaCore Joins The RISC-V Foundation To Provide C And Ada Compilation Support

Posted on 1/30/2019
embedded-software.engineer

Die Zeit ist reif, um formale Testmethoden auch im Mainstream einzusetzen

Posted on 1/30/2019
Elektronik Praxis

AdaCore wird Mitglied der RISC-V Foundation

Posted on 1/30/2019
Military Embedded Systems

Portable, reliable, and efficient concurrency: Ravenscar Ada tasking and the FACE safety profiles

Posted on 11/20/2018
Electronic Design

Ada Compiler Generates C Source

Posted on 11/16/2018
Embedded Software Engineer

Verifikation von Embedded Software durch Integration von Test und Beweis

Posted on 11/14/2018
Electronic Design

SSI: Continued Assurance from Requirements to Code

Posted on 11/12/2018
Electronic Design

Halloween, Debugging, SPARK, and More

Posted on 11/5/2018
Electronic Design

Ada—The Language of Cost Savings?

Posted on 10/23/2018
Embedded Computing Design

So, How Secure are your Coding Practices? Ask AdaCore

Posted on 10/19/2018
EE Times Europe

The AdaCore Edge: Development and Verification Technologies for Software that Matters

Posted on 9/26/2018
Air & Cosmos

La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique

Posted on 9/25/2018
Electronic Design

It’s Time to Use a Safer C

Posted on 9/13/2018
Electronic Design

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

Posted on 9/12/2018
Wind River Blog Network

Reliable, Safe and Secure? Ada and VxWorks Can Help!

Posted on 8/13/2018
Electronic Design

You Can Now Learn SPARK and Ada Online

Posted on 7/26/2018
Embedded Computing Design

Simple On-Line Training For Complex Topics

Posted on 7/25/2018
l'Embarqué

Les outils de développement de logiciels système sûrs d’AdaCore se frottent à l’automobile

Posted on 6/26/2018
Embedded Computing Design

AdaCore Technologies for cyber security, part 2: The challenge of secure software

Posted on 6/21/2018
YouTube

AdaCore at TU Automotive 2018

Posted on 6/7/2018
Intelligent Aerospace

System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software engineering

Posted on 6/1/2018
Embedded Computing Design

5 Minutes with...Yannick Moy

Posted on 5/7/2018
Embedded.com

You think your software works? Prove it!

Posted on 3/20/2018
Military Embedded Systems

Toward safety and security in FACE components: High assurance with portability

Posted on 3/20/2018
Embedded News

Secure Programming with SPARK

Posted on 3/13/2018
YouTube

Levels of Software Assurance in SPARK

Posted on 2/13/2018
EE News

Model-level debugging: a bridge between control engineering and software engineering

Posted on 2/13/2018
Embedded Computing Design

Where the software meets the road: Certifying the safety of self-driving cars

Posted on 1/2/2018
Electronic Design

Improving Code Quality in the New Year

Posted on 12/21/2017
Electronic Design

GNAT Pro Developer Cuts Ada, SPARK Development Costs

Posted on 12/13/2017
EE Journal

Let the Formal Be With You Taking on Software Safety and Reliability with Formal Verification

Posted on 12/13/2017
Embedded Computing Design

Where the software meets the road: Certifying the safety of self-driving cars

Posted on 12/6/2017
The Ganssle Group

The Embedded Muse

Posted on 12/5/2017
stickyminds.com

Hybrid Verification: Mixing Formal Methods and Testing

Posted on 12/4/2017
Electronic Design

A Look Inside NIST’s “Dramatically Reducing Security Vulnerabilities” Report

Posted on 11/29/2017
Electronic Design

Assessing the Ada Language for Audio Applications

Posted on 11/13/2017
Embedded.com

Making robots with Ada, Part 2 - Driving the motors

Posted on 9/6/2017
Embedded Computing Design

Code cleaning with SPARK and Ada: Cut development costs upfront

Posted on 8/18/2017
Heise Developer

Bringing the aerospace safety Mindset to the Automotive Mode

Posted on 8/8/2017
Lauterbach Newsletter

Lauterbach et AdaCore s’associent pour GNATcoverage

Posted on 7/10/2017
COTS Journal

Ada Language: Trusted Tool for Safety Critical Systems (pages 24-26)

Posted on 7/10/2017
RR Software

Code Quality Warnings: Highlighting Likely Bugs Before They Bite

Posted on 6/9/2017
Embedded Computing

AdaCore booth video at TU Automotive Detroit 2017

Posted on 6/8/2017
Embedded

Making robots with Ada

Posted on 6/5/2017
Electronic Design

Before C, What Did You Use?

Posted on 5/18/2017
Embedded Computing Design

Ada Competition: Look who's a judge!

Posted on 5/18/2017
Electronic Design

Helpful Hints for Adopting SPARK

Posted on 5/9/2017
Military Embedded Systems

Military & Commercial Unmanned Systems Designs Leverage Open Architectures

Posted on 4/28/2017
Military & Aerospace

The challenge of controlling proliferating unmanned aircraft

Posted on 4/26/2017
Methods and Tools

Ada: a C Developer's Perspective

Posted on 4/24/2017
Electronic Design

Rust and SPARK: Reliability for Everyone

Posted on 4/18/2017
Intelligent Aerospace

Investing in test tools for modern and legacy aerospace systems

Posted on 4/14/2017
Embedded News TV

AdaCore Announces Availability of QGen Debugger at Embedded World 2017

Posted on 3/23/2017
EDN Europe

Tools for embedded software development: a life cycle perspective (page 17)

Posted on 3/21/2017
Embedded Computing Design

Embedded World 2017: AdaCore QGen Advances Code Quality in Mission-Critical Devices

Posted on 3/20/2017
Intelligent Aerospace

AdaCore upgrades GNAT Pro, CodePeer, QGen, and SPARK Pro software development, verification tools

Posted on 3/20/2017
ComputerWeekly.com

AdaCore vehemently verifies (software) verification

Posted on 3/16/2017
Electronic Design

Q&A: Formal Methods Push Toward Zero-Defect Software

Posted on 3/9/2017
Avionics

DO-178C: Software for NextGen Avionics, UAVs and More

Posted on 3/1/2017
Military Embedded Systems

Formal program verification in avionics certification

Posted on 3/1/2017
Embedded Computing Design

A source-annotation-based framework for structural coverage

Posted on 2/21/2017
Markt & Technik

Ada für Embedded

Posted on 2/14/2017
Embedded

The time has come for Ada

Posted on 2/9/2017
Electronic Design

Learning from an Ada Neophyte

Posted on 12/16/2016
Electronic Products

DO-178C helps to make flying safer

Posted on 12/13/2016
EE Journal

Reducing the Odds of Failure

Posted on 12/5/2016
ARM Connected Community

Ada Driver Library for ARM Cortex-M/R - Part 2

Posted on 12/2/2016
SemiWiki

Ada in the IoT?

Posted on 11/18/2016
Embedded Computing Design

Building trust in a model-based automatic code generator

Posted on 8/17/2016
ARM Connected Community

Ada Driver Library for ARM Cortex-M/R - Part 1

Posted on 7/8/2016
VDC Research

The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 2)

Posted on 7/7/2016
VDC Research

The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 1)

Posted on 7/5/2016
Embedded FM

158: Programming is too difficult for humans

Posted on 6/29/2016
Heise Developer

Traits-basierte Container in Ada

Posted on 3/29/2016
L'Embarqué Media

AdaCore muscle ses outils de développement et de vérification pour la programmation à base de modèles

Posted on 3/22/2016
Electronic Design

11 Myths About Ada

Posted on 3/10/2016
Hackaday

Candy Dispenser Riddles You This

Posted on 3/8/2016
Embedded World Handout Guide

Hybrid Verification for High-Integrity Software: Combining Formal Methods with Testing

Posted on 2/23/2016
Electronic Design

Comparing Ada and C

Posted on 1/29/2016
Electronic Design

What's the Difference Between Ada and SPARK?

Posted on 11/19/2015
Electronic Design

What's the Difference Between Secure Comms and Secure Systems?

Posted on 10/27/2015
EE Times

Bringing Ada and GNAT to DIYers on Raspberry Pi

Posted on 9/21/2015
All-Electronics

Codegenerierung aus Simulink- und Stateflow-Modellen individuell anpassen

Posted on 9/9/2015
Embedded Design

Sichere Anwendungen mit QGen effizient erzeugen

Posted on 9/9/2015
Intelligent Aerospace

Reducing Cost of Defensive Code – The Ada 2012 Approach

Posted on 9/9/2015
Electronic Design

The Day of the Three Glitches

Posted on 8/31/2015
Electronic Design

Ada/SPARK Fixes Crazyflie Nano Quadrotor

Posted on 8/25/2015
Embedded Computing Design

Vehicle automation: Who should have ultimate control?

Posted on 7/12/2015
John Day's Automotive Electronics

Will MY Car be Hacker Proof?

Posted on 4/23/2015
Military Embedded Systems

COTS software challenges in the military electronics market

Posted on 4/13/2015
Embedded Computing Design

Drone safety, what's next?

Posted on 4/10/2015
elektroniknet

Unterschiede von freie Software, Open Source und FLOSS (German only)

Posted on 2/23/2015
Electronic Design

Requiem for a Bug – Verifying Software, Part 2: Formal Verification through SPARK 2014

Posted on 1/12/2015
Bloor Research

SPARK 2014 lowers the barriers to low-defect programming

Posted on 11/19/2014
Embedded Computing Design

Advanced static analysis for reusable libraries and subsystems

Posted on 11/13/2014
Electronic Design

Verifying Software: Testing and Static Analysis

Posted on 11/5/2014
CrossTalk (page 17)

Static Analysis Tools Pass the Quals

Posted on 11/4/2014
Embedded Computing Design

Open Source Software Everywhere?

Posted on 10/1/2014
John Day's Automotive Electronics

Automotive Automation: Lessons from Other Domains

Posted on 9/30/2014
Electronic Design

ARMed and Ready

Posted on 9/19/2014
LXer

Interview With Richard Kenner of AdaCore

Posted on 9/4/2014
Embedded.com

Safe and secure object-oriented programming with Ada 2012's contracts

Posted on 8/14/2014
Military Embedded Systems

Ada Watch: Bringing Ada onto the battlefield

Posted on 8/8/2014
SD Times

Security is front and center for developers

Posted on 7/29/2014
Electronic Design

Running Ada 2012 On The Cortex-M4

Posted on 7/9/2014
Dr. Dobbs

After Heartbleed: A Look at Languages that Support Provability

Posted on 6/4/2014
Electronics Weekly

Open Source in High-Integrity Systems

Posted on 5/28/2014
Aviation Today

Real Time Operating Systems Addressing the Certification, Security and Standards Dilemmas

Posted on 4/9/2014
JAXenter

Security is one of the biggest problems for the IoT right now

Posted on 4/9/2014
Embedded.com

Alternatives to C/C++ for system programming in a distributed multicore world

Posted on 3/29/2014
Military & Aerospace Electronics

Software considerations for multicore hardware environments

Posted on 3/29/2014
Electronic Design

ARMing Ada

Posted on 3/20/2014
Military Embedded Systems

Safety certification concerns for UAVs in national airspace

Posted on 3/7/2014
Embedded Systems Programming

AdaCore releases GNAT Pro 7.2 with more ARM support

Posted on 3/6/2014
Electronic Design

Use Contracts To Enforce Effective Coding

Posted on 3/5/2014
Dr. Dobbs

AdaCore Flies GNAT Pro 7.2

Posted on 3/4/2014
Embedded

Parallelism joins concurrency for multicore embedded computing

Posted on 2/18/2014
John Day's Automotive Electronics

Will My Car be Safe to Drive?

Posted on 2/4/2014
Business Computing World

Software Glitches: Why We Shouldn't Put Up With Them

Posted on 1/20/2014
Embedded Computing Design

What will be hot in 2014 for Embedded and Mobile Software Development?

Posted on 12/19/2013
Embedded.com

Contract-based programming: making software more reliable

Posted on 8/25/2013
Embedded.com

SPARK 2014: Why I am backing a predictable winner

Posted on 8/6/2013
Vector Software

Vector Software Announces Support for the AdaCore GNAT Pro Compiler for ARM Cortex

Posted on 6/24/2013
Electronic Specifier Automotive

How Safe Are Our Roads?

Posted on 6/11/2013
heise Developer

Nebenläufige Programmierung in Ada

Posted on 5/17/2013
Avionics Today

Real-Time Operating Systems

Posted on 5/13/2013
IEEE Software

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

Posted on 5/3/2013
Electronic Specifier's digital magazine

Is it safe?

Posted on 4/3/2013
Embedded Computing Design

Advanced static analysis meets contract-based programming

Posted on 3/12/2013