Name: Model-Based Testing for the Zephyr RTOS - Philipp Panzer, UL Solutions
Start: 2025-08-26T16:20:00+0200
End: 2025-08-26T17:00:00+0200

25-27, August 2025
Amsterdam, Netherlands
View More Details & Registration
Note: The schedule is subject to change.

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit Europe 2025 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

This schedule is automatically displayed in Central European Summer Time, CEST (UTC +2). To see the schedule in your preferred timezone, please select from the drop-down menu to the right.

IMPORTANT NOTE: Timing of sessions and room locations are subject to change.

Tuesday August 26, 2025 16:20 - 17:00 CEST

D203

The use of Zephyr in safety-critical domains poses a significant challenge with regard to certification. Since feature development in open-source projects is usually not driven by a centralized requirement specification, V&V become challenging tasks: The lack of a requirement specification makes the subject of validation hard to capture. Verification requires considerable effort for manual test creation. To address these issues, we explore a Model-Based Testing (MBT) approach for Zephyr, which involves the creation of a formal model of the system. Based on this specification, runnable test cases are automatically derived which pass if the actual software implementation aligns with the model. We present our approach of applying MBT to Zephyr's semaphore API, which uses TLA+ and generates runnable ZTest test cases. Given the promising results of our initial exploration, we want to share our ideas with the community to encourage further work in this area. We argue that an integration of MBT into Zephyr’s development cycle results in formal specifications of the system, which, combined with test generation, enable automated conformance testing and facilitate continuous certification.

Speakers

Philipp Panzer

Software Engineer, UL Solutions

Philipp Panzer studied computer science at FAU Erlangen-Nuernberg, with a focus on IT security and system software development. During his studies he worked on cloud-based data-analytics solutions at Siemens Mobility. At the end of his studies, he moved to UL Solutions, where he gained... Read More →

Tuesday August 26, 2025 16:20 - 17:00 CEST
D203

Zephyr Developer Summit

Audience Experience Level Any

Open Source Summit Europe 2025

Philipp Panzer

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!