全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 一种航空电子系统体系结构错误行为验证方法
- 作者： 丁明 张书玲 张琛 来源： 西北大学学报(自然科学版) 年份： 2019 文献类型 ： 期刊 关键词： 错误模型 模型检测 体系结构 航空电子系统
- 描述： 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。