This event will be hosted by Robert Campbell, President of JORAL Technologies.JORAL Technologies is an embedded software distributor and engineering company based in Ottawa, Canada. The company specializes in software development tools for embedded systems, with a strong focus on safety-critical applications in industries such as aerospace, automotive, defense, medical, and industrial automation.If you develop safety-critical embedded software, you already know where the time goes. A requirement is written. Someone reads it and writes a test specification. Someone else reads that and writes a test script. Someone else runs it and assembles the evidence. Each handover is manual, and a place to lose traceability.In this session, Developair and QA Systems will follow a single requirement (from an aircraft cabin pressure control system) all the way through that chain. You will see requirements formalized and turned automatically into statement and MC/DC test cases, a requirements defect caught before any code is written, and those same test cases executed in Cantata against real code to produce the structural coverage and traceability evidence that ISO 26262, DO-178C, IEC 61508 and EN 50128 submissions require.We will also show how an AI assistant can help an engineer close any remaining coverage gaps without compromising the review and governance a certified project depends on.For software developers, test engineers, functional safety engineers and engineering managers working on embedded and safety-critical software.

Integrating static analysis directly into the development workflow is essential for improving software quality while maintaining developer productivity. In this webinar, we will demonstrate how Astrée integrates seamlessly with Arm Keil Studio and Visual Studio Code, enabling developers to perform sound static analysis without leaving their familiar development environment. The session will cover automatic extraction of build configurations and compiler-specific language settings, analyze-as-you-code workflows, inspection of Astrée findings directly within Visual Studio Code, and the use of AI copilots to explain results and suggest potential fixes.

Edge AI enables fast, private, and reliable on-device intelligence without depending on cloud connectivity. At the same time, embedded teams need a straightforward path for ML model development and integration in embedded applications. In this webinar, Arm and ModelNova demonstrate how Fusion Studio integrates with Keil MDK to streamline edge AI workflows on Arm Cortex-M and Arm Ethos-U. You’ll learn:What an MLOps system is?How to move from captured training data to an optimized ML modelHow to understand and validate model KPIsHow to validate ML models with SDS and SystemView

Join us to learn more about Corellium Atlas virtual hardware and how it is transforming embedded software development.Unlike traditional simulators or basic emulators that run slow or offer limited system fidelity. Atlas is focused on software enablement by running the same software binaries as physical hardware at hardware speeds (sometimes faster).

Automation strategies from host to target, plus a look at what AI makes possible Join JORAL Technologies and QA Systems to explore how automation and AI are transforming embedded software testing.We’ll discuss why testing is today’s biggest bottleneck, demonstrate Cantata’s automated test generation, execution, coverage, and deployment workflows, and show how AI-assisted test creation improves productivity while maintaining compliance. The session concludes with live Q&A and next steps.