News

Press Releases

See More »

AdaCore Toolchain for Ada, SPARK and C Now Qualified for ISO 26262 and IEC 61508

NEW YORK & PARIS, February 18, 2020 - AdaCore today announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. AdaCore has over two decades of certification experience in safety-critical domains such as avionics, space, and rail. By completing the qualification process for automotive and industrial standards, the company has shown that its high integrity technologies can meet the demanding assurance requirements of the software-intensive automotive industry.

Posted on 2/18/2020

AdaCore In the Press

See More »
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

Upcoming Events

See More »

Mar 11, 2020 — Portland, Oregon, USA

SIGCSE 2020

The SIGCSE Technical Symposium is the largest computing education conference worldwide organized by ACM Special Interest Group on Computer Science Education (SIGCSE). It attracts nearly 2000 researchers, educators, and practitioners interested in improving computing education in K-12 and higher education.

Posted on 1/20/2020    

Mar 18, 2020 — Toulouse, France

Aerospace Tech Week

Aerospace Tech Week is the annual show which brings you the latest developments in air-to-ground and nose-to-tail connectivity, airline e-Enablement strategies and processes, flight operations software, fuel efficiency, MRO software, regulatory, policy, technical SES and next-generation challenges for avionics and the testing systems (both hardware and software) that affect the design, construction and maintenance of all commercial and military aircraft.

Posted on 12/5/2019    

Mar 22, 2020 — San Jose, CA, USA

​NVIDIA’s GPU Technology Conference (GTC) - Silicon Valley 2020

NVIDIA’s GPU Technology Conference (GTC) is a global conference series providing training, insights, and direct access to experts on the hottest topics in computing today.Quentin Ochem from AdaCore will give the talk "Exterminating Buffer Overflows and Other Embarrassing Vulnerabilities with SPARK Ada on Tegra".

Posted on 2/6/2020    

Jun 2, 2020 — Novi, MI

TU-Automotive Detroit

AdaCore is a Gold Sponsor of this event. 

TU-Automotive Detroit is a B2B automotive technology conference and exhibition offering expert content and networking to 3,500+ attendees from across the auto tech ecosystem.

Posted on 2/13/2020    

Jun 8, 2020 — Santander, Spain

Ada Europe 2020

AdaCore will be exhibiting at the 25th Ada-Europe International Conference on reliable software technologies in Santander, Spain. 

Posted on 1/24/2020    

Jun 12, 2020 — Paris, France

GNU Tools Cauldron 2020

AdaCore will be organizing the 2020 GNU Tools Cauldron and be a major sponsor. The purpose of this workshop is to gather all GNU tools developers, discuss current/future work, coordinate efforts, exchange reports on ongoing efforts, discuss development plans for the next 12 months, developer tutorials and any other related discussions.

Posted on 1/24/2020    

Jun 19, 2020 — Menlo Park CA, USA

Frama-C & SPARK Days

AdaCore is a co-sponsor of this workshop (hosted by SRI International)

Posted on 2/13/2020