数字技术与应用
數字技術與應用
수자기술여응용
Digital Technology and Application
2015年
10期
72-73
,共2页
甲烷浓度监测报警系统%结构分析与设计语言%流延迟
甲烷濃度鑑測報警繫統%結構分析與設計語言%流延遲
갑완농도감측보경계통%결구분석여설계어언%류연지
结构分析和设计语言AADL在嵌入式系统领域有着良好的应用.为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问题为例,提出了基于AADL的错误模型附件的形式化软件验证方法,列举了不同端口产生流延迟的方式,阐释了从模型建立、模型分析到模型修改的验证过程.为AADL在煤矿安全系统软件验证方面的应用奠定了基础.
結構分析和設計語言AADL在嵌入式繫統領域有著良好的應用.為瞭保障煤礦安全繫統軟件的質量,選取甲烷濃度鑑測報警繫統的流延遲問題為例,提齣瞭基于AADL的錯誤模型附件的形式化軟件驗證方法,列舉瞭不同耑口產生流延遲的方式,闡釋瞭從模型建立、模型分析到模型脩改的驗證過程.為AADL在煤礦安全繫統軟件驗證方麵的應用奠定瞭基礎.
결구분석화설계어언AADL재감입식계통영역유착량호적응용.위료보장매광안전계통연건적질량,선취갑완농도감측보경계통적류연지문제위례,제출료기우AADL적착오모형부건적형식화연건험증방법,열거료불동단구산생류연지적방식,천석료종모형건립、모형분석도모형수개적험증과정.위AADL재매광안전계통연건험증방면적응용전정료기출.
