Summary

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

SPARK 10.1 includes the following enhancements:

• Generics Phase 1 – Release 10.1 includes the first phase of the addition of support for Ada generics to the SPARK language and toolset
• Dynamic Flow Analyser and VCG Heaps
• Unicode characters now allowed in strings
• Improved use of types and subtypes in FDL
• Improvements to Simplifier tactics and performance
• Auto-generation of refinement rules
• Improvements to SPARKBridge
• New SPARKClean utility

This webinar will include a demo and Q&A session with the developers of the SPARK Pro toolset.

Register for Webinar

Summary

The InSight webinar series continues with a webinar demonstrating how to write unit tests in a cost-effective way using the AdaCore toolset. More precisely it will show how to generate the unit testing framework using GNATtest, how to run the tests on an emulator such as GNATemulator and how to extract coverage results using GNATcoverage. This is primary aimed at developers and projects managers that already have unit testing infrastructure in place and are looking to reduce maintenance costs, as well as teams that are looking at implementing such techniques with minimal effort.

Register for Webinar

Summary

CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. This webinar, presented by Tucker Taft, will provide an overview of the technology, and focus on the new features introduced in this latest 2.1 release. These include support for Ada 2012 and its new syntax for specifying contracts, analysis of the elaboration of library units to enable detection of uninitialized global variables, better support for analysis of race conditions including new GPS reports, and more precise handling of preconditions and unused assignments. Presented by Tucker Taft, we will also allow for a Q&A session at the end of the presentation.

Register for Webinar

Summary

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.

View Recorded Session (Requires WebEx Player)

Summary

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

SPARK Pro 10 is a major release including many new features – automatic selection of flow analysis mode, language profile for SCADE KCG, support for explicitly derived numeric types, addition of the SPARKBridge preview for Windows, library additions, and improvements to the SPARK proof tools.

View Recorded Session (Requires WebEx Player)

Summary

CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. This webinar, presented by Tucker Taft, will provide an overview of the technology and focus on the new features introduced in this latest release including support for access-to-subprogram types, much more efficient SCIL generation, support for parallel SCIL generation, fewer “false positives”, and improved integration with the GPS IDE.

View Recorded Session (Requires WebEx Player)

Summary

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.

View Recorded Session

Summary

In the aerospace and defense industry there is a growing demand to support high levels of security (Common Criteria EAL4 through EAL7) on critical systems while reducing size, weight, and power (SWaP). To address this demand, there are now commercial-off-the-shelf (COTS) operating system foundations that enable both single level secure (SLS) and multilevel secure (MLS) solutions that speed time-to-market and enable the support of multiple security domains on a single silicon platform.

However, one of the most challenging components of these solutions is the development of secure applications in these platforms. There is now an open standard, formally defined computer programming language, SPARK, that is designed to support this critical software development process and meet certification requirements of high security software used in applications and systems where predictable and highly reliable operation is essential.

Join Wind River and AdaCore in this web seminar that unveils the power of COTS solutions and open languages that enable the creation of robust, high security application software for critical systems.

View Recorded Session

Summary

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.

View Recorded Session (Requires WebEx Player)

Summary

The InSight webinar series continues with a presentation by Angela Wallenburg on the new features of the AdaCore/Altran Praxis 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 unrivalled support systems.

SPARK Pro 9.1 is a major release including many new features – the use of full range array subtypes, the relaxation of aliasing rules for record fields, the ability to specify VC generation on a per-file basis in metafiles, the introduction of new SPARK libraries, the introduction of the SPARKbridge feature.

View Recorded Session (Requires WebEx Player)

Summary

The InSight webinar series continued with a presentation by Robin Messer on the new features of the AdaCore/Altran Praxis 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.

View Recorded Session (Requires WebEx Player)

Summary

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.

View Recorded Session (Requires WebEx Player)

Summary

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.

View Recorded Session (Requires WebEx Player)

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)