Articles
Do-it-all Umami Tofu Recipe
18th September, 2026 2min
A very quick and simple but also delicious tofu marinade for all kinds of dishes.
Automatic Firmware Generation for Spaceflight Hardware based on Schematics
19th August, 2026 15min
The interaction between hardware design and firmware implementation requires strict consistency in embedded systems. Firmware must exactly match the schematic-level component configuration and connectivity. In current workflows, this consistency is largely ensured through manual inspection and extensive testing. In this work, we introduce a schematics-aware approach to automate firmware generation. We propose the Group Netlist, a design- and PCB tool-agnostic abstraction of hardware. Using a reference implementation, we demonstrate our proposal for the open-source PCB design suite KiCad. As added benefit our approach serves for hardware verification purposes that we demonstrate through a fault-injection analysis. Considering relevant cases, our tool detects 75% of otherwise undetected injected faults and requires negligible overhead (less than 0.2% codebase addition and on average a 4.8% runtime increase). Lastly, we verify our tooling by successfully using it in the development workflow of an embedded satellite module.
Photos
Software Projects
kicad_firmware
22nd July, 2025
DLR: Extract Information from KiCad Schematics and Generate Firmware.
Forgejo
6th March, 2025
Self-hosted lightweight software forge. Easy to install and low maintenance.
