Inside AdaCore

Our company newsletter which is published and mailed twice a year.

July–December 2017

  • C Support for VxWorks and Bare Metal
  • CodePeer 17 Introduces No False Positives Mode
  • Tech Days 2017 Programs Firmed Up
  • Dr. John C. Knight: An Appreciation
  • Spotlighting a GAP Member: Georgetown University (Washington, DC)
  • Interview with Yannick Moy
  • Frama-C and SPARK Day 2017
  • Check Out Recent AdaCore Blogs

January-June 2017

  • Make with Ada Prize Winners Announced
  • Tech Days 2016 Conducted in Paris and Boston
  • Interview with Quentin Ochem
  • Version 17.1 Product Releases
  • Spotlighting a GAP Member: The Australian National University (Canberra)
  • GNAT Pro Supports AddressSanitizer

Spring-Summer 2016

  • GNATcoverage Extends Platform Support, Adds Features
  • AdaCore Tech Days 2016
  • Interview with Jamie Ayre
  • QGen update
  • Spotlighting a GAP Member: Technical University of Munich (Germany)
  • Public Ada Training in Boston and Paris
  • AdaCore Sponsoring Ada Programming Competition

Autumn-Winter 2015-2016

  • Drone Safety
  • Interview with Martyn Pike
  • Upcoming Releases
  • Ada Courses in UK and US
  • Automating Test Case Generation with GNATtest 

Spring-Summer 2015

  • In Memoriam: Robert B.K. Dewar, 1945-2015
  • AdaCore Tech Days in Paris and Boston
  • QGen Launched
  • AdaCore Blog Introduced
  • Ghost Code in SPARK 2014
  • Ada Course in Paris

Autumn-Winter 2015

  • Happy 20th Birthday, AdaCore!
  • A Brief History of GNAT Pro
  •  1 AdaCore and Safety Certification
  • A Brief History of SPARK Pro
  • Interview with Robert Dewar and Cyrille Comar
  • A Brief History of CodePeer
  • A Brief History of the GPS and GNATbench IDEs
  • Workshop on Medical Device Software Security
  • Upcoming Releases
  • Public Ada Course, Spring 2015
  • A Brief History of AdaCore and Education
  • Newsflash
  • Conferences/Events

Spring-Summer 2014

  • CodePeer 2.3 Released
  • GNATcoverage 1.2 Supports Hardware Probes
  • Current Releases
  • In the Pipeline
  • Academia Corner: Vermont Technical College (US)
  • Interview with Jérôme Guitton
  • GNAT Industrial User Day
  • Product Spotlight: GNAT Pro Safety-Critical for Railway Applications
  • Introductory Ada Course from AdaCore and Vector Software
  • Conferences/Events

Autumn-Winter 2013-2014

  • GPS 6.0 Released
  • Current Releases
  • In the Pipeline
  • Academia Corner: AdaCore University Lauched
  • Interview with Ben Brosgol
  • GNAT Industrial User Day
  • Technology Corner: What’s New in SPARK 2014?
  • Conferences/Events

Spring-Summer 2013

  • Major New Release of CodePeer
  • GNAT Pro Safety‐Critcal for ARM
  • Hi‐Lite Project Completed
  • Current Releases
  • In the Pipeline
  • Academia Corner: Professional Courses from AdaCore
  • Interview with Valentine Reboul
  • GNAT Pro User Day
  • Technology Corner: Solving the 4 Endianness Problem with GNAT
  • Conferences/Events

Autumn-Winter 2012-2013

  • GPRbuild 2.0 Enhances Support for Multi-Language Projects
  • Ada 2012 Approved by ISO, Featured on New Website
  • GNAT Industrial User Day Keeps Users Informed
  • Current Releases
  • In the Pipeline
  • Academia Corner: Universidad Politécnica de Madrid
  • Interview with S. Tucker Taft
  • AdaCore at HILT 2012
  • Technology Corner: Dealing with Integer Overflow
  • Conferences/Events

Spring-Summer 2012

  • AdaCore and SofCheck Join Forces
  • Ada 2012 Reference Manual Submitted to ISO
  • Who's new at AdaCore
  • Current Releases
  • In the Pipeline
  • New Course on DO-178C
  • Academia Corner: Kansas State University, US
  • Interview with Nicolas Setton
  • Open-DO Update
  • Webinar Schedule
  • Technology Corner: Parasail
  • GNAT Pro User Day
  • Conferences/Events

Autumn 2011

  • GPS 5.1 Strengthens Multi-Language Support, Tightens CodePeer Integration
  • GNATcoverage wins Electron d’Or Prize
  • Current Releases
  • In the Pipeline
  • Academia Corner: University of Southampton,UK
  • Interview with JC Bernedo
  • Webinar Schedule
  • SPARK Prevents Software Vulnerabilities
  • Technology Corner: Contract-Based Programming in Ada 2012
  • Conferences/Events

Spring 2011

  • New Tools for Dynamic Analysis of Embedded Systems
  • AdaCore Awarded Research Funds for New High-Integrity Frameworks/Tools
  • Current Releases
  • Webinar Schedule
  • Academia Corner: Western Washington University
  • Interview with Olivier Hainque
  • Technology Corner: GtkAda
  • AdaCore at Wind River Conferences
  • Conferences/Events

