Summary

The InSight webinar series continued with a presentation by Rod Chapman on the AdaCore/Praxis 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.

View Recorded Session (Requires WebEx Player)

Summary

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.

View Recorded Session (Requires WebEx Player)

Summary

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.

View Recorded Session (Requires WebEx Player)

Summary

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.

View Recorded Session

Summary

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.

View Recorded Session (Requires WebEx Player)

Summary
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.

View Recorded Session (Requires WebEx Player)

Summary
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.

View Recorded Session (Requires WebEx Player)

Summary
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.

View Recorded Session (Requires WebEx Player)

Summary
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.

View Recorded Session

The GNAT Pro Ada plug-in for Eclipse

Summary
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. For more information on GNATbench please visit the GNATbench product page

View Archived Version (Requires Quicktime)