期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
一种基于航电系统架构模型的故障树自动建模方法 被引量:6
1
作者 徐文华 张育平 《计算机工程与科学》 CSCD 北大核心 2017年第12期2269-2277,共9页
航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性... 航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。 展开更多
关键词 航电系统架构 系统建模语言(sysml) 故障树建模 AltaRica 卫式转换系统
下载PDF
基于Spin的SysML活动图验证框架 被引量:6
2
作者 胡良文 马金晶 孙博 《计算机科学与探索》 CSCD 2014年第7期836-847,共12页
系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面... 系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面局限性,大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题,提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型,将多层次活动图分解转换为Spin的输入模型,并对相关子图进行重组和验证。实验表明,该方法可以有效识别多层次活动图,并准确实施转换,为模型验证的演化提供支持。 展开更多
关键词 系统建模语言(sysml) 活动图 模型验证 SPIN PROMELA
下载PDF
基于航电系统架构模型的安全性分析工具的设计与实现 被引量:4
3
作者 徐文华 张育平 《计算机科学》 CSCD 北大核心 2016年第S2期536-541,共6页
航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时... 航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完成共模分析和区域安全性分析,得出共模检查单和区域隔离性需求。以某飞机驾驶舱显示系统为案例的实验结果表明,该工具能对SysML语言描述的航电系统架构模型进行故障树自动建模,并能对需要隔离的系统组件进行标记,确保了共模分析和区域安全性分析结果的完整性。 展开更多
关键词 航电系统架构 系统建模语言(sysml) 共模分析 区域安全性分析 故障树建模
下载PDF
基于MBSE的航天器建模应用研究 被引量:4
4
作者 蒋维 骆佳巍 王振东 《中国设备工程》 2021年第17期139-143,共5页
为了加强基于模型的系统工程(MBSE)在航天器研制生产中的推广落地,本文基于MBSE的开发流程和方法,对火灾卫星航天器的任务分析、任务上下文、需求、接口、行为等方面进行了建模分析,最后,通过对模型的集成仿真验证,验证了模型的逻辑合... 为了加强基于模型的系统工程(MBSE)在航天器研制生产中的推广落地,本文基于MBSE的开发流程和方法,对火灾卫星航天器的任务分析、任务上下文、需求、接口、行为等方面进行了建模分析,最后,通过对模型的集成仿真验证,验证了模型的逻辑合理。结果表明,相较传统的基于文档的系统工程方法,MBSE可以更好地确保航天器设计过程中设计信息的一致性,提高工作效率,降低航天器研发成本,加速推广应用。 展开更多
关键词 基于模型的系统工程(MBSE) 系统建模语言(sysml) 航天器 建模 仿真
下载PDF
波音777飞机ACARS系统及马航MH370航班失联事件分析 被引量:3
5
作者 安乐 《民用飞机设计与研究》 2015年第1期62-67,112,共7页
马来西亚航空公司MH370客机失联事件一度引发媒体与公众的诸多猜测,猜测的焦点之一就是执飞的波音777飞机的飞机通信寻址与报告系统(Aircraft Communication Addressing and Reporting System,简称ACARS)功能是如何被关闭的。从专业角... 马来西亚航空公司MH370客机失联事件一度引发媒体与公众的诸多猜测,猜测的焦点之一就是执飞的波音777飞机的飞机通信寻址与报告系统(Aircraft Communication Addressing and Reporting System,简称ACARS)功能是如何被关闭的。从专业角度出发,首先采用Sys ML建模的方式描述了波音777飞机ACARS系统的详细架构和人机接口,并据此深入分析了马航MH370航班失联事件中ACARS被关闭的情景。最后,提出了此次事件暴露出的现代民用飞机设计中存在的问题以及改进方法。 展开更多
关键词 MH370 飞机通信寻址与报告系统 民用飞机设计 系统建模语言(sysml)
下载PDF
基于SysML系统模型的动态性能效能评价 被引量:1
6
作者 何志辉 王明哲 《兵工自动化》 2006年第7期32-34,43,共4页
基于系统建模语言(SysML)的系统模型动态性能效能评价,采用一组性能指标参数值联系系统可执行模型。该评价步骤包括:系统分析与设计、建立CPN(着色Petri网)可执行模型、模型验证、性能分析和效能测定。
关键词 动态性能效能评价 系统建模语言(sysml) 可执行模型 着色Petri网(CPN)
下载PDF
基于SysML的航电系统架构安全性评估方法 被引量:1
7
作者 邓佳佳 陈海燕 +1 位作者 张育平 何亦征 《计算机与现代化》 2017年第4期44-47,126,共5页
针对现有系统安全性分析方法中安全性分析与航电系统架构设计过程无法融合的问题,提出基于SysML的航电系统架构安全性评估方法。首先在EA中基于SysML建模语言建立系统架构模型;然后利用XML解析技术从中提取系统关键信息,并建立故障树模... 针对现有系统安全性分析方法中安全性分析与航电系统架构设计过程无法融合的问题,提出基于SysML的航电系统架构安全性评估方法。首先在EA中基于SysML建模语言建立系统架构模型;然后利用XML解析技术从中提取系统关键信息,并建立故障树模型对其失效概率与区域安全性等进行分析,得到安全性评估结果;最后基于SysML语言对IMA架构下的显示系统进行架构设计和安全性评估,评估结果验证了所提出安全性评估方法的有效性。 展开更多
关键词 系统建模语言(sysml) 综合模块化航空电子(IMA) 架构设计 安全性评估
下载PDF
红外导引装备环境适应性智能设计方法研究
8
作者 尚超 张同贺 +2 位作者 王军平 王明昌 魏新武 《航空制造技术》 2018年第9期83-87,共5页
适应性是制约红外导引装备性能的关键因素之一,其设计方法的智能化创新研究具有重要的意义。简介了基于模型的系统工程方法和人工智能方法的发展和现状,对红外导引装备环境适应性智能设计方法进行了分析,并利用Sys ML分别建立了一种5层... 适应性是制约红外导引装备性能的关键因素之一,其设计方法的智能化创新研究具有重要的意义。简介了基于模型的系统工程方法和人工智能方法的发展和现状,对红外导引装备环境适应性智能设计方法进行了分析,并利用Sys ML分别建立了一种5层的智能设计系统总体架构模型、一种智能综合推理的设计过程模型、一种面向对象的知识分类结构模型和一种用模糊神经网络抽取案例知识的行为模型,为精导装备智能设计系统的研发提供了有益的参考。 展开更多
关键词 基于模型的系统工程(MBSE) 系统建模语言(sysml) 智能设计 环境适应性 红外导引装备
下载PDF
网络信息体系的需求建模与分析框架 被引量:12
9
作者 王智学 禹明刚 《指挥信息系统与技术》 2017年第5期1-8,共8页
网络信息体系是我国国防领域中的新概念,其需求具有抽象层次高、覆盖业务领域广和迭代演化周期长等特点,因此给需求工程带来了新挑战。借鉴模型驱动的系统工程思想方法,提出了一种网络信息体系需求分析建模框架,以网络信息体系需求本体... 网络信息体系是我国国防领域中的新概念,其需求具有抽象层次高、覆盖业务领域广和迭代演化周期长等特点,因此给需求工程带来了新挑战。借鉴模型驱动的系统工程思想方法,提出了一种网络信息体系需求分析建模框架,以网络信息体系需求本体为基础进行需求获取、描述和建模,采用多视图分析方法对体系和系统层面需求进行建模与验证。该框架采用了面向对象的建模方式,既有利于软件工程制品开发与管理,又兼容了军事领域中较流行的美国国防部体系结构框架(DoDAF)。最后,通过案例初步检验了理论方法的有效性。 展开更多
关键词 网络信息体系 需求工程 统一建模语言/系统建模语言(UML/sysml)
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部