Learning library
Firmware, from first principles to evidence.
Eleven focused modules organised around how firmware executes, how it resists failure and attack, and how its quality is demonstrated.
01 / EXECUTION
Architecture & behaviour
Make run-time behaviour explicit and predictable.
- TFA-101Firmware ArchitectureLayers, components, interfaces and resource ownership.
- TFA-102State Machines & SchedulingExplicit behaviour, task models and transition discipline.
- TFA-103Interrupts, Timing & ConcurrencyDeadlines, shared state, races and deterministic response.
- TFA-104Defensive ProgrammingAssumptions, boundaries, fault containment and recovery.
02 / RESILIENCE
Security & lifecycle
Control firmware from build through field support.
03 / ASSURANCE
Verification & evidence
Make quality objective, repeatable and reviewable.
- TFA-108Coding Standards & Static AnalysisRules, tool findings and proportionate enforcement.
- TFA-109Unit, Integration & HIL TestingA layered strategy from pure logic to physical behaviour.
- TFA-110IEC 62304 for Embedded FirmwareApply lifecycle controls to embedded software in medical devices.
- TFA-111Design & Verification EvidenceCreate a coherent record from architecture to released build.