Abstract Interpretation: The Secrets Behind Static Code Analysis
How the CFG, abstract domains (intervals, octagons) and checkers make it possible to prove the absence of runtime errors.
Articles
Technical articles exploring embedded software from a low-level perspective.
Silent Bugs in C – Vol. 1: The Therac-25 Case and Hardware Demonstrations
How invisible failures in C led to real accidents — practical simulations on an embedded Cortex-R5F system.
Cache Usage in Embedded Processors: Performance Analysis and Determinism Impacts
Performance, memory locality, and impacts on determinism.
Recommended Book List [2026]
My updated list of recommended books on embedded systems, C programming, electronics and more.
Practical demonstration of the side effects of dynamic allocation and heap fragmentation using FreeRTOS on ARM Cortex-R5F hardware.
Structural impacts and risks to determinism: a memory-level investigation into heap usage in high-criticality systems.
How to Choose the Right AI for Each Type of Problem
A practical guide to selecting the most suitable AI approach for different types of problems in embedded systems development.