Autumn 2010

  • GPS 5.0 Now Available
  • GNAT Pro High-Integrity Edition for DO-178B
  • Current Releases
  • In the Pipeline
  • Academia Corner: Telecom ParisTech
  • Academia Corner: University of Virginia
  • Interview with Steve Baird
  • Webinar Schedule
  • Technology Corner: Multi-language Solutions Available
  • Conferences/Events

Spring-Summer 2010

  • CodePeer Launched
  • DO-178C Nearing Completion
  • Current Releases
  • In the Pipeline
  • Webinar Schedule
  • Academia Corner: University of Virginia
  • Interview with José Ruiz
  • AdaCore Awarded Grant for Hi-Lite Project
  • Technology Corner: Ada 2012 Nearing Completion
  • Open-DO Update
  • Conferences/Events
  • AdaCore at Wind River Regional Conferences

Fall-Winter 2009

  • GNAT Pro High-Integrity Edition for MILS
  • Model-Based Design Projects Underway
  • Current Releases
  • In the Pipeline
  • Academia Corner: The Australian National University
  • Interview with Pat Rogers
  • Webinar Schedule
  • Contracts
  • Conferences/Events

Spring 2009

  • SPARK Pro Launched
  • Open-DO Initiative
  • Current Releases
  • In the Pipeline
  • Academia Corner: Vermont Technical College
  • Interview with Michaël Friess
  • Webinar Schedule
  • Ada Gem: Pragma No_Return
  • Conferences/Events

Nov 2008

  • NSA-Sponsored Tokeneer Software Available
  • Project Coverage Launch Initiates
  • Open AdaCore Series
  • New Platforms
  • In the Pipeline
  • Academia Corner: Mälardalen University
  • Interview with Ed Falis
  • Webinar Schedule
  • Traceability Analysis Expands Safety-Critical Ada
  • Conferences/Events

May 2008

  • New Release of GNAT Programming Studio
  • Contract Award for Coverage Analysis Project
  • Current Releases
  • In the Pipeline
  • Academia Corner
  • Interview with Emmanuel Briot
  • Webinar Schedule
  • Technology Corner:Pragmas Precondition and Postcondition
  • Conferences/Events

Nov 2007

  • Gnat Pro High-Integrity Family Expanding to Servers
  • US Navy Policy Recognizes Open-Source Software
  • Current Releases
  • In the Pipeline
  • Spotlighting a GAP Member
  • Interview with Gregory Gicca
  • Webinar Schedule
  • AdaCore Partner Praxis High Integrity Systems Makes SPARK/Ada a Language to Depend on
  • Conferences/Events

June 2007

  • What’s New in GNATbench 2.01
  • Major New Air Traffic Control System Using GNAT Pro
  • Current Releases
  • Spotlighting a GAP Member
  • Ada 2005 is an Official ISO Standard!
  • In the Pipeline
  • Interview with Arnaud Charlet
  • Technology Webinars
  • AdaCore Partner Vector Software Helps Certification Effort for DO-178B
  • AdaCore at Conferences

November 2006

  • GNAT Pro and Ada 2005 Coming to .NET
  • GNATstack Tool Available
  • New GCC Technology
  • What’s Coming in GNAT Pro 6.0.1
  • New Version of gprmake
  • New Version of GNAT Tracker
  • Spotlighting a GAP Member
  • AdaCore at Conferences
  • Interview with Bob Duff
  • Public Courses at AdaCore New York
  • New Target Platforms for GNAT Pro
  • More Ada 2005 Features Available in GNAT Pro

April 2006

  • GNAT Pro for Wind River's VxWorks 6
  • PolyORB 2.0
  • GPS update
  • GNAT Pro Available on OpenVMS for HP Integrity Servers
  • AJAX in Ada Web Server
  • Stack Usage Analysis Tool
  • Interview with Zepur Blot
  • AdaCore in the News
  • Partnership Corner
  • AdaCore at conferences

November 2005

  • GNATbench:The Bridge Between GNAT Pro and Eclipse
  • Full Steam Ahead with Ada 2005!
  • What’s New with GNAT Pro
  • GPS 3.1 Available: Brings Many Improvements
  • GNAT Academic Program Update
  • Interview with Ed Schonberg
  • AdaCore in the News
  • Partnership Corner
  • AdaCore at conferences

April 2005

  • GNAT Pro 5.03 Release
  • Dynamic Plug-in Loading with Ada
  • In the Pipeline
  • GAP Update
  • AdaCore at Ada Europe 2005
  • Interview with Franco Gasperoni
  • GNAT Pro Winner of 'Product of the Year'
  • Internationalization in Ada 2005
  • AdaCore at conferences

November 2004

  • GNAT Pro High Integrity Edition Selected for Boeing 7E7 page 1
  • A New Look for AdaCore
  • Upcoming Releases
  • The Ada Academic Initiative
  • www.ada-answers.com Launches!
  • New GNAT Pro Cross-Compiler for ERC32
  • Interview with Robert Dewar
  • More GNAT Pro Ports on the Way!
  • GNAT Pro Jewel:Scripting in GPS
  • Technology Updates
  • Available on Site
  • AdaCore at ConferencesThe GNAT ProCompany