Upcoming Webinars in categories GNAT Pro

No results found in categories GNAT Pro

Webinars/Demos in categories GNAT Pro

  • Rhapsody Ada and GNAT Pro integration

    The demo is presented by Fraser Chadburn, Senior Applications Engineer, IBM, and highlights:

    • How to integrate a UML2 modeling environment like Rhapsody with an Ada development environment like GNAT Pro into a seamless tool chain;
    • How to bring model-driven engineering with Rhapsody to the high-integrity domain where Ada is widely used;
    • How to support a lean and incremental model-driven development process using UML2 for design and Ada for implementation;
    • How to develop new Ada components using round-trip engineering and model-level debugging in Rhapsody;
    • How to decrease the evolution, reuse and maintainance costs of certified and proven-in-use Ada components thanks to Rhapsody reverse engineering capabilities;
    • How to generate code for Ada 83, Ada 95, Ada 2005 and soon Ada 2012 from the same UML model;
    • How to use Ada object-oriented features using the standard UML notation;
    • How to benefit from Ada expressive power for modeling range, floating and fixed points types in Rhapsody
  • SPARK Pro 11 demos

    Robin Messer highlights the new features released in SPARK Pro 11 including:

    • Enhanced Support for Generic Subprograms
    • SPARKbridge
    • Counter Example Generator: Riposte
    • Improvements to the use of Functions in Proof Contexts
    • New Proof Statement: Assume
  • Introducing GPS 5.1

    The GNAT Pro InSight webinar series continues with a presentation and demo of the new features introduced in GPS 5.1.

    This major release sees many enhancements to our IDE technology including extended feature support for C and C++, improved integration with CodePeer (automated code reviewer and validator), more powerful source editing, and enhanced GUI performance.

    This webinar will go through the new features and demo a selection. As always, there will be a Q&A session at the end.
  • Migrating to DO-178C/Avionics Certification Trends

    Wind River, Ada Core and Verocel will show the webcast audience how use of COTS technology and best practices in software certification can improve time to market and reduce risk for safety-critical software developers.

    AdaCore will introduce tools and techniques for easing the development and certification costs for applications to be deployed within an IMA architecture. Options for certification approaches will be discussed along with methods for automating these approaches. Full software development environments will be discussed with tight integration of tools and toolsets when they are applicable to the development or safety certification effort for a particular safety standard.
  • Introducing GPS 5.0

    The GNAT Pro InSight webinar series continues with a presentation and demo of the new features introduced in GPS 5.0.

    This major release sees many enhancements to our IDE technology including improved support for C/C++ in addition to its already comprehensive support for the Ada language, more powerful source editing, improved ease of use, better tool support (GNATstack, CodePeer), and enhanced documentation generation.
  • GNAT Programming Studio 4.3

    The GNAT Pro InSight webinar series continues this fall with a presentation of the new features that will be introduced in the GPS 4.3 release:

    • Easy configuration of dual compilation.
    • Enhanced support for gcov (code coverage), gnatcheck (coding standard checker) and compiler switches.
    • A redesigned and fully customizable builder module.
    • New plug-ins.
    • Improved code completion.
    • Improved documentation generator.
  • Boeing 787 avionics software

    Providing a DO-178B Level A Software Programming Environment for the Boeing 787 avionics software

    AdaCore, Verocel, and Wind River Systems joined together as a team to provide a real-time embedded development platform, which is used as the basis for DO-178B Level A safety critical application development for the Boeing 787. Wind River Systems provided VxWorks 653, the common core ARINC-653 operating environment that provides robust time, space and shared resource partitioning. AdaCore provided the Ada run-time system tailored to the specific requirements of the avionics software teams layered on top of this RTOS. Verocel provided the safety critical expertise to create the certification evidence for all of these architectural layers to meet DO-178B Level A requirements. This team effort has created a complete Do-178B development platform for this program and future avionics software development efforts.
  • GNATbench 2.1

    AdaCore has recently introduced GNATbench 2.1.0. This release introduces many new features including project management and presentation enhancements, language-sensitive editor enhancements, additional wizards, builder enhancements, and source code navigation enhancements. This webinar will describe and demo some of the new features introduced in 2.1.0. As always, we will allow a question and answer session at the end enabling you to talk directly with the designers of GNATbench.
  • GNAT Pro 6.1.1

    The latest version of the GNAT Pro Ada toolset sees over 150 enhancements to the technology including:


    • Additional GNAT Pro platforms incorporating the gcc 4.1 code generator (this code generator will now be included on most platforms)

    • Upgrade of the debugging engine, based on gdb 6.6

    • Improvement in robustness and efficiency for Ada 2005 features

    • Better real-time support on win32 platforms

    • Thread-safe profiling with gprof, on several platforms

    • Increased coverage analysis support for Ada in the gcov tool

    • New warnings to help programmers detect errors earlier

    • GNAT Pro companion tools such as gnatcheck, gnatpp and gnatmetric are being enhanced to support a wider variety of coding styles and coding standards.



    The next webinar in the GNAT Pro InSight series will describe and demo some of the new features introduced in 6.1.1. As always, we will allow a question and answer session at the end enabling you to talk directly with the designers of GNAT Pro.
  • GNAT Programming Studio 5.0

    In this latest webinar in the GNAT Pro InSight series, we will be demonstrating several new features present in recent versions of GPS using our latest release, GPS 4.2.0. Among the long list of new features and improvements that we will focus on are Remote Programming, Automatic Source Code Completion, Code Coverage support using gcov, an improved documentation generator, support for refactoring Ada sources, and an improved source code editor with enhanced source navigation and analysis capability.
  • GNAT Pro for OpenVMS on HP Integrity servers

    In this latest webinar in the GNAT Pro InSight series, we will be demonstrating several new features present in recent versions of GPS using our latest release, GPS 4.2.0. Among the long list of new features and improvements that we will focus on are Remote Programming, Automatic Source Code Completion, Code Coverage support using gcov, an improved documentation generator, support for refactoring Ada sources, and an improved source code editor with enhanced source navigation and analysis capability.
  • Eclipse

    Open standards COTS products come together to streamline safety-critical and OEM embedded development. Eclipse has promised tools can plug in and work together, and we’ll see concrete examples in this live event. Telelogic, AdaCore, and LynuxWorks are utilizing the power of the open Eclipse framework to help integrate and streamline the process from design to deployment.

    Hear Telelogic explain how Rhapsody, a UML design tool, and DOORS, the industry standard requirements tool, are taking advantage of Eclipse to provide an easy path from design to code. AdaCore introduces their Eclipse-based GNATbench and GNAT Pro tool set that brings both Ada and C/C++ code together, integrating with the leading safety critical open-standards based RTOS – LynxOS-178. LynuxWorks shows how their Luminosity tool suite continues the common look and feel of Eclipse, to help build, test and deploy safety critical systems.
  • GNATbench for Eclipse

    AdaCore has recently launched GNATbench 2.0. GNATbench Version 2.0 has been upgraded with new capabilities to support Eclipse 3.2. The upgrade provides development teams using the Eclipse 3.2 framework with advanced Ada language support and a fully integrated GNAT Pro Ada toolset to facilitate multi-language development, sophisticated editing, browsing, debugging, and comprehensive compilation. GNATbench supports both native (standard) Eclipse and Wind River’s Eclipse-based Workbench software development environment.

    This webinar will appeal to Ada developers that are using, or are interested in using, GNAT Pro and the Eclipse development environment in their projects.