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