基于安全灰箱演算的物联网移动性建模验证

物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程，物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分，必须在物联网模型中进行描述。移动性作为一种物理属性，能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究，提出了一种基于安全灰箱演算的物联网模型，并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析，适用于具有移动特征的物联网应用。以欧洲火车控制系统（ETCS）为例，验证了本文建模和验证方法的可行性。