论文标题
SVSHI：安全且经过验证的智能家庭基础架构
SVSHI: Secure and Verified Smart Home Infrastructure
论文作者
论文摘要
智能基础架构的使用正在增长，并且需要可靠性和正确性。为了提供更好的正确性保证并将正式验证带入方程式，我们提出了SVSHI，这是一个用于开发，验证和运行python应用程序的平台，这是最常用的智能建筑标准之一。 SVSHI利用抽象语法树（AST）操纵，代码生成，符号执行和静态配置验证，以使编写高级应用程序变得容易，快速且安全。借助SVSHI，可以保证应用程序的可靠性和兼容性，而无需预言用户的生产力。
Smart infrastructures uses are growing and with them the need for dependability and correctness. To provide better correctness guarantees and bring formal verification into the equation, we present SVSHI, a platform for developing, verifying, and running Python applications in KNX installations, one of the most used smart buildings standards. SVSHI leverages abstract syntax tree (AST) manipulation, code generation, symbolic execution, and static configuration verification to make writing advanced apps easy, quick, and safe. With SVSHI, the reliability and compatibility of the applications are guaranteed without foregoing users' productivity.
