为了加强基于模型的系统工程(MBSE)在航天器研制生产中的推广落地,本文基于MBSE的开发流程和方法,对火灾卫星航天器的任务分析、任......

航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统......

适应性是制约红外导引装备性能的关键因素之一,其设计方法的智能化创新研究具有重要的意义。简介了基于模型的系统工程方法和人工......

基于系统建模语言（SysML）的系统模型动态性能效能评价，采用一组性能指标参数值联系系统可执行模型。该评价步骤包括：系统分析与设计、......

针对现有系统安全性分析方法中安全性分析与航电系统架构设计过程无法融合的问题,提出基于SysML的航电系统架构安全性评估方法。首......

航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的......

系统建模语言（systems modeling language，SysML）缺乏精确的形式化分析和验证手段，造成模型存在死锁、活锁等诸多问题，可以通过形式化验......