基于物联网系统的体系结构不变量与正确性
软件工程
2019-12-20 v1
摘要
物联网应用正越来越多地影响智能制造、智能健康监测与家庭自动化等工业领域;配备传感器与执行器的物理对象或设备相互互联,并随后由软件应用控制。确保这些应用的正确构建、良好运行与可靠性,对一些在故障情况下可能至关重要的应用而言是重要问题。我们基于其公共体系结构属性的形式化模型,提出了一种用于基于物联网应用的形式化建模、一致性属性的严格分析、严格构建与演化的通用框架。特定属性可逐步添加并检查。随后使用 Event-B 实现并实验了该框架。我们利用如下观察:基于物联网的物理体系结构与控制软件的主要需求是所有基于物联网应用所共有的;这引导我们定义了通用形式化模型以及不变体系结构与一致性属性。所提方法是通用的、可扩展的,并可有效地适用于更一般的混合或信息物理系统。我们当前的实现独立于形式化模型,可在多种其他形式化分析环境中实现。
引用
@article{arxiv.1912.08912,
title = {Architectural Invariants and Correctness of IoT-based Systems},
author = {Christian Attiogbé and Jérôme Rocheteau},
journal= {arXiv preprint arXiv:1912.08912},
year = {2019}
}
备注
(16 pages, work in progress)