AdaCore In the Press

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