将运行时验证引入家庭——基于分散式规约的智能家庭分层监控案例研究
软件工程
2019-09-11 v2
摘要
我们使用运行时验证 (RV) 来检查智能公寓中的各种规约。这些规约可分为三类：公寓传感器的行为正确性、特定用户活动（称为日常生活活动）的检测，以及前述类型规约的组合。智能公寓这一场景为我们提供了一个复杂系统，其包含大量组件，并具有两种不同的层次结构来分组规约与传感器：地理上在同一房间、楼层或公寓全局内，以及逻辑上遵循不同规约类型。我们利用近期一种针对分散式规约的分散式 RV 方法，其中监视器拥有自身规约并相互通信以验证更一般的规约。我们利用分散式规约所提供的层次结构、模块化和复用能力来：(1) 扩展到现有集中式 RV 技术之外，(2) 大幅降低计算和通信成本。
引用
@article{arxiv.1808.05487,
title = {Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications},
author = {Antoine El-Hokayem and Yliès Falcone},
journal= {arXiv preprint arXiv:1808.05487},
year = {2019}
}