Upcoming Webinars

No results found

Webinars/Demos

  • Building High Assurance Software without Breaking the Bank

    The late computer scientist Edsger Dijkstra once famously said "Program testing can be used to show the presence of bugs, but never to show their absence." This intrinsic drawback has become more acute in recent years, with the need to make software "bullet proof" against increasingly complex requirements and pervasive security attacks. Testing can only go so far. Fortunately, formal program verification offers a practical complement to testing, as it addresses security concerns while keeping the cost of testing at an acceptable level.

    Formal verification has a proven track record in industries where reliability is paramount, and among the available technologies, the SPARK toolset features prominently. It has been used successfully for developing high confidence software in industries including Aerospace, Defense, and Air Traffic Management. SPARK tools can address specific requirements for robustness (absence of run-time errors) and functional correctness (contract-based verification) that are relevant in critical systems, including those that are subject to certification requirements.

    In this webcast, SPARK experts Yannick Moy and Rod Chapman present the current status of the SPARK solution and explain how it can be successfully adopted in your current software development processes.

    Attendees will learn:

    - How to benefit from formal program verification
    - Lessons learned from SPARK projects
    - How to integrate SPARK into existing projects
    - Where to learn about SPARK
    - Why "too hard, too costly, too risky" is a myth

    Presented by Yannick Moy and Rod Chapman
  • GPS Demo

    GPS 6.0 features an improved visual appearance and also an enhanced underlying engine with a number of useful additions. Based on customer feedback, the improvements bring a cleaner interface, more space for editing, and easier accessibility to program-related information. These enhancements are well aligned with GPS’s underlying philosophy: to serve as a customizable platform for multi-language multi-tool integration, usable by developers at all experience levels.
  • CodePeer 3.0

    CodePeer 3 is the most advanced static analysis tool available for Ada – now qualified under DO-178B and EN50128 with support for IEEE 754 floating point semantics and enhanced support for project files. It can detect several of the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration: CWE-120 (Classic Buffer Overflow), CWE-131 (Incorrect Calculation of Buffer Size), and CWE-190 (Integer Overflow or Wraparound).
  • Managing Avionics Safety Certification in UAS Platforms

    Safety certification for avionics hardware and software is an expensive, complicated process, but absolutely necessary to ensure safe skies for commercial aircraft passengers and military jets flying in the national airspace. Now unmanned aircraft flight critical electronics will also have to meet these same safety requirements as the U.S. Federal Aviation Administration (FAA) starts to open up the national airspace to unmanned aerial systems (UASs). While the rules are still being drawn up, embedded software and hardware designers are already looking at ways for UAS platform integrators to solve certification challenges and manage the process of compliance with safety certification standards such as DO-178B & C. This webcast of industry experts will discuss how to enable safety certification of UAS platforms through efficient and cost-effective solutions.
  • Introducing CodePeer 2.3

    CodePeer 2.3 is the most advanced static analysis tool available for Ada – now integrating Ada 2012's contract-based programming capabilities. CodePeer detects errors before they grow into expensive problems. Serving as an efficient and accurate code reviewer, 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 post-conditions. Such an analysis makes it easier to find potential bugs and vulnerabilities early: if the implicit specification deduced by CodePeer does not match the component’s requirements, a reviewer is alerted immediately to a likely logic error. During system development, CodePeer can help prevent errors from being introduced, and it can also be used as part of a systematic code review process to dramatically increase the efficiency of human review. Furthermore, CodePeer can be used retrospectively on existing code, to detect and remove latent bugs.
  • Enabling Safety Certification in ARM-based Systems

    Processor technology from ARM has become a game changer for multiple industries, delivering high-performance-per-watt processing and high levels of integration to enable system on a chip (SoC) capability in a low-power device. This combination has been ideal for small form factor systems in avionics, automotive, and medical applications. Now embedded designers in these markets are looking at ways to take advantage of ARM technology to enable safety certification via standards such as FAA DO-178C for avionics systems and MISRA for automotive systems. This webcast of industry experts will look at how ARM-based solutions can not only reduce power but easily utilize the integrated peripherals in safety certification solutions across different industries.
  • Introducing CodePeer 2.2

    This webinar presents the CodePeer technology, describing what it does, how it can be used to improve software quality, and what are the new features of the 2.2.1 release. It includes a demo highlighting how Ada 2012 and CodePeer can be used together to identify potential issues, add targeted checks and contracts, and find actual bugs in an application.
  • 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 CodePeer 2.1 - Static Analysis Tool

    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.
  • Unit testing with GNATtest

    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.
  • Introducing SPARK 10.1

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

  • 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.
  • Introducing SPARK 10

    The InSight webinar series continues with a presentation by Robin Messer on the new features of the AdaCore/Altran 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.
  • Introducing CodePeer 2.0

    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.
  • 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.
  • Developing Security-Critical Applications for MLS

    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.
  • 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.
  • Introducing SPARK 9.1

    The InSight webinar series continues with a presentation by Angela Wallenburg 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 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.
   1  2     Next »