Building on Part 1, this session takes a deeper look at what happens after requirements are transformed into executable tests.Join JORAL Technologies, Developair, and QA Systems as we explore how engineering teams can identify and close structural coverage gaps, strengthen requirements traceability, and use AI-assisted workflows while maintaining the control and review required for safety-critical development.

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.

Topics of Discussion* Motivation for and capabilities of static program analysis * Abstract interpretation-based static sound stack usage analysis. * Comparison to Legacy Methods * Sound and complete call graph reconstruction and visualization * Short introduction to Static Value Analysis * Result Representation and Statistics * Result Combination to calculate a global worst-case stack consumption * Integration into a CI/CD pipeline workflow * Automatic Tool Qualification to a Safety Standard