Upcoming Webinars

No results found

Webinars/Demos

  • Introducing SPARK 9.0

    The InSight webinar series continued with a presentation by Robin Messer on the new features of the AdaCore/Altran joint offering – SPARK Pro. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivaled support systems.

    SPARK Pro 9 is a major release including many new features – new information-flow verification for safety and security policies, a new SPARK2005 language profile, the new ZombieScope tool, cross referencing annotations in GPS, function return annotations are now treated more like procedure post-conditions, a new output format for POGS, and a new Examiner switch that checks consistency of casing within code and annotations.
  • Introducing CodePeer

    CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer – in effect an expert assistant. CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and postconditions.
  • Getting started with SPARK

    The InSight webinar series continues with a presentation by Rod Chapman on SPARK GPL – the high assurance toolset dedicated to the academic and Free Software communities. SPARK GPL combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment. SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes.

    This webinar presents the concepts behind the Correctness-by-Construction methodology, includes a demo of the SPARK toolset and will look at current and potential research topics for the academic community.
  • Introducing SPARK Pro

    The InSight webinar series continued with a presentation by Rod Chapman on the AdaCore/Altran new joint offering – SPARK Pro. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivaled support systems. SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes.

    This webinar presents the concepts behind the Correctness-by-Construction methodology and includes a demo of the SPARK Pro toolset.
  • 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.
  • Effectiveness of Static Stack Analysis

    This webinar describes GNATstack, a static stack analysis tool that calculates the maximum stack space required by an application. The output of GNATstack can be used to ensure that stack overflow does not occur in a reliable system.
  • 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.
« Previous    1  2