FreeRTOS 静态信号量：有界许可、等待与超时 21426 字·43 分钟 嵌入式 FreeRTOS 静态计数信号量 有界许可 阻塞与超时 STM32F407 Host-Fake 能够用 STM32F407xx 上的静态计数信号量表示无数据载荷的有界许可，推演 give/take、计数上限、等待与超时，并区分信号量、消息队列及互斥所有权和两条验证轨道。
FreeRTOS 静态有界队列：消息复制、满空等待与超时 25205 字·51 分钟 嵌入式 FreeRTOS 静态队列 按值复制 阻塞与超时 STM32F407 Host-Fake 能够用静态有界队列在两个任务间按值传递固定大小消息，预测满/空等待、超时及唤醒后的调度，并说明 STM32F407xx 参考实现与主机验证的证据边界。
