Under construction. Speaker materials are being assembled with our partners; further updates will land in the weeks leading up to the workshop on 15 September 2026.

IEEE ITSC 2026 · Half-Day Workshop · Naples, Italy · 15 September 2026

Compiler Safety and Verification for Intelligent Transportation Systems

From C/C++ to Rust

The place where algorithms meet the foundation — between the tires and the silicon.

About this workshop

Most ITSC discussions are more about algorithms, controllers, and protocols than about the compilation, qualification, and deployment steps those discussions ultimately depend on. This workshop puts on the table what those works rely on: qualified compilers, independent verifiers, and the integrators who land that trust chain in production.

The half-day program follows the trust chain in order. An independent verifier (Solid Sands) frames toolchain qualification; a qualified-compiler vendor (HighTec) shows what a multi-architecture safety-qualified C/C++/Rust compiler looks like in practice; an autonomous-transit integrator (2getthere) traces how compiler-anchored trust is inherited under ISO 26262, ASPICE, and SOTIF in an L4 autonomous transportation system. A 20-minute moderated research panel closes by drawing the three perspectives together.

Schedule (2.5 hours)

00:00–00:15Opening and four-act framing — Kangwon Lee
00:15–00:50Verify — Sjoerd van der Zwaan (Solid Sands)
From Code to Confidence: Toolchain Qualification in ITS
00:50–01:25Compile — Dániel Szűcs (HighTec)
Safety Qualified Multi-Architecture Rust and C/C++ Compiler
01:25–01:35Break
01:35–02:10Deploy — Yang Xiao (2getthere)
Bringing Standards into Product: ISO 26262 + ASPICE + SOTIF in an L4 Autonomous Transportation System (ATS)
02:10–02:30Closing research panel — moderated, all speakers

Speakers

Sjoerd van der Zwaan

Sjoerd van der Zwaan — Solid Sands B.V.

From Code to Confidence: Toolchain Qualification in Intelligent Transportation Systems

Intelligent Transportation Systems (ITS) increasingly rely on sophisticated C and C++ software to manage complex, real-time safety functions. While safety standards like ISO 26262 require rigorous verification of application code, the underlying toolchain — specifically compilers and runtime libraries — often receives less scrutiny. Because these tools translate high-level source code into executable behaviour, defects within them can introduce critical faults even when the source code is perfectly correct. Furthermore, the traditional approach of one-time qualification is no longer sufficient in modern environments where toolchains evolve through frequent updates, security patches, and optimizations.

To address this, we introduce continuous toolchain qualification as a systematic method for maintaining trust throughout the ITS lifecycle. This approach integrates automated verification directly into CI/CD pipelines, enabling revalidation whenever toolchains or build configurations change. This presentation details the practical implementation of such a framework, including the structure of compiler test suites, strategies for validating complex optimization passes, and techniques for scaling execution across heterogeneous hardware targets. We also discuss the role of change impact analysis and regression detection in maintaining qualification status. By establishing a reusable foundation for continuous verification, organizations can generate auditable evidence, reduce late-stage risks, and ensure sustained compliance with evolving regulatory expectations for safety-critical systems.

Sjoerd van der Zwaan is a leading expert in autonomous systems with over a decade of experience in Intelligent Transport Systems (ITS). As Chief Product Officer at Solid Sands, he directs product strategy for safety-critical components, specializing in compiler validation and toolchain qualification for embedded systems. His expertise in robotics, AI, and computer vision ensures that development processes meet rigorous safety standards. Previously, as CTO at 2Getthere, Sjoerd led the innovation of autonomous transit solutions. With a background in Electrical and Computer Engineering, he is dedicated to shaping the future of mobility. By bridging cutting-edge technology with reliable verification, Sjoerd advances smart, safe transportation solutions globally.

Dániel Szűcs — HighTec EDV-Systeme GmbH

Safety Qualified Multi-Architecture Rust and C/C++ Compiler

Bio and abstract pending.

Yang Xiao

Yang Xiao — 2getthere

Bringing Standards into Product: ISO 26262 + ASPICE + SOTIF in an L4 Autonomous Transportation System (ATS)

Deploying safety-compliant autonomous vehicles in the real world remains a major challenge for intelligent transportation systems. 2getthere's Group Rapid Transit (GRT) system is a fully autonomous, high-capacity transport platform. In developing its collision-avoidance software, three complementary frameworks were applied in combination.

ISO 26262 provided the product-safety backbone: identifying hazardous scenarios, determining the required ASIL allocation and the corresponding development rigour per safety goal, translating abstract safety goals into concrete functional and technical safety requirements together with their architectural realisation, and consolidating the resulting evidence into a structured safety case that supports release of the vehicle.

ASPICE supplied the process-capability skeleton for software development: a lifecycle structure with defined work products, bidirectional traceability, and supporting processes. It was applied in particular to the perception software stack, so that the technical quality demands of ISO 26262-6 are met without re-inventing the development framework.

ISO 21448 (SOTIF) addressed the residual risk that ISO 26262 cannot reach: the absence of unreasonable risk arising from the intended functionality of the system or from its reasonably foreseeable misuse had to be demonstrated throughout development, and unknown hazardous scenarios encountered in the field had to be detected and mitigated rapidly to keep the function free from unreasonable risk in operation.

This presentation shares practical lessons learned from qualifying a transit system under the combined ISO 26262, ASPICE, and SOTIF framework, and offers an end-user perspective on translating safety standards and structured development processes into an operational, safety-qualified product.

Yang Xiao is the product owner for autonomous driving (AD) perception software at 2getthere, where she focuses on the multimodal sensor calibration solution and the collision avoidance solution for Level 4 autonomous Group and Personal Rapid Transit systems. Previously, as an R&D software developer, she delivered ASPICE-compliant, ISO 26262-aligned software for L4 AD projects. She holds a Ph.D. from the University of Birmingham, specialising in high-resolution automotive imaging radar for AD applications, with publications in international journals and conference proceedings. Her work bridges automotive perception research and production-grade safety engineering for autonomous mobility.

Closing research panel

A 20-minute moderated discussion with all three speakers. Three frames are pre-developed:

  1. Threat surface. The source-to-binary trust chain in light of Pwn2Own Automotive 2026 — 76 zero-day vulnerabilities disclosed across the automotive threat surface, including five EV-charger compromises in a single competition window.
  2. Provenance. Whatever the upstream of a C/C++/Rust line — human-written, Simulink-RTW-generated, LLM-assisted, or whatever comes next — every line still passes through the compiler. Whether the qualified compiler can absorb each new provenance debate, or whether each new upstream demands its own qualification framework, is the panel's central question.
  3. Integration. When the compiler is the upstream anchor of trust, what carries the chain across the vehicle and its operational lifecycle? How does process governance — ASPICE, ISO 26262 system-level argument, OTA patch cycles — inherit the compiler's qualification claim?

Organizers

Kangwon Lee, Ph.D. Associate Professor, TU Korea. Chair, IEEE ITSS Korea Chapter.

Ayesha Choudhary, Ph.D. Assistant Professor, Jawaharlal Nehru University. Member, IEEE ITSS Board of Governors.

Attend

The workshop is in-person only. Conference registration opens through ieee-itsc.org/2026.

Contact

For workshop inquiries, please use the contact form.

Or scan to open the form on your phone:

QR code linking to the workshop contact form