Frontier / 10 · EMBEDDED / EDGE

可信嵌入式栈：安全不等于实时安全

内存安全、实时性与后量子迁移，三者的约束如何在同一个设备上共存？

内存安全、实时性和后量子迁移是同一张预算表上的约束；任何“默认安全”都不应牺牲截止期。

解释图安全操作也必须满足截止期

内存安全、密码学与实时调度共享同一组 CPU 周期、栈和功耗预算。

Research notes / 两篇结构

先建立模型，再用实验拆边界

01旗舰研究嵌入式经验2026年10月6日7 分钟

把 Embedded Rust、MISRust、TinyML 安全与后量子密码放进同一张预算表，分析安全与截止期的冲突。

Embedded RustTinyML 安全PQC

02实验嵌入式经验2026年10月5日3 分钟

用周期、时钟频率和迭代次数估算后量子密码操作，判断安全策略是否仍满足实时控制窗口。

PQC实时系统密码学

Instrument

PQC 不只是一个算法替换；密钥/签名尺寸、验证延迟和在控制回路中的位置都会改变系统可调度性。

签名周期420000 cycles单次签名的 CPU/加速器周期

验证周期120000 cycles单次验证周期

时钟频率160 MHz目标 MCU/SoC 频率

每周期次数2 一个控制周期内需要的签名/验证次数

Primary sources / 一手证据

Cross-domain synthesis

01综合研究综合研究2026年10月18日6 分钟

把工具调用链当作带截止期、幂等和回滚约束的控制系统，重新设计 Agent 的可靠性边界。

Agent实时系统MCP