作者：杨夏甲烷浓度监测报警系统结构分析与设计语言流延迟
摘要：结构分析和设计语言AADL在嵌入式系统领域有着良好的应用。为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问题为例,提出了基于AADL的错误模型附件的形式化软件验证方法,列举了不同端口产生流延迟的方式,阐释了从模型建立、模型分析到模型修改的验证过程。为AADL在煤矿安全系统软件验证方面的应用奠定了基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《数字技术与应用》（CN：12-1369/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《数字技术与应用》关注实际应用，紧跟世界数字技术及计算机发展潮流，以帮读者解决应用中的问题为立足点，以报道最新科技发展为杂志的特色，力求实用性、先进性、趣味性相结合，成为广大读者了解数字技术的窗口和解答应用问题的帮手。
省级期刊
人气 366631 评论 69
人气 248173 评论 47
部级期刊
人气 247117 评论 10
人气 246748 评论 74
