小学信息技术六年级教学设计：树莓派机器人编程之交通红绿灯系统构建与逻辑优化

小学信息技术六年级教学设计：树莓派机器人编程之交通红绿灯系统构建与逻辑优化一、教学设计说明本教学设计依据《义务教育信息科技课程标准（2022年版）》中“计算思维”“信息系统设计与实现”“人机交互”三大核心板块要求，结合学校“智能制造与未来工程”校本课程体系，面向小学六年级第二学期学生开设。该年龄段学生已完成Scratch模块化编程、Micro:bit初级物联网实践及Python基础语法（变量、循环、函数、列表/字典）学习，具备从可视化向文本代码过渡的认知准备，但对操作系统层面、硬件驱动层面、并发与异步编程模型缺乏直观建构。树莓派作为教学载体，其Linux环境、GPIO物理引脚、丰富的Python生态（gpiozero,RPi.GPIO,asyncio），为构建“真实工程情境”提供了最佳支点。本课选取“城市路口交通红绿灯系统”为核心任务，并非单纯讲授LED闪烁，而是以“有限状态机（FSM）”为核心抽象模型，贯穿硬件接线、时序逻辑、事件驱动、异常容错、系统部署全流程。意图引导学生完成从“写出能跑的代码”到“设计可维护、可扩展、鲁棒性强的嵌入式系统”的认知跨越，培养工程思维与计算思维的深度融合。学生分析显示：班级40人，男女比例均衡。约60%学生动手能力强、逻辑推演快，能自主查阅库文档；30%学生硬件接线畏难、语法细节易错，需脚手架支持；10%学生对抽象建模（状态转移）理解吃力，需可视化辅助。教学采用“分层任务单+结对编程+迭代复盘”策略，确保全员达成核心素养目标。二、教学目标1.信息意识：能识别交通系统中的信息采集（按钮、车流传感器）、传输（GPIO电平）、处理（状态判断）、反馈（灯光、蜂鸣器）闭环，理解嵌入式系统“感知决策执行”基本范式，树立软硬件协同的系统观。2.计算思维：掌握有限状态机建模方法，能绘制状态转移图，编写状态转移表；理解阻塞式延时与非阻塞式定时器/事件循环的区别；应用面向对象封装状态行为，实现逻辑与硬件解耦；初步接触中断/回调机制处理异步事件。3.数字化学习与创新：熟练使用Thonny/VSCodeRemoteSSH远程开发环境，掌握面包板搭建、杜邦线连接、万用表测量电压的工程规范操作；能利用日志调试、断点调试、Git版本控制管理代码迭代。4.信息社会责任：遵守实验室用电安全规范，理解交通信号系统对公共安全的关键作用，体会工程伦理中“失效安全”设计原则，培养严谨务实的工程师职业素养。三、教学重难点重点：树莓派GPIO输出控制多路LED时序逻辑实现；有限状态机模型在代码中的结构化映射（类设计、状态表驱动）；行人过街按钮中断回调函数的编写与主循环协同。难点：从线性阻塞代码向非阻塞事件驱动架构重构的思维转型；共享资源（GPIO状态、全局变量）在主循环与中断回调并发访问时的线程安全隐患及规避；`systemd`服务配置实现开机自启与看门狗保活的工程化落地。四、教学环境与资源准备硬件：树莓派4B（4GB/8GB）×20套，微型SD卡（32GB，预装RaspberryPiOS64bit）×20张，5V/3A电源适配器×20个，无源蜂鸣器×20个，红黄绿三色直插LED（5mm）×60颗，220Ω限流电阻×60个，10kΩ上拉电阻×20个，轻触开关（行人按钮）×20个，半尺寸面包板×20块，公对公/公对母杜邦线若干，数字万用表×10台，标签打印机（引脚标识）×1台。软件：ThonnyIDE（本地/远程），VSCode+RemoteSSH扩展（进阶组），Git（版本控制），系统预装`gpiozero`,`RPi.GPIO`,`systemd`。课程资源：路口实拍视频（含行人过街相位）、标准四相位信号灯时序图（国标GB148872016简化版）、状态转移图模板（Draw.io离线文件）、分层任务单（基础版/进阶版/挑战版）、评价量表（过程性+终结性）。安全预案：统一使用5V/3.3V低压供电，禁止直接操作220V市电；GPIO输出电流限制<16mA/引脚，总电流<50mA，必须串联限流电阻；通电前必须“代码先行、接线后行、核对再行”，教师巡查签字方可上电。五、教学过程（一）情境导入：从十字路口到状态机（10分钟）播放某市主干道早高峰十字路口监控视频，画面包含机动车直行、左转、行人过街、倒计时显示、应急车辆优先通行等复杂场景。暂停视频，提问：“如果让你用树莓派控制这个路口，第一步思考什么？”引导学生剥离业务细节，聚焦核心变量：时间、灯色、方向、行人需求。在主屏展示简化后的四相位时序表：相位 主干道 辅路 行人 持续时长（秒）1 绿 红 红 302 黄 红 红 33 红 绿 红 204 红 黄 红 35 红 红 绿 156 红 红 闪绿 5提问：“这张表本质是什么？”引出“状态”与“转移”概念。状态=当前所有灯的组合；转移=时间到达或事件触发导致的状态改变。现场演示用Draw.io绘制状态转移图：圆圈代表状态，箭头代表转移，箭头旁标注条件（T≥30s/Button_Pressed）。强调：状态机是解决“复杂时序逻辑”通用的数学工具，不仅用于红绿灯，还用于电梯控制、协议解析、游戏AI。明确本课核心任务：在树莓派上构建一个可运行、可扩展、可维护的四相位红绿灯状态机系统。（二）任务一：硬件建模与单灯穿透测试（15分钟）发放基础任务单。要求学生在面包板上搭建最小系统：树莓派物理引脚11（GPIO17）连接红LED正极，负极串联220Ω电阻接GND（物理引脚9）。强调工程规范：面包板横向导轨供电，纵向导轨信号；杜邦线颜色区分（红=电源/信号高，黑=地，黄/蓝/绿=信号）；关键节点贴标签。代码穿透环节，拒绝复制粘贴。引导学生在Thonny中逐行输入并解释：fromgpiozeroimportLEDfromtimeimportsleepred=LED(17)BCM编码对应物理11脚whileTrue:red.on()sleep(1)red.off()sleep(1)观察现象：红灯1秒亮1秒灭。追问：“`LED(17)`内部做了什么？”引导查看源码或文档：封装了`RPi.GPIO.setup(17,OUT)`、`output(17,HIGH/LOW)`，自动处理`cleanup`。对比`RPi.GPIO`原生写法，体会库封装降低认知负荷的价值。故障注入教学：故意拔掉限流电阻，用万用表测量GPIO口电压跌落，讲解GPIO输出驱动能力限制与保护机制。要求学生在任务单记录：引脚号、BCM编码、电阻阻值、电流计算（I=(3.32.0)/220≈5.9mA，安全）。（三）任务二：三灯协同与线性阻塞逻辑实现（20分钟）扩展硬件：GPIO27(物理13)接黄灯，GPIO22(物理15)接绿灯，接线同上。任务单要求：按国标时序表（绿30s黄3s红30s黄3s循环）编写代码。学生易写出如下“面条代码”：whileTrue:green.on();red.off();yellow.off();sleep(30)green.off();yellow.on();sleep(3)yellow.off();red.on();sleep(30)red.off();yellow.on();sleep(3组织“代码巡展”：各组展示代码，全班找茬。引导发现问题：1.硬编码时长，修改需改多处，维护性差。2.`sleep`阻塞主线程，无法响应行人按钮、紧急车辆、传感器数据。3.状态重复定义，无“状态”概念，难以扩展转移逻辑。4.无异常处理，Ctrl+C强制退出导致GPIO未复位，下次运行报警告。教师示范重构思路：引入“配置与逻辑分离”。定义常量字典：TIMING={'GREEN':30,'YELLOW':3,'RED':30,'YELLOW_2':3}STATES=['GREEN','YELLOW','RED','YELLOW_2']LED_MAP={'GREEN':(green,yellow,red),'YELLOW':(yellow,green,red),'RED':(red,green,yellow),'YELLOW_2':(yellow,green,red)}仍用`while`循环遍历`STATES`，通过索引查表点亮对应灯、熄灭其余灯、睡眠对应时长。虽仍阻塞，但结构清晰，为后续状态机重构铺垫。要求学生完成重构，Git提交`v1.0linearblocking`版本。（四）任务三：有限状态机建模与面向对象重构（核心，35分钟）这是本课认知负荷最高、教学价值最大的环节。分三步走：5.纸笔建模（10分钟）：发放状态转移图模板。学生两人一组，补全状态节点（增加行人过街相位PED_GREEN,PED_FLASH）、转移条件（定时器超时、行人按钮按下）、输出动作（灯光组合、蜂鸣器频率）。教师巡视，重点纠正：状态定义要互斥完备；转移条件要覆盖所有可能；输出动作要与状态绑定，而非转移绑定（Moore型状态机）。6.类设计与编码（20分钟）：引导设计`TrafficLightFSM`类。核心属性：`current_state`（枚举/字符串）、`timers`（字典存每状态剩余时间）、`leds`（GPIO对象字典）、`buzzer`（蜂鸣器对象）、`ped_button`（按钮对象）。核心方法：•`__init__`：硬件初始化，注册按钮回调`self.ped_button.when_pressed=self.request_pedestrian_phase`。•`_set_outputs(state)`：私有方法，根据状态字典统一驱动硬件，实现逻辑与驱动解耦。•`tick()`：非阻塞核心。每秒调用一次，当前状态剩余时间1，若≤0则触发`_auto_transition()`。•`_auto_transition()`：按预设顺序切换下一状态，重置计时器。•`request_pedestrian_phase()`：按钮回调。不直接切状态，只置标志位`self.ped_requested=True`，避免中断上下文执行复杂逻辑。•`run()`：主循环。`whileTrue:self.tick();sleep(1)`。关键难点攻关：并发安全。讲解`when_pressed`回调在独立线程执行，主循环在主线程。共享变量`ped_requested`读写冲突风险极低（PythonGIL保证字节码原子性，布尔赋值安全），但复杂数据结构需`threading.Lock`。现场演示若不加锁直接在回调修改列表导致主循环遍历报错的案例。代码实现：importthreadingclassTrafficLightFSM:def__init__(self):self.lock=threading.Lock()self.ped_requested=False...硬件初始化...self.ped_button.when_pressed=self._on_ped_buttondef_on_ped_button(self):withself.lock:self.ped_requested=Truedeftick(self):withself.lock:req=self.ped_requestedself.ped_requested=False读取即清零，边沿触发语义ifreqandself.current_statein('GREEN','YELLOW'):self._transition_to('PED_GREEN')7.调试与验收（5分钟）：学生烧录代码，观察现象：正常循环>按下按钮>当前相位结束>进入行人绿灯15s>闪烁绿灯5s（蜂鸣器急促鸣叫）>恢复主干道绿灯。要求录制现象视频上传班级网盘，Git提交`v2.0fsmoop`。（五）任务四：工程化部署——从“能跑”到“能用”（25分钟）解决树莓派断电重启后需手动运行脚本的问题，引入Linux服务管理。教师演示创建系统服务单元文件：sudonano/etc/systemd/system/trafficlight.service内容：[Unit]Description=TrafficLightFSMServiceAfter=network.target[Service]Type=simpleUser=piWorkingDirectory=/home/pi/traffic_lightExecStart=/usr/bin/python3/home/pi/traffic_light/main.pyRestart=onfailureRestartSec=5StandardOutput=journalStandardError=journal[Install]WantedBy=multiuser.target讲解关键字段：`Type=simple`适合前台常驻进程；`Restart=onfailure`实现崩溃自动拉起（简易看门狗）；`User=pi`避免root权限风险；日志输出到`journalctl`便于排查。学生依次执行：sudosystemctldaemonreloadsudosystemctlenabletrafficlight.servicesudosystemctlstarttrafficlight.servicesudosystemctlstatustrafficlight.service验证：拔掉树莓派电源重插，观察系统自动启动红绿灯循环，无需登录桌面。进阶挑战：编写`watchdog.py`心跳脚本，通过`systemd`的`WatchdogSec`实现硬件级死锁复位（需启用内核看门狗驱动），仅供预备组尝试。（六）任务五：异常处理、日志审计与代码评审（20分钟）正式工程代码必须包含“防御性编程”。引导学生完善`main.py`顶层结构：importloggingimportsignalimportsysfromfsmimportTrafficLightFSMlogging.basicConfig(level=logging.INFO,format='%(asctime)s%(levelname)s%(message)s',handlers=[logging.FileHandler('/var/log/traffic_light.log'),logging.StreamHandler()])logger=logging.getLogger(__name__)defcleanup(signum,frame):("信号%d接收，正在安全关闭...",signum)fsm.shutdown()关闭所有LED,蜂鸣器,GPIO.cleanup()sys.exit(0)signal.signal(signal.SIGTERM,cleanup)signal.signal(signal.SIGINT,cleanup)if__name__=='__main__':try:fsm=TrafficLightFSM()("系统启动，进入主循环")fsm.run()exceptExceptionase:logger.exception("未捕获异常，系统终止")cleanup(None,None)讲解要点：`logging`分级记录替代`print`，持久化存储；`signal`捕获`systemctlstop`发送的`SIGTERM`及`Ctrl+C`的`SIGINT`，保证`finally`语义执行硬件复位；`logger.exception`自动记录堆栈跟踪。代码评审环节：采用“结对互审+教师抽查”模式。评审清单：8.是否消除所有硬编码常量（提取至`config.py`）？9.状态转移逻辑是否集中在`_auto_transition`单一入口？10.硬件操作是否完全封装在`_set_outputs`，主逻辑零`gpiozero`调用？11.异常分支是否覆盖（GPIO初始化失败、日志目录无权限、按钮抖动误触发）？12.Git提交信息是否规范（feat/fix/refactor/chore）？学生在任务单记录评审发现问题及修复mithash。教师收集典型问题（如：按钮抖动导致重复进入行人相位、状态转移表漏写`YELLOW_2`到`GREEN`的回跳）全班复盘，沉淀为“避坑指南”挂网共享。（七）综合评价与元认知反思（15分钟）13.自我评价：学生对照评价量表，从“硬件规范”“建模准确性”“代码结构质量”“工程化部署”“协作沟通”五维度自评，写证据（截图、日志、mit链接）。14.互评：结对组互相打分，重点评价“代码可读性”“异常处理完备度”。15.教师终结性评价：查阅Git历史、系统日志、现场演示视频，给出等级制反馈（卓越/达标/待改进）。16.元认知提问（写在任务单反思栏）：•“如果路口增加左转箭头灯、车辆检测线圈、自适应配时算法，你的状态机类需要改动哪些方法？新增哪些类？”考察开闭原则理解。•“`sleep(1)`精度约±10ms，长