On Site: Static Analysis Course

Learn how to use Static Analysis tools based on the Abstract Interpretation so you can prove absence of runtime errors and data races.    Monterrey, Mexico September 24th-26th, 2025   Main Topics ...

Upcoming Webinar: Introduction to the Arm Cortex-M55 Processor

Webinar Description:Cortex-M55 is Arm’s most AI-capable Cortex-M processor and the first to feature Arm Helium technology.It delivers the highest, most efficient ML and DSP performance for Cortex-M...

Webinar: Arm Keil Licensing Changes

Preparing for Arm Keil Licensing Changes   Learn about upcoming changes to Arm Keil licensing.  Discover how this will affect you and what options are available.   Agenda:   -Overview of changes.  ...

Webinar: ARM Development Studio Licensing Changes

Preparing for ARM DS Licensing Changes Hosted by: Steve Shortt, Field Applications Engineer at JORAL Technologies Date: May 13th 2025 Time: 2:00pm EDT Duration: 30 minutes Join us for an informativ...

Webinar: NXP i.MX93: Revealing the True Power of Arm Cortex-A55 Processor

Topics: - NXP i.MX. MX93: Revealing the True Power of the ARM Cortex-A55 Processor.  - ARM DS Development Tools - Correlium Virtual Platform   Description: Wednesday June 18th 2025 11:00am EDT-12:0...

Preparing for ARM Development Studio Licensing Changes

Learn about upcoming changes to ARM-DS Licensing.  Discover how this will affect you and what options are available.     Agenda: Overview of new and discontinued licenses Overview of new and discon...

Ensuring Software Quality, Safety, and Security by Sound Static Analysis

You will learn how static analysis powered by Abstract Interpretation can detect critical issues like memory safety violations and runtime errors in embedded C/C++ code. We’ll cover how these techn...

Accelerate Standards-Compliant Unit & Integration Testing for ISO 26262, IEC 61508, and DO-178C with Cantata

Learn how to perform the unit & integration tests required by the ISO 26262, IEC 61508 & DO-178C more efficiently with Cantata from QA Systems.     Topics of Discussion -Understand the dif...

WEBINAR: Ensuring Stack Safety: Preventing Stack Overflows in AI-Driven & Safety-Critical Embedded Systems

Discover how AbsInt’s StackAnalyzer ensures stack safety in AI-driven & safety-critical embedded systems. Learn about static analysis, worst-case stack estimation, CI/CD integration, and tool q...

WEBINAR: How to Accelerate Unit Testing of your KEIL Embedded Code

We will explore how Cantata supports automated unit testing and integration with Keil µVision projects. We’ll discuss test coverage analysis, automatic test case generation with Cantata AutoTest, a...