| Vol-4184 urn:nbn:de:0074-4184-x Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# ZiSE 2025
Zephyr in Science and Education 2025

## Proceedings of the Workshop at Zephyr in Science and Education 2025

## Jena, Germany, Sept 23-24, 2025.

Edited by

### Sandra Kreußler1
Konstantin Paust1
Steffen Späthe 1
Florian Rasche1

1 Navimatix GmbH, 07743 Jena, Germany

## Table of Contents

- Preface
  Summary: There were 10 papers submitted for peer-review to this workshop. Out of these, 6 papers were accepted for this volume.

### Session 1: Teaching OS concepts

- Positional Paper: A Clock-Distribution Abstraction for Resource-Constrained Real-Time Systems in Zephyr 1-8
  Eva Dengler, Tobias Häberlein, Phillip Raffeck, Peter Wägemann

### Session 2: Teaching Zephyr

- Zephyr Development Environment for Students 9-16
  Johannes Witzig, Flavio Felder, Vixay Phimmasane, Simon Künzli, Andreas Rüst
- Migrating an embedded systems lab to Zephyr – an experience report 17-25
  Olaf Hagendorf, Niklas Huhs

### Session 3: Application of Zephyr

- Leveraging Zephyr RTOS for modern embedded systems A perspective from education and research 26-36
  Sven Grunwald, Kevin Krebs

### Session 4: Safety & Security

- Applied static firmware anlysis in an CI environment for increased safety and code review insights 37-45
  Paul Würtz, Julius Kolb, Martin Eckardt
- Zephyr: An Ideal Platform for Introducing the Software Development Processes of Safety-Critical Embedded Systems 46-67
  Roberto Bagnara, Ayoub Bourjilat, Luca Ciucci, Roy Jamil, Nicola Vetrini

2026-03-10: submitted by Konstantin Paust, metadata incl. bibliographic data published under Creative Commons CC0
2026-03-13: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|