高可靠性温室环境测控系统架构形式化建模与特性证明

摘要：

温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率和可靠性,本文提出一个能为设计者提供指导性框架的融入容错技术的高可靠性温室环境测控系统架构.并且运用PVS形式化语言对系统架构进行了精确而无二义性的形式化建模,以及PVS证明工具对系统架构的容错特性进行了机械化证明,以确保系统架构能满足高可靠性需求.

关键词：系统架构、PVS系统、容错、形式化建模、形式化证明

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家教育部博士点基金项目20090142120025;教育部留学回国人员科研启动基金项目教外司留[2010]1174

在线出版日期：2012-11-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1723-1729