关键词
一种航空电子系统体系结构错误行为验证方法
作者: 丁明   张书玲   张琛   来源: 西北大学学报(自然科学版) 年份: 2019 文献类型 : 期刊 关键词: 错误模型   模型检测   体系结构   航空电子系统  
描述: 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用
< 1
Rss订阅