Zephyr: An Ideal Platform for Introducing the Software Development Processes of Safety-Critical Embedded Systems

Zephyr has grown into a reference RTOS for resource-constrained devices, now advertising 800+ supported boards across architectures (Arm, RISC-V, x86, ARC, RX, Tensilica, and more), backed by an active, expanding community (1,100 unique contributors in 2024). In 2024 the project achieved written concept approval toward IEC 61508 certification of the Zephyr kernel, and the Safety Committee continues work toward SIL 3/SC 3 under the IEC 61508 Route 3S pathway, with a Safety-Element-out-of-Context (SEooC) scope. This combination of transparent governance and a maturing safety program makes Zephyr a compelling, pedagogically effective vehicle for teaching the disciplined software-engineering processes used in safety-critical embedded systems. This paper argues that Zephyr is not just “safety-capable” but purpose-built for instruction. Based on the lifecycle demanded by IEC 61508 and ISO 26262 (planning, requirements, design controls, verification/validation, and release), we focus on four hands-on pillars: (1) requirements and traceability; (2) software architectural constraints; (3) coding policy enforcement; (4) testing. We outline how Zephyr’s open processes and tooling operationalize each pillar in ways that transfer directly to Zephyr-based products. The approach is demonstrated on a minimal application suitable for both curricula and in-house training, with all artifacts released in an accompanying repository.