Ada 2012 on the ARM processors

Speaker: Michael Friess, AdaCore

With GNAT Pro, AdaCore is now bringing Ada 2012 and contract-based programming to ARM Cortex processors. Supporting bare boards as well as VxWorks 6-based platforms, the breadth of applications that can be developed with this new toolsuite go from standard embedded systems to certified systems.