引子：嵌入式开发的工程化困境

30min

团队当前嵌入式开发方式调研；痛点收集（文档不全/接口定义模糊/测试覆盖不足/联调困难）；培训目标对齐

了解东风嵌入式团队现状，动态调整深度

模块一：Spec Coding四原则在嵌入式开发中的映射

60min

Spec Coding四原则的嵌入式解读： —   Spec First：先定义通信协议Spec和接口Spec再开发，避免"先写代码再补文档" — Living Documents：协议Spec与代码同步演进，版本化管理接口变更   — Traceability：从需求→协议Spec→驱动代码→测试用例的全链路追踪 — Validation：嵌入式场景的Given/When/Then——包含时序约束、资源约束、异常处理；嵌入式   vs 通用软件的Spec差异对比

核心方法论，将Spec Coding与嵌入式技术特色绑定

模块二：AI编程工具在嵌入式场景中的实战

60min

Claude Code在嵌入式项目中的应用（协议代码生成/测试工具生成/文档自动化）；Copilot   + Cursor在C/C++/Python嵌入式开发中的最佳实践；现场演示：15分钟从协议Spec到可编译的通信协议代码

嵌入式开发中AI工具的使用场景与通用开发不同，需要针对性演示

模块三：通信协议Spec模板设计与实战

90min

嵌入式通信协议Spec模板结构（协议类型/帧格式/字段定义/时序约束/错误处理/性能指标）；车云数据采集接口Spec模板（数据模型/传输协议/加密认证/断线重连/数据压缩）；分组实战：为东风车云数据采集场景编写协议Spec   — 场景选择：车载CAN数据采集 / SOME-IP服务接口 / MQTT车云通信协议；讲师巡场评审每组Spec

核心实战：嵌入式开发的核心是协议和接口，Spec驱动让协议设计更严谨

模块四：嵌入式Spec中的非功能约束

60min

资源约束Spec（内存/CPU/Flash预算）；时序约束Spec（响应时间/采样频率/传输延迟）；可靠性Spec（故障检测/恢复策略/降级方案）；安全相关Spec（ISO   26262语境下的安全约束表达方式）；实战：为Day1的协议Spec补充非功能约束

嵌入式开发的Spec必须包含资源/时序/可靠性约束，这是与通用开发的核心区别

模块五：从Spec到嵌入式代码生成

60min

Spec作为AI的结构化输入；嵌入式场景的Prompt工程技巧；协议代码生成（协议解析/序列化/状态机）；驱动代码生成（传感器接口/总线驱动）；实战：基于Day1编写的协议Spec，用AI生成通信协议代码

骨干员工掌握Spec驱动嵌入式代码生成的工作流

模块六：Spec驱动的嵌入式测试

90min

嵌入式测试的特殊挑战（硬件依赖/实时性/覆盖率）；Spec驱动的测试策略：   — 单元测试：基于Spec中函数/模块的输入输出定义 — 集成测试：基于Spec中接口协议的时序和格式定义 — HIL/SIL测试：基于Spec中系统级行为的场景设计；AI辅助生成嵌入式测试代码和测试数据；实战：基于协议Spec生成测试代码

对应东风需求中嵌入式开发的"测试维护能力"，Spec驱动让嵌入式测试更系统化

模块七：端到端综合实战

120min

车云数据采集全流程： — Step1：需求分析（理解车云数据采集的业务需求）   — Step2：编写协议Spec + 接口Spec + 非功能约束 — Step3：AI生成通信协议代码 — Step4：Spec驱动的测试代码生成 —   Step5：成果展示与评审；每组完成一个车云数据采集模块的Spec→代码→测试全流程

最核心的实战：基于东风车云数据采集场景，完整走一遍Spec驱动的嵌入式开发流程

模块八：团队落地与持续改进

60min

嵌入式团队的Spec Coding落地策略；协议Spec库的建设和维护；与供应商协作的Spec化管理（东风提到供应商管理的挑战）；行动计划制定

骨干员工需要带动团队实践，嵌入式团队的落地方式有其特殊性