期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于Spin的SysML活动图验证框架 被引量:6
1
作者 胡良文 马金晶 孙博 《计算机科学与探索》 CSCD 2014年第7期836-847,共12页
系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面... 系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面局限性,大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题,提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型,将多层次活动图分解转换为Spin的输入模型,并对相关子图进行重组和验证。实验表明,该方法可以有效识别多层次活动图,并准确实施转换,为模型验证的演化提供支持。 展开更多
关键词 系统建模语言(sysml) 活动图 模型验证 SPIN PROMELA
在线阅读 下载PDF
基于SysML系统模型的动态性能效能评价 被引量:1
2
作者 何志辉 王明哲 《兵工自动化》 2006年第7期32-34,43,共4页
基于系统建模语言(SysML)的系统模型动态性能效能评价,采用一组性能指标参数值联系系统可执行模型。该评价步骤包括:系统分析与设计、建立CPN(着色Petri网)可执行模型、模型验证、性能分析和效能测定。
关键词 动态性能效能评价 系统建模语言(sysml) 可执行模型 着色Petri网(CPN)
在线阅读 下载PDF
一种基于模型的通用化航天器可靠性设计与验证分析方法 被引量:1
3
作者 唐青原 张宇源 《空间控制技术与应用》 CSCD 北大核心 2024年第3期77-85,共9页
航天器系统可靠性设计与验证作为航天器系统设计中的重点问题,随着航天器系统的复杂度、综合性和智能化程度越来越高,传统基于静态系统架构的可靠性设计已经越来越不能满足设计需求.而基于模型的系统设计方法在系统结构与行为一体化设... 航天器系统可靠性设计与验证作为航天器系统设计中的重点问题,随着航天器系统的复杂度、综合性和智能化程度越来越高,传统基于静态系统架构的可靠性设计已经越来越不能满足设计需求.而基于模型的系统设计方法在系统结构与行为一体化设计方面具有优势.本文在对基于模型的系统工程(model based system engineeving, MBSE)的航天器控制系统可靠性设计和分析工作进行分解的基础上,利用SysML建模语言,建立航天器通用化单机级和系统级可靠性验证模型,并以此为基础建立可靠性架构和行为的跨层级设计和验证一体化模型和设计流程,实现系统自顶向下的可靠性设计和结果验证迭代方案;利用实例表、值属性和Opaque元素,设计模型内及模型与外部文件间参数的传递与管理方法.设计实践表明本文提出的整套方案能满足通用化航天器系统可靠性设计与验证的需求,有助于航天器系统设计的模型化、模块化发展. 展开更多
关键词 MBSE 可靠性设计 可靠性验证 sysml建模语言
在线阅读 下载PDF
一种基于航电系统架构模型的故障树自动建模方法 被引量:7
4
作者 徐文华 张育平 《计算机工程与科学》 CSCD 北大核心 2017年第12期2269-2277,共9页
航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性... 航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。 展开更多
关键词 航电系统架构 系统建模语言(sysml) 故障树建模 AltaRica 卫式转换系统
在线阅读 下载PDF
基于航电系统架构模型的安全性分析工具的设计与实现 被引量:4
5
作者 徐文华 张育平 《计算机科学》 CSCD 北大核心 2016年第S2期536-541,共6页
航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时... 航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完成共模分析和区域安全性分析,得出共模检查单和区域隔离性需求。以某飞机驾驶舱显示系统为案例的实验结果表明,该工具能对SysML语言描述的航电系统架构模型进行故障树自动建模,并能对需要隔离的系统组件进行标记,确保了共模分析和区域安全性分析结果的完整性。 展开更多
关键词 航电系统架构 系统建模语言(sysml) 共模分析 区域安全性分析 故障树建模
在线阅读 下载PDF
红外导引装备环境适应性智能设计方法研究
6
作者 尚超 张同贺 +2 位作者 王军平 王明昌 魏新武 《航空制造技术》 2018年第9期83-87,共5页
适应性是制约红外导引装备性能的关键因素之一,其设计方法的智能化创新研究具有重要的意义。简介了基于模型的系统工程方法和人工智能方法的发展和现状,对红外导引装备环境适应性智能设计方法进行了分析,并利用Sys ML分别建立了一种5层... 适应性是制约红外导引装备性能的关键因素之一,其设计方法的智能化创新研究具有重要的意义。简介了基于模型的系统工程方法和人工智能方法的发展和现状,对红外导引装备环境适应性智能设计方法进行了分析,并利用Sys ML分别建立了一种5层的智能设计系统总体架构模型、一种智能综合推理的设计过程模型、一种面向对象的知识分类结构模型和一种用模糊神经网络抽取案例知识的行为模型,为精导装备智能设计系统的研发提供了有益的参考。 展开更多
关键词 基于模型的系统工程(MBSE) 系统建模语言(sysml) 智能设计 环境适应性 红外导引装备
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部