%0 Journal Article
%T 基于安全灰箱演算的物联网移动性建模验证
%A 丛新宇
%A 虞慧群
%J 华东理工大学学报
%P 391-395
%D 2015
%X 物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程，物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分，必须在物联网模型中进行描述。移动性作为一种物理属性，能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究，提出了一种基于安全灰箱演算的物联网模型，并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析，适用于具有移动特征的物联网应用。以欧洲火车控制系统（ETCS）为例，验证了本文建模和验证方法的可行性。
%K 物联网
%K 建模验证
%K 移动性
%K 安全灰箱演算
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=201503018&flag=1