SVSHI：安全且经过验证的智能家居基础设施
系统与控制
2022-06-24 v1 系统与控制
摘要
智能基础设施的使用日益增长，随之而来的是对可靠性和正确性的需求。为了提供更好的正确性保证并将形式化验证引入其中，我们提出SVSHI，一个用于在KNX安装中开发、验证和运行Python应用程序的平台，KNX是应用最广泛的智能建筑标准之一。SVSHI利用抽象语法树（AST）操作、代码生成、符号执行和静态配置验证，使编写高级应用变得轻松、快速且安全。借助SVSHI，应用程序的可靠性和兼容性得以保证，且不牺牲用户的生产力。
引用
@article{arxiv.2206.11786,
title = {SVSHI: Secure and Verified Smart Home Infrastructure},
author = {Andrea Veneziano and Samuel Chassot},
journal= {arXiv preprint arXiv:2206.11786},
year = {2022}
}