基于SysML的模型驱动武器装备体系结构设计与分析 被引量：8

1

作者 陆法 孙文虎 贾鹏 《指挥控制与仿真》 2017年第1期44-47,56,共5页

随着武器装备体系规模、复杂度的不断膨胀,模型驱动的体系结构设计方法成为解决复杂系统开发的研究热点。选择SysML(Systems Modeling Language)作为建模语言,提出了一种由三个基本步骤(能力需求分析、黑盒分析和白盒分析)组成的模型驱... 随着武器装备体系规模、复杂度的不断膨胀,模型驱动的体系结构设计方法成为解决复杂系统开发的研究热点。选择SysML(Systems Modeling Language)作为建模语言,提出了一种由三个基本步骤(能力需求分析、黑盒分析和白盒分析)组成的模型驱动体系设计方法,探索了SysML在体系层面建模的应用,并针对当前SysML建模工具在仿真可视化与系统分析等能力上的不足,将建模工具与仿真分析工具进行集成,共同完成武器装备体系结构的设计与仿真分析。 展开更多

关键词 基于模型的系统工程 武器装备体系结构 模型驱动方法 sysml

在线阅读 下载PDF 职称材料

基于SysML的作战概念描述方法研究 被引量：8

2

作者 彭斯明 肖刚 +1 位作者 于芹章 李泽民 《系统仿真学报》 CAS CSCD 北大核心 2021年第3期604-612,共9页

