Date: Monday May 11th, 2026
Location: Room Lamenais 4 & 5 (Level 3)
KEYNOTE SPEAKER
Kai Lampka (NXP Semiconductors)
When Tools Become Safety Risks: Navigating Through ISO 26262 Compliance
Software qualification aims to ensure that safety- or security‑relevant software artefacts provide their intended features. These features must be verified and made traceable, down to elementary hardware functions, along a structured hierarchy. Importantly, qualification under standards such as ISO 26262 or ISO 21434 concerns not only the critical software running on the target hardware. For compliance, it must also be demonstrated that the tools used to develop, verify, trace, and deliver critical software do not introduce, or fail to detect, errors that could compromise guaranteed safety or security properties. Typical tools considered in a certification include compilers, static code analyzers, model‑based design environments, and test automation frameworks. However, the scope extends further to include reporting tools such as JIRA and version‑control systems like SVN or Git, as they, too, may influence the development process or the intended functioning of the critical software under assessment.
This talk clarifies the practitioner’s view on relevant safety standards, especially ISO 26262, and examines the implications for the toolchain used when developing critical software undergoing safety assessments. A particular focus is placed on tool qualification and the associated tool evaluation report, which ensures that all tools potentially affecting the development, verification, or validation of critical software artefacts are assessed according to their relevance and impact.
Since 2023, Kai Lampka works at NXP Semiconductors. where his current work relates to safety and security mechanisms for operating systems. Prior to his position at NXP Semiconductors, he founded and led the EB corbos Hypervisor team at Elektrobit Automotive (EB), turning open-source technology into an ISO‑26262 certified automotive OS with integrated virtualization. His patented approach for running safety applications on Linux earned EB the CES Innovation Award in 2025.
Since 2024, Kai (actively) holds the venia legendi at RPTU Kaiserslautern, has been an associated Professor at Uppsala University (2012-2016), a post-doctoral fellow at ETH Zurich (2007-2011) and received his PhD in Computer Science from the university of Erlangen (2007). Kai has received multiple Best Paper Awards, and actively supervises future engineers inside industry and academia.
PROGRAM
9:30 - 10:30 When Tools Become Safety Risks: Navigating Through ISO 26262 Compliance Kai Lampka (NXP Semiconductors)
10:30 - 11:00 Coffee Break
11:00- 11:20 Soft Obstacles for Formal Arguments for CPS Certification Bjorn Andersson (CMU)
11:20-11:40 Building the Case For Machine Learning Testing. An Aviation Perspective Zamira Daw, et al. (U. Stuttgart)
11:40-12:00 Understaingin: Reframing Automation and Assurance Robin Bloomfield (University of London)
12:00-12:20 Compliance by Construction Argument Graphs: Using Generative AI to Produce Mahyar Tourchi Moghaddam (U. S. Denmark)
Evidence-Linked Formal Arguments for Certification-Grade Accountability
12:20 - 14:00 Lunch
14:00-14:15 Formal Methods in Certification of the PikeOS Hypervisor Henrik Theiling (SYSGO GmbH)
14:15-14:30 Making Time Observable: Compiler Correctness for Real-Time C Programs Benjamin Lion, David Broman (INRIA, KTH)
14:30-14:45 Probabilistic Verification to Support Next-Generation Certification Sam Procter, Dionisio de Niz (CMU)
14:45-15:00 Is Static Aviation Certification Adecuade for Machine Learning Systems? Zamira Daw (U. Stuttgart)
15:00-16:00 Panel: Formal Arguments for the Certification of the Next Generation of Cyber-Physical Systems
16:00-16:30 Coffee Break
Panelists