高可靠性智能灌溉系统的形式化验证方法

• 作者: 王萍 许海洋
• 来源期刊: 农机化研究
• 学科: 农学
• 关键词: 智能灌溉系统 可靠性 嵌入式建模 形式化验证
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 理论研究
• 页码范围: 62-65
• 页数: 4页
• 分类号: S126|TP311
• 字数: 3900字
• 语种: 中文

摘要

针对智能灌溉系统中嵌入式软件的可靠性，提出了在软件的设计阶段，采用 MARTE 建立软件的系统模型，通过将软件模型转换为形式化模型，对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析，指出在本文假设前提下，数据采集单元软件的故障率最大，在实际应用中应该有针对性的进行改善，有助于解决不利于可靠性的影响因素，提高整个智能灌溉系统的可靠性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许海洋	青岛农业大学理学与信息科学学院	22	46	4.0	6.0
3	王萍	青岛农业大学理学与信息科学学院	25	93	5.0	9.0