基于AADL的甲烷浓度监测报警系统可靠性验证  

作　　者：杨夏[1] 

机构地区：[1]湖南科技职业学院,湖南长沙410004

出　　处：《数字技术与应用》2015年第10期72-73,共2页Digital Technology & Application

摘　　要：结构分析和设计语言AADL在嵌入式系统领域有着良好的应用。为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问题为例,提出了基于AADL的错误模型附件的形式化软件验证方法,列举了不同端口产生流延迟的方式,阐释了从模型建立、模型分析到模型修改的验证过程。为AADL在煤矿安全系统软件验证方面的应用奠定了基础。

关 键 词：甲烷浓度监测报警系统 结构分析与设计语言 流延迟 

分 类 号：TP202[自动化与计算机技术—检测技术与自动化装置]