【摘 要】
：
针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性
【机 构】
：
西北大学信息科学与技术学院,航空工业西安航空计算技术研究所,西安电子科技大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目(61502365),陕西省重点研发计划资助项目(2019GY-042).
论文部分内容阅读
针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。
其他文献
随着以服务理论为支撑的现代行政价值理念的逐渐形成和完善，现代行政的重心已开始偏重于服务与授益。文章以服务理论为支撑的现代行政价值理念的确立为切入点，从政府与市场的维
会计信息质量在我国经济管理中起到很重要的作用，信息真实性对于建立与现代企业制度相适应的会计模式有着至关重要的影响。文章拟从制度经济学角度探寻会计信息失真的原因，并试
本文利用特征和的估计以及Dirichlet L-函数的均值定理研究了不完整区间[1,q/4）,[1,q/2）上原特征和与Dirichlet L-函数的混合均值,并且给出了相应的渐近公式。
研究中药皂苷成分对高血压大鼠主动脉血管内皮功能相关因子影响情况。将45只自发性高血压大鼠分为A组(三七花总皂苷组)15只、B组(卡托普利组)15只和C组(阳性对照组)15只,15只