| 基于安全灰箱演算的物联网移动性建模验证 |
| |
| 引用本文： | 丛新宇,虞慧群.基于安全灰箱演算的物联网移动性建模验证[J].华东理工大学学报(自然科学版),2015,41(3):391-395,416. |
| |
| 作者姓名： | 丛新宇 虞慧群 |
| |
| 作者单位： | 1. 华东理工大学计算机科学与工程系,上海200237;上海市计算机软件评测重点实验室,上海201112
2. 华东理工大学计算机科学与工程系,上海,200237 |
| |
| 摘 要： | 物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统(ETCS)为例,验证了本文建模和验证方法的可行性。
|
| 关 键 词： | 物联网 建模验证 移动性 安全灰箱演算 |
Modeling and Verification of Mobility in Cyber Physical Systems Based on Mobile Safe Ambients |
| |
| CONG Xin-yu
,
YU Hui-qun.Modeling and Verification of Mobility in Cyber Physical Systems Based on Mobile Safe Ambients[J].Journal of East China University of Science and Technology,2015,41(3):391-395,416. |
| |
| Authors: | CONG Xin-yu YU Hui-qun |
| |
| Abstract: | |
| |
| Keywords: | cyber physical systems modeling and verification mobility mobile safe ambient |
| 本文献已被 CNKI 等数据库收录！ |
|
