AdaCore Roadmap (Sep 2013)

3,454 views

Published on

AdaCore technology roadmap presentation from the GNAT Industrial User Day Sep 2013

Published in: Technology, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
3,454
On SlideShare
0
From Embeds
0
Number of Embeds
2,247
Actions
Shares
0
Downloads
16
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

AdaCore Roadmap (Sep 2013)

  1. 1. Slide: 1Copyright © 2013 AdaCore Arnaud Charlet GNAT Industrial User Day – September 25, 2013 AdaCore Roadmap for 2013-2015
  2. 2. Slide: 2Copyright © 2013 AdaCore Product Roadmap - 2013 October GPS 6.0.0 November GNATbench 2.8.0 • Improved support for WRS WorkBench • Eclipse 4.3 and WRS WorkBench 3.4 support • New source navigation engine • Improved CodePeer support GNAT Pro 7.2.0 beta SPARK Pro 11.1, 14.0 beta
  3. 3. Slide: 3Copyright © 2013 AdaCore Product Roadmap – GNAT Pro 7.2 120+ new features Ada 2012 enabled by default Many new warnings and improved diagnostics • Including tagging of warnings via –gnatw.d SPARK 2014 related constructs (new aspect, attributes) Code generation optimizations Support for symbolic traceback in shared libraries Improved cross Ada/C++ exception handling GNAT Pro 7.2.0 November GNAT Pro 7.2.1 February GNAT Pro 7.2.2 July 2013 2014 GNAT Pro 7.3.0 November
  4. 4. Slide: 4Copyright © 2013 AdaCore Product Roadmap – GNAT Pro 7.2 New tool: gnat2xml • Generate XML files from Ada sources • Useful to write Ada analysis tools in any language quickly • Not as powerful as a full ASIS API Re-engineered version of gnatpp • Designed to be more reliable • Improved layout • Better long term maintenance and evolutions GPRbuild 2.1 • Support for distributed builds • Support for parallel bind and link • Additional switches recognized in project files GNAT Pro 7.2.0 November GNAT Pro 7.2.1 February GNAT Pro 7.2.2 July 2013 2014 GNAT Pro 7.3.0 November
  5. 5. Slide: 5Copyright © 2013 AdaCore Product Roadmap – GNAT Pro 7.2 New ports/OS • ARM Bare Board, Linux, VxWorks 6, Android • x86 VxWorks 6 Cert • PowerPC Lynx178 • Windows 8 OS Baseline • IA64 HPUX • Alpha OpenVMS • AIX 5.3 • Solaris 8 GNAT Pro 7.2.0 November GNAT Pro 7.2.1 February GNAT Pro 7.2.2 July 2013 2014 GNAT Pro 7.3.0 November
  6. 6. Slide: 6Copyright © 2013 AdaCore Product Roadmap – February 2014 CodePeer 2.3 • Package now comes with its own GNAT front-end • Improved support for legacy Ada (83) code • Message review possible via pragma Annotate • More precise messages, reduced false positives • New warnings when parameters could have restricted mode • Support for floating point overflow on unconstrained types • Support for IEEE floating point semantic • Improved GPS and GNATbench integrations GNAT Tracker 3.0
  7. 7. Slide: 7Copyright © 2013 AdaCore Product Roadmap – February 2014 GNATcoverage 1.2.1 • Support for full run-time • Coverage for generic instances • Support for Ada 2012 • Support for native linux (x86 and x86_64) • Support for Nexus probe • Improved HTML output • Beta support for C language GNATemulator 1.4.1 • Support for VxWorks 6 Cert • Windows and Linux hosts • PPC, e500v2
  8. 8. Slide: 9Copyright © 2013 AdaCore Product Roadmap - 2015 GNATdashboard • Beta program February 2014 • Official release February 2015 GNATdoc • Improved version • Many more formats of tags supported (e.g. doxygen tags) • Extracted from GPS, as a command line tool • Support for PDF generation GNAT Pro 7.3 • Transition to GCC 4.9 back-end CodePeer 2.4 • DO 178C qualification • Backtrace on messages to give more details • Detection of dangling references • UI improvements

×