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

【摘要】：结构分析和设计语言AADL在嵌入式系统领域有着良好的应用。为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问题为例,提出了基于AADL的错误模型附件的形式化软件验证方法,列举了不同端口产生流延迟的方式,阐释了从模型建立、模型分析到模型修改的验证过程。为AADL在煤矿安全系统软件验证方面的应用奠定了基础。 【作者单位】： 湖南科技职业学院;
【关键词】： 甲烷浓度监测报警系统 结构分析与设计语言 流延迟
【分类号】：TD712.55;TP277
【正文快照】： 甲烷浓度的监控在煤矿中有广泛的应用,它是煤矿安全生产的基础。甲烷浓度监测报警系统要求有较高的正确性和可靠性。如果在要求的时间内,系统无法完成规定的动作,就可能会引发事故,甚至是灾难。但是,甲烷浓度监测报警系统由多个组件构成,各个组件之间有较为频繁的交互、时序行

您可以在本站搜索以下学术论文文献来了解更多相关内容

基于AADL的软件可靠性验证    谯婷婷;王乐;耶国栋;

基于AADL的车用嵌入式实时系统建模方法研究    杨阳

AADL在中断控制系统建模中的应用    任飞;谯婷婷;刘俊波;邵杨锋;

AADL模型到广义随机Petri网的转换工具    汤玥;苏威;李蜀瑜;

基于UPPAAL的嵌入式系统AADL模型实时性验证    白海洋

基于AADL的嵌入式软件形式化验证研究    吴育春

基于AADL的武器控制系统性能验证方法    许凌权;冯金富;左伟;胡俊华;

基于AADL的机载设备系统可靠性建模    刘建军;钟珊;叶宏;

基于AADL的航空电子系统安全性分析    贾璐;胡林平;田丹;

结构分析和设计语言AADL研究    王瀚博;周兴社;董云卫;唐蕾;

基于UPPAAL的AADL模型可调度性验证    刘倩;桂盛霖;李允;罗蕾;

基于AADL的软件开发技术研究    宋翠叶;杜承烈;李刚;

一种面向AADL架构的模型测试方法    冯冰;杨志义;董云卫;马春燕;

复杂嵌入式实时系统体系结构设计与分析语言:AADL    杨志斌;皮磊;胡凯;顾宗华;马殿富;

飞行管理系统AADL建模与分析    汤小明;苏罗辉;宋科璞;

基于AADL的中断控制设计方法    李振松;顾斌;

钢丝绳受力监测报警系统在大型火炬吊装中的应用    李凡起

催化重整装置含氯气体的监测报警    汪树清,蔡业彬,陈堂敏,刘卫华,方子严

煤矿斜坡轨道运输监测报警系统的研究与应用    洪绪武;

矿井低氧监测报警系统的研究与设计    钟文峰;

基于软冗余技术的输油站监测报警系统    于洋;郭威;于浩;

综采工作面液压系统乳化液工作状态的监测报警与控制    吴迪;满在山;马钱钱;冯伟;吴锐;

输油管道泄露实时监测报警系统    周明才

煤气区域作业环境一氧化碳监测报警系统    王光

煤矿主、副井绞车盘形闸间隙监测报警系统的设计    黄鹤松;薛琳;郑效田;郑丰隆;

基于GPRS通讯的油井状态监测报警系统    袁碧波;

遥控站点监测报警接口与业务逻辑实现    赵杰;

储油罐原油温度实时监测报警系统的研制与开发    王明吉;张勇;刘洪涛;朱秀峰;曹文;

CC-link在机舱监测报警系统中的应用    陈意惠;蒲小莲;桂如裕;

3G和互联网技术的航标智能化监测报警系统    冯坚强;

节约组态软件点数的方法研究    赵隽;战兴群;张炎华;

术中神经监测在脊髓手术中的应用    林国中;王振宇;刘斌;

三进监测报警系统批量出口    记者 张银炎

天津港首个“水面溢油监测报警系统”投用    驻津记者 余峰　通讯员 侯晨光 宋江涛

天津港 首个“水面溢油监测报警系统”投用    首席记者蔡立军

务必安排专人做好灾情监测报警工作    记者 原建军实习生 张平

浙江欣亚监测报警系统通过GL型式认可    记者 甘丰录

电梯远程监测报警网络管理系统的设计    陕西 都晓光 冯刚 贾涛

机舱监测报警系统的设计与实现    蒋理

船舶机舱监测报警系统的研究    马驰誉

某船舶机舱监测报警系统改造与实现    薛彬

新型船用机舱监测报警系统研究与设计    衣斌斌

船舶机舱监测报警系统的研究与设计    雍强

输油管道泄漏实时监测报警系统的研究与开发    史有刚

某综试舰损管及火灾监报系统的设计开发研究    赵鹏飞

基于荧光光谱法港口近距溢油监测报警系统    陈虹宇

矿井电机车行人监测报警系统的研究    符秋杰

基于CAN总线冗余的机舱监测报警系统研制    周耀