一种航空电子系统体系结构错误行为验证方法

【类型】期刊

【作者】丁明 张书玲 张琛  

【刊名】西北大学学报(自然科学版)

【关键词】 错误模型,模型检测,体系结构,航空电子系统

【摘要】针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。

【年份】2019

【作者单位】西北大学信息科学与技术学院;航空工业西安航空计算技术研究所;西安电子科技大学计算机科学与技术学院;

【期号】03

【页码】356-362

【全文挂接】全文挂接