Engineering publications brought to you by Mark Allen

AdaCore

Automotive

QGen

Rail & Marine

Learn How to Gain Increased Assurance for Safety-Critical Software

Defence & Security

New Model-Based Development Environment and Ada Toolset from AdaCore

Automotive

QGen, a customizable code generator and model verifier for Simulink and Stateflow models

Embedded Systems

AdaCore’s GNAT Pro Available for Wind River VxWorks 7

Defence & Security

AdaCore Launches QGen

Power

Ada 2012 on ARM

Defence & Security

Ada Programming Language Public Training course, London, UK, September 8-12 2014

Defence & Security

GNAT Pro Safety-Critical Available on ARM Processors

Defence & Security

Embraer Selects Ada and AdaCore’s GNAT Pro for AMX Upgrade

Power

ERTS 2012 to feature Open-DO session on open source tools for software certification.