农机化研究Issue(5)：62-65,4.
高可靠性智能灌溉系统的形式化验证方法
The Formal Verification Method of High Reliability Intelligent Irrigation System
摘要
Abstract
For improving the reliability of embedded software , we propose to use MARTE to build the software model and transform software model into formal model .At the design stages of the software ,we can analyze the reliability of software . We analyze the reliability of embedded software of intelligent irrigation system and show that the sub -software in data col-lection unit has the biggest failure rate , so we need to improve the situation in practical application .Through formal analy-zing the failure of each software subsystem in intelligent irrigation system ,we can solve unfavorable influence factors of re-liability,and enhance the reliability of the whole system .关键词
智能灌溉系统/可靠性/嵌入式建模/形式化验证Key words
intelligent irrigation system/reliability/embedded modeling/formal verification分类
农业科技引用本文复制引用
许海洋,王萍..高可靠性智能灌溉系统的形式化验证方法[J].农机化研究,2015,(5):62-65,4.基金项目
江苏省普通高校研究生科研创新计划项目 （）