为了便于不同领域研究人员的理解和交流,须采用规范化的方法对作战概念进行描述。基于体系结构的方法,提出将系统建模语言(System Modeling Language, SysML)用于作战概念的可视化和规范化描述。分析了将国防部体系结构框架(Department ... 为了便于不同领域研究人员的理解和交流,须采用规范化的方法对作战概念进行描述。基于体系结构的方法,提出将系统建模语言(System Modeling Language, SysML)用于作战概念的可视化和规范化描述。分析了将国防部体系结构框架(Department of Defense Architecture Framework,DoDAF)和SysML相结合用于作战概念描述的方法,采用多视图产品的形式对作战概念的作战背景、能力需求、体系构成和作战活动等4个方面进行规范化描述,并以"分布式杀伤"作战概念为实例,验证了该方法的有效性和可行性。 展开更多

关键词 作战概念 体系结构 描述方法 DODAF sysml

原文传递

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究 被引量：6

3

作者 黄传林 黄志球 +2 位作者 胡军 徐丙凤 曲长亮 《小型微型计算机系统》 CSCD 北大核心 2015年第3期408-417,共10页

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析. 展开更多

关键词 嵌入式系统安全性分析 sysml活动图 MARTE 模型转换 形式化方法

在线阅读 下载PDF 职称材料

基于SysML需求图的武器装备功能需求描述方法 被引量：1

4

作者 徐亚军 王钰 侯胜高 《火力与指挥控制》 CSCD 北大核心 2019年第1期147-150,155,共5页

在武器装备需求论证工作中,军方使用人员与研制设计人员对武器装备需求内容的描述不可避免地存在着一定的偏差,进而可能造成武器装备研制工作的迟滞和设计偏差。针对这一问题,借鉴SysML需求图建立武器装备功能需求描述模型,主要分析了... 在武器装备需求论证工作中,军方使用人员与研制设计人员对武器装备需求内容的描述不可避免地存在着一定的偏差,进而可能造成武器装备研制工作的迟滞和设计偏差。针对这一问题,借鉴SysML需求图建立武器装备功能需求描述模型,主要分析了总功能需求模型、功能需求关系接口模型、功能需求实现接口模型和需求验证接口模型,最后,以坦克功能需求描述为例,给出了基于SysML需求图的坦克功能需求描述方法。描述的结果表明,SysML需求图能够准确地对坦克功能需求进行描述,并且易于理解和操作。 展开更多

关键词 sysml需求图 功能需求 描述方法

在线阅读 下载PDF 职称材料

基于SysML的远程专家保障装备体系建模及结构评估 被引量：1

5

作者 秦昌茂 孟苏 莫锦鹤 《宇航总体技术》 2021年第6期12-19,共8页

未来联合作战呈现出体系对抗体系的特点,为满足作战需求对武器装备体系设计提出了更高的要求,实现动态作战环境下武器装备体系结构建模和评估是体系设计中的重要内容。基于联合作战背景下的远程专家保障装备体系想定,从体系作战需求角... 未来联合作战呈现出体系对抗体系的特点,为满足作战需求对武器装备体系设计提出了更高的要求,实现动态作战环境下武器装备体系结构建模和评估是体系设计中的重要内容。基于联合作战背景下的远程专家保障装备体系想定,从体系作战需求角度出发通过SysML(系统建模语言)建立体系结构模型,设计远程专家保障装备体系结构视图产品,结合ExtendSim建立了可执行模型,并进行仿真分析和结构评估,为提升体系能力提出有效可行的建议。 展开更多

关键词 sysml ExtendSim 体系建模 仿真评估

在线阅读 下载PDF 职称材料

基于MTRDL的自动飞行系统模式需求建模与验证方法 被引量：2

6

作者 徐恒 黄志球 +3 位作者 胡军 陶传奇 王金永 石帆 《软件学报》 EI CSCD 北大核心 2024年第9期4265-4286,共22页

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中... 在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中必需的多重飞行模式之间的交互关系,还体现在模式转换与外部环境之间复杂的数据与控制交联关系,这些交联关系同时隐含了飞行模式转换的安全性质,这些特征提高了形式化方法的应用难度.提出一种领域特定的建模验证框架:首先,提出面向自动飞行系统模式转换的领域需求建模语言MTRDL和基于该语言扩展于SysML上的建模方法;其次,提出基于安全需求模板的安全性质辅助规约方法;最后,通过对某机型的若干条目化需求的实例研究,证明所提方法在自动飞行系统模式转换需求验证中的有效性. 展开更多

关键词 自动飞行系统模式 形式化方法 sysml建模 安全性质

在线阅读 下载PDF 职称材料

地铁列车IPIS系统设计建模方法 被引量：1

7

作者 黄庭莉 王保民 +3 位作者 王海芳 赵家豪 周璐婕 官琳 《图学学报》 CSCD 北大核心 2024年第2期317-324,共8页

针对基于文档(TBSE)方法在设计地铁列车乘客信息系统(PIS)时所面临的设计集成度低、开发效率低、功能之间的联系性差及可追溯性差等问题,将PIS的3个主要功能进行模块化处理,提出智慧乘客信息系统(IPIS),并运用基于模型的系统工程(MBSE)... 针对基于文档(TBSE)方法在设计地铁列车乘客信息系统(PIS)时所面临的设计集成度低、开发效率低、功能之间的联系性差及可追溯性差等问题,将PIS的3个主要功能进行模块化处理,提出智慧乘客信息系统(IPIS),并运用基于模型的系统工程(MBSE)思想对系统进行设计建模。提出了IPIS系统从黑盒到白盒的设计建模方法,涵盖了利益相关方分析、涉众需求分析、用例和用例场景分析、黑盒活动分析、白盒活动分析、功能分析、系统需求分析、系统架构设计8个阶段,并利用系统建模语言(SysML)构建IPIS系统功能元模型,以提高模型重用率。通过一个IPIS系统设计实例验证该方法的有效性和可行性。 展开更多

关键词 MBSE 元模型 系统建模方法 IPIS sysml

在线阅读 下载PDF 职称材料

面向适航认证的模型驱动机载软件构件的安全性验证 被引量：16

8

作者 徐丙凤 黄志球 +1 位作者 胡军 于笑丰 《航空学报》 EI CAS CSCD 北大核心 2012年第5期796-808,共13页

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用... 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。 展开更多

关键词 适航认证 安全性验证 机载软件 模型驱动 形式化方法 sysml

原文传递

基于系统工程的机载侦察任务系统总体建模设计 被引量：4

9

作者 黄小华 《指挥控制与仿真》 2018年第3期93-97,共5页

在机载复杂的侦察任务系统总体设计过程中,针对文档开发形式存在的语义的二义性、可追溯性和验证性等问题,提出了采用基于模型系统工程的Harmony系统总体模型设计开发方法。利用IBM Rhapsody工具对机载侦察任务系统进行系统总体建模设计... 在机载复杂的侦察任务系统总体设计过程中,针对文档开发形式存在的语义的二义性、可追溯性和验证性等问题,提出了采用基于模型系统工程的Harmony系统总体模型设计开发方法。利用IBM Rhapsody工具对机载侦察任务系统进行系统总体建模设计,开发了系统的需求模型、功能分析模型和系统设计模型等系统总体模型,验证了系统总体建模设计方法和技术的可行性,对复杂系统的总体设计有一定借鉴意义。 展开更多

关键词 机载侦察任务系统 系统总体设计 系统工程 基于模型系统工程 Harmony方法 系统建模语言

在线阅读 下载PDF 职称材料

基于模型驱动的导弹突防概率仿真研究

10

作者 杨海根 窦小强 +1 位作者 戴罗昊 陈建江 《战术导弹技术》 2025年第5期32-40,共9页

为了改进传统装备研制中基于文档的系统工程研制模式,进一步提高导弹武器装备研制效率,提出了一种基于模型驱动的导弹突防概率计算与仿真方法。通过引入基于模型的系统工程(Model-Based Systems Engineering,MBSE)理念,结合系统建模语言... 为了改进传统装备研制中基于文档的系统工程研制模式,进一步提高导弹武器装备研制效率,提出了一种基于模型驱动的导弹突防概率计算与仿真方法。通过引入基于模型的系统工程(Model-Based Systems Engineering,MBSE)理念,结合系统建模语言(System Modeling Language,SysML)中的需求图、内部模块图、活动图等视图,对战场上各种武器装备的结构、状态和行为进行描述;引入了人在回路的仿真思想,通过在系统级模型中加入“人在回路”的设计,模拟反舰导弹的实际作战过程,使得指挥人员可以参与到仿真流程中并控制关键节点来影响作战进程,增强了仿真进程的可控性;构建攻防双方导弹运动学模型并结合蒙特卡洛法,实现导弹突防概率仿真计算;以海上战争中反舰导弹打击敌方舰队的导弹突防效能评估为例,验证了联合设计与仿真框架的可行性。 展开更多

关键词 基于模型的系统工程 蒙特卡洛法 人在回路 系统建模语言 导弹突防概率 模型驱动 联合设计与仿真框架

原文传递

模型驱动的装备作战概念设计方法 被引量：13

11

作者 田明虎 樊延平 郭齐胜 《装甲兵工程学院学报》 2015年第4期1-6,共6页

针对目前装备作战概念设计方法无法满足"概念驱动"式装备发展论证中装备作战概念前瞻性、体系化与动态评估要求的问题,提出了模型驱动的装备作战概念设计方法,并以新型装甲突击系统的"侦察、机动、打击一体联动"作... 针对目前装备作战概念设计方法无法满足"概念驱动"式装备发展论证中装备作战概念前瞻性、体系化与动态评估要求的问题,提出了模型驱动的装备作战概念设计方法,并以新型装甲突击系统的"侦察、机动、打击一体联动"作战概念为例,验证了该方法的可行性。该方法以装备作战概念的抽象性描述文本为输入,采用模型驱动体系结构、体系结构驱动设计的方式,构建了4类19个基于Sys ML(Systems Modeling Language)的装备作战概念Do DAF(Department of Defense Architecture Framework)视图产品模型,实现了装备作战概念从基于文档到基于模型的表述。采用该方法构建的模型可进行可执行开发,为下一步装备作战概念的动态验证提供支持。 展开更多

关键词 装备作战概念 模型驱动 设计方法 DODAF sysml

原文传递