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

• 作者: 杨夏
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 甲烷浓度监测报警系统 结构分析与设计语言 流延迟
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 应用研究
• 页码范围: 72-73
• 页数: 2页
• 分类号: TP202
• 字数: 2713字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨夏		21	24	3.0	4.0