本文主要研究内容
作者丁明,张书玲,张琛（2019）在《一种航空电子系统体系结构错误行为验证方法》一文中研究指出：针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。
Abstract
zhen dui hang kong dian zi ji tong ti ji jie gou an quan xing ping gu guo cheng zhong ,zu jian gu zhang ying xiang fen xi ,zheng que xing nan yi bao zheng de wen ti ,di chu le yi chong ji yu mo xing de ti ji jie gou cuo wu hang wei miao shu he yan zheng fang fa 。shou xian ,zhen dui ji tong gong neng xu qiu he an quan xing mu biao ,jian li ti ji jie gou mo xing ;ran hou ,cai yong cuo wu mo xing fu jian miao shu zu jian de cuo wu hang wei he dao zhi de gu zhang ying xiang ,bing shi yong ceng ci zi dong ji zuo wei zhong jian zhuang tai ,tong guo zhuai huan suan fa shi xian ti ji jie gou cuo wu hang wei mo xing de xing shi hua miao shu ;zui hou ,tong guo mo xing jian ce shi xian an quan xing xu qiu de zheng que xing yan zheng 。shi li fen xi biao ming ,gai fang fa neng gou yan zheng ti ji jie gou she ji de zu jian cuo wu ying xiang he ying dui cuo shi shi fou man zu ji tong de an quan xing mu biao ,di sheng an quan xing ping gu de zhun que xing he xiao lv 。
论文参考文献
论文详细介绍
论文作者分别是来自西北大学学报(自然科学版)的丁明,张书玲,张琛，发表于刊物西北大学学报(自然科学版)2019年03期论文，是一篇关于航空电子系统论文,体系结构论文,错误模型论文,模型检测论文,西北大学学报(自然科学版)2019年03期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自西北大学学报(自然科学版)2019年03期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：航空电子系统论文; 体系结构论文; 错误模型论文; 模型检测论文; 西北大学学报(自然科学版)2019年03期论文;