该论文关注嵌入式实时设备的安全验证问题。智能工厂、关键基础设施和医疗设备广泛依赖嵌入式系统，这些系统必须满足实时约束以完成关键任务。然而，研究表明许多此类设备存在严重漏洞，可能被利用造成致命后果。由于实时系统对时间要求严格，传统的安全机制（如加密、认证）往往因影响运行时行为而难以部署。为此，研究者提出远程证明（remote attestation）方案，将安全增强功能卸载到远程实例，从而在不干扰本地实时任务的前提下验证设备完整性。论文题为RealSWATT，旨在设计并实现一种适用于实时约束环境的远程软件证明方法。摘要未提供具体技术细节，但强调了研究动机和背景：嵌入式实时设备的安全防护需求迫切，而远程证明是一种有前景的解决方向。本文适合嵌入式系统安全、实时系统及工业控制系统安全研究人员阅读。