1. 课程导入
TinyML（微型机器学习）正从实验室原型走向量产边缘设备，但大量团队在“模型能跑通”与“产品能交付”之间，横亘着一条巨大的工程鸿沟。模型在PC端推理准确率高达95%，烧录到MCU后却因内存溢出反复重启；固件在开发板上运行稳定，部署到现场1000台设备后，却有3%的设备因电源纹波导致推理结果漂移；算法工程师提交的代码仓库里，既没有模型量化校准脚本，也没有固件版本哈希记录，导致三个月后无法复现任何一次实验。这些并非个例，而是TinyML工程交付中普遍存在的系统性困境。本章作为整个课程的开篇，将直面这些痛点，明确交付目标，规划学习路径，并勾勒出最终交付物的完整轮廓。
1.1 TinyML工程交付的痛点：为什么“模型能跑”不等于“产品能用”
TinyML项目的核心矛盾在于：机器学习模型的开发逻辑与嵌入式系统的交付逻辑存在本质冲突。算法工程师习惯用Python脚本、Jupyter Notebook和GPU服务器进行迭代，而嵌入式工程师面对的是裸机环境、实时操作系统（RTOS）、有限RAM/Flash和严苛的功耗预算。当这两套思维体系在同一个项目中碰撞时，如果没有一套明确的工程规范，交付过程就会陷入混乱。
核心原理：TinyML交付的“三重断裂”
第一重断裂发生在模型与硬件之间。一个在TensorFlow中训练好的浮点模型，需要经过量化（通常为INT8）、算子映射、内存规划、编译器优化（如TFLite Micro、CMSIS-NN）才能运行在Cortex-M系列MCU上。但量化过程会引入精度损失，算子映射可能遇到硬件不支持的层，内存规划稍有不慎就会导致栈溢出或堆碎片。这些技术细节如果不在交付规范中明确，模型转换环节就会成为“黑盒”。
第二重断裂发生在固件与测试之间。很多团队在开发板上验证了功能，就直接打包固件发布。但开发板与量产板的GPIO分配、时钟频率、电源纹波、传感器型号可能存在差异。没有一套结构化的测试用例（单元测试、集成测试、压力测试、现场回归测试），固件中的潜在缺陷就会在用户现场爆发。
第三重断裂发生在代码与文档之间。TinyML项目涉及模型训练脚本、量化校准代码、C++推理引擎、板级驱动、构建脚本、烧录工具、测试脚本等多类文件。如果这些文件没有统一的目录结构、命名规范、版本标签和依赖锁定，那么三个月后，无论是原作者还是新成员，都无法完整复现一次构建。
判断方法：识别交付风险的“五问自查”
在项目启动初期，团队可以通过以下五个问题快速评估交付风险等级：
| 自查问题 | 低风险（得分1） | 中风险（得分2） | 高风险（得分3） |
|---|---|---|---|
| 模型转换是否有自动化脚本？ | 有完整脚本且参数可配置 | 有脚本但依赖手动调整 | 完全手动转换，无记录 |
| 固件构建是否可重复？ | 一条命令完成，依赖锁定 | 需要多步操作，依赖部分固定 | 依赖特定工程师的本地环境 |
| 测试用例是否覆盖硬件在环？ | 有自动化HIL测试 | 有半自动测试 | 仅开发板手动验证 |
| 版本管理是否包含模型与固件关联？ | 有统一版本号且自动关联 | 手动记录关联关系 | 模型与固件版本无关联 |
| 部署文档是否包含回滚方案？ | 有完整回滚流程 | 有回滚思路但未验证 | 无回滚方案 |
若总分超过10分，说明该项目的交付风险较高，必须在课程学习过程中重点强化规范建设。
1.2 课程学习路径：从规范制定到归档复盘的六阶段闭环
本课程不讲授具体的模型训练技巧或MCU外设编程，而是聚焦于工程化交付。整个学习路径按照实际项目的时间线展开，每个阶段都有明确的输入、输出和质量门禁。
操作流程：六阶段学习路径详解
阶段一：需求与规范制定。这是所有工作的起点。需要明确目标硬件平台（MCU型号、Flash/RAM大小、外设列表）、性能指标（推理延迟、帧率、功耗预算）、量化精度要求（如Top-1准确率下降不超过2%）、以及交付物清单。本阶段产出《TinyML项目交付规范书》，作为后续所有工作的“宪法”。
阶段二：源码工程化。将算法工程师的Python训练代码、模型转换脚本、C++推理代码、板级驱动代码进行统一目录规划、代码风格统一、依赖管理（如使用CMake或PlatformIO）。本阶段的核心是建立可复现的构建环境，确保任何人在任何时间clone仓库后，都能用一条命令完成编译。
阶段三：固件构建与集成。将模型文件（.tflite）、推理引擎、驱动层、应用层打包成最终的二进制固件。需要制定固件版本命名规则（如v1.2.0-build.45），生成固件哈希值（SHA256），并记录构建时的工具链版本、编译器选项、模型文件哈希。
阶段四：测试验证体系。建立三层测试金字塔：单元测试（针对纯逻辑函数）、集成测试（模型+驱动+RTOS）、硬件在环测试（HIL，在真实MCU上运行）。本阶段产出自动化测试报告，包含测试用例覆盖率、通过率、性能基准数据。
阶段五：部署与运维。制定固件烧录流程（JTAG/SWD/UART/OTA）、设备配置管理（传感器校准参数、网络凭证）、现场日志采集方案。需要设计灰度发布策略和回滚机制，确保在批量部署时能够快速定位问题设备。
阶段六：文档归档与复盘。整理用户手册、API文档、部署指南、故障排查手册。建立项目知识库，记录关键决策、踩坑记录、性能调优过程。最终进行项目复盘，提炼可复用的工程模板。
案例拆解：一个智能家居温控器的交付困境
某智能家居团队开发一款基于ESP32-S3的温控器，内置TensorFlow Lite Micro模型，用于本地判断“有人/无人”状态以自动调节温度。项目初期，算法工程师在PC上训练了一个浮点模型，准确率94%。团队直接使用TFLite Converter进行INT8量化，未做校准数据集处理，导致量化后准确率降至82%。
更严重的是，固件工程师在开发板上验证时一切正常，但部署到100台量产设备后，有7台设备出现周期性重启。排查发现，这些设备的电源模块纹波较大，导致ESP32在Wi-Fi发射瞬间电压跌落，触发看门狗复位。而开发板使用的是实验室稳压电源，未暴露此问题。
复盘发现，该项目缺失了三个关键交付物：①量化校准脚本及精度验证报告；②电源纹波压力测试用例；③现场日志与固件版本关联机制。如果团队在阶段一就明确“电源纹波测试”为必选交付项，在阶段四执行HIL测试时加入电源扰动模拟，这7台设备的故障完全可以在实验室复现并提前修复。
1.3 最终交付物概览：一份完整的TinyML项目“毕业证”
当课程结束时，每个学员/团队将产出一套完整的TinyML工程交付包。这套交付包不仅是代码和文档的集合，更是一套可复用的工程方法论。
核心原理：交付物的“四层架构”
第一层是源码仓库。采用Git管理，包含models/（训练与量化脚本）、firmware/（嵌入式工程）、tests/（测试代码）、docs/（文档）、tools/（辅助脚本）五个顶级目录。每个目录有明确的README说明，根目录有BUILD.md和DEPLOY.md。
第二层是固件产物。包括可烧录的二进制文件（.bin/.hex）、固件描述文件（JSON格式，包含版本号、构建时间、Git Commit ID、模型SHA256、工具链版本）、以及烧录工具配置。
第三层是测试报告。包含自动化测试日志、性能基准表（推理延迟、峰值内存、功耗曲线）、量化精度对比报告、硬件在环测试记录。
第四层是部署运维手册。涵盖设备出厂烧录流程、现场安装指南、OTA升级策略、日志采集规范、故障排查流程图（基于决策树）。
操作流程：交付物质量门禁清单
在项目收尾阶段，需要逐项核对以下清单，任何一项不满足都视为交付不完整：
- 可复现性验证：在一台全新的Ubuntu 20.04虚拟机中，执行
make build能否成功生成固件？ - 版本追溯性：给定一个固件版本号v1.2.0，能否通过Git Tag找到对应的源码、模型文件和测试报告？
- 测试覆盖率：核心推理代码的单元测试覆盖率是否达到80%以上？HIL测试是否覆盖了所有传感器接口？
- 文档完整性：部署手册是否包含硬件连接图、烧录步骤、常见错误码对照表？
- 回滚可行性：是否验证过从v1.2.0回滚到v1.1.0的完整流程？
常见误区与总结复盘
误区一：认为“交付物=源代码”。源代码只是交付的起点，没有构建脚本、测试用例和部署文档的源码，对维护者而言等同于一堆乱码。
误区二：忽视“环境依赖”的记录。很多项目在文档中只写“依赖TensorFlow 2.x”，但未锁定具体版本（如2.10.0），也未记录Python版本（3.9 vs 3.11会导致行为差异）。本课程将强制使用requirements.txt和Dockerfile或platformio.ini锁定完整环境。
误区三：将测试视为“可有可无的验证”。测试不是项目结束后的“验尸报告”，而是开发过程中的“护航编队”。TinyML项目必须在模型转换阶段就建立精度回归测试，在固件开发阶段就建立单元测试框架。
误区四：文档与代码脱节。文档不是事后补写的“回忆录”，而是与代码同步演进的“活文档”。建议使用Doxygen或Sphinx自动生成API文档，并在CI流程中强制检查文档是否更新。
总结而言，TinyML工程交付的本质，是将“算法研究”转化为“可靠产品”的过程管理。它要求团队具备跨学科视野，既懂模型量化与推理优化，又懂嵌入式系统与测试工程，更要有严谨的文档意识和版本纪律。本课程的目标，就是帮助你建立这套完整的工程化思维，让每一次TinyML交付都变得可预期、可控制、可追溯。