RTOS C Library Reentrancy: errno, stdio Locks and Per-Task State
Audit per-task errno, recursive allocator locks, stream locking and shutdown against the linked C runtime.
-
-
FreeRTOS Run-Time Statistics: Timer Resolution, Overflow and Measurement Overhead
Choose a statistics timer, detect invalid windows and separate task accounting from interrupt and wall time.
-
Static FreeRTOS Tasks: Lifetime Rules for TCBs, Stacks and Reused Storage
Keep static task stacks and TCBs valid through deferred cleanup, and design restart without stale handles.
-
FreeRTOS Stream Buffers: Single-Writer Rules, Trigger Levels and Message Boundaries
Audit stream-buffer ownership, short writes and trigger thresholds before diagnosing UART framing failures.
-
Priority Inversion in RTOS: Trace Mutex Blocking and Priority Inheritance
Diagnose RTOS priority inversion with task and mutex traces, version-specific inheritance checks, controlled experiments, and deadline-based acceptance.
-
Watchdog Resets in RTOS Devices: Preserve Evidence and Find the Stalled Task
Preserve reset flags and task-progress records, understand core-dump limits, and turn an RTOS watchdog reset into a reproducible diagnostic investigation.
-
When Should an RTOS Feed the Watchdog? Task Health Checks and Fault-Injection Tests
Define task health, control watchdog feed authority, and test missed faults, false resets, safe outputs, and recovery with a fault-injection matrix.
-
Reviewing AI-Assisted MCU Drivers: Registers, Timing and Failure Paths
A practical review workflow for AI-assisted MCU drivers, from register semantics and bounded waits to fault recovery and acceptance evidence.
-
Intermittent RTOS Crashes: Logging, Core Dumps and a Reproducible Test
Preserve exact-build fault evidence, design bounded RTOS event logs and turn intermittent failures into controlled reproduction and regression tests.
-
MCU Firmware Outsourcing: What to Put in the Acceptance Requirements
Define MCU firmware acceptance with testable interfaces, timing and memory budgets, fault injection, diagnostic evidence and a reproducible handover package.
