第二章 基于模型的系统工程 P1|系统建模语言SysML实用指南学习

news2024/11/15 12:25:51

仅供个人学习记录
第三版

基于文档与基于模型的方法对比

MBSE潜在优势

  • 增进沟通:
    • 团队与利益相关方共享对系统的理解
    • 从系统多个维度展示和集成视图的能力
  • 降低开发风险:
    • 持续需求确认与设计验证
    • 对系统开发做精确成本估计
  • 提高质量:
    • 更多的完整、无歧义、可验证的需求
    • 需求、设计、分析和测试过程中更严密的跟踪能力
    • 提高设计完整性
  • 增加产出:
    • 快速影响需求分析与设计改变
    • 更有效地寻求权衡空间
    • 重用现有模型支持改进设计
    • 集成测试中减少错误,缩短周期
    • 自动生成文档
  • 提升下游生命周期阶段的模型应用层级:
    • 支持系统应用操作培训
    • 支持系统诊断与维护
  • 强化知识传递:
    • 提炼系统的领域知识,这些知识以标准化的形式存在,支持评估、查询、分析、演变和重用

基于文档的系统工程

在基于文档的方法中,系统、分系统及其硬件和软件部件的规范通常以分层树(规范树)来描述。系统工程管理计划(Systems Engineering Management Plan, SEMP)阐述了在项目中如何实施系统工程过程以及如何并行开展多工程学科工作,确保编制的文档满足规范树中的需求。

通过跟踪不同层级规范的需求,建立并维护需求的可追溯性。
需求和设计之间的可追溯性是通过识别满足需求的系统或者子系统的组件来维护,用于验证需求的严重过错,然后在需求数据库中反映这种追溯性。

基于文档的系统工程可以很严密,但信息分布在多个文档中,其完整性、一致性,以及在需求、设计、工程分析和测试之间的相互关系很难评估。

难以掌握系统的某一特定方面
难以展开必要的跟踪与变更影响分析
难以在需求、系统层设计和底层的详细设计之间保持同步
难以维护或者重用系统需求和设计的信息
提升基于文档状态,难以反映系统需求和设计的质量

基于模型的系统工程方法

1993年,Wayne Wymore引入了MBSE数学形式体系
Wymore W.Model-Based Systems Engineering. Boca Ration,FL: CRC Press; 1993.

基于模型的系统工程(Model-Based Systems Engineering, MBSE)作为一种程式化的应用,支持系统需求、设计、分析、验证、确认全过程,覆盖概念设计阶段并贯穿于整个开发及后续全生命周期阶段。
International Council on Systems Engineering(INCOSE). Systems Engineering Vision 2020. Version 2. 03, TP - 2004 - 004 - 02 September 2007 .

系统模型

系统模型system model包括系统规范、设计、分析和验证信息。
模型由表示需求、设计、测试用例、设计基本原理和相互关系的模型元素组成。

模型库中的模型元素之间的多重交叉关系使得系统模型能够从多个不同维度查看。这些视角聚焦于系统的不同方面,同时又能维持不同视角之间的一致性。

系统模型主要是确保系统设计能够满足其需求和所有目标,该模型是系统规范和设计过程的输出结果。系统模型规范了系统的部件组成。

系统模型越来越强调为集成其他工程学科(软/硬件、测试及可靠性、安全性等其他专业工程学科)模型所提供的共有系统描述角色

系统模型也可通过工程分析、仿真模型集成进行计算与动态运行。如果系统建模环境与运行环境结合扩大,则系统模型也可以直接运行

模型库

原先在文档中的规范、设计、分析、验证信息,可以从模型库中提取。模型能以视图、表格或报告方式浏览。

自动化的文档生成能力,显著降低建立和维护系统规范、设计文档的时间和成本。

对需求、设计、分析和验证信息的模型元素通过元素间交互关系能够诸葛跟踪,即使它们在不同图中表示。

应用MBSE方法和其他领域专用约束时,额外的模型约束可能会被强制施加。如领域专用约束:特定类型部件必须包含某些类型属性。

向MBSE的转变

作为基于文档的系统工程的一部分,相应的图技术与模型,如功能流图、行为图、原理块图、N2图、性能仿真、可靠性模型等已经得到应用。然而这些模型的使用局限于支持系统设计过程中的某种特定分析。单个的模型并没有集成到一个整体系统模型中,而且建模活动也并没有集成到系统工程过程中。

MBSE在整个生命周期内对系统需求、设计、分析和验证信息进行维持、评估和沟通。

灵活转变:MBSE与基于文档方法相结合

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1134492.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

超级强大!送你几款Linux 下终极SSH客户端

更多IT技术,请关注微信公众号:“运维之美” 超级强大!送你几款Linux 下终极SSH客户端 1.MobaXterm2.Xshell3.SecureCRT4.PuTTY5.FinalShell6.Termius7.WindTerm 安全外壳协议(Secure Shell,简称 SSH)是一种网络连接协议…

服务器安装宝塔面板

参考官方文档 【教程贴】如何登录您的Linux云服务器并安装宝塔面板 - Linux面板 - 宝塔面板论坛 换言之: 下载 宝塔终端 使用ssh连接远程服务器 输入命令行安装 curl -sSO http://download.bt.cn/install/install_panel.sh && bash install_panel.sh 安…

在 Python 中将 Unicode 转换为 ASCII

通过本文,我们将学习如何将 Unicode 编码为字节,了解系统编码的不同方法以及在 Python 中将 Unicode 转换为 ASCII。 在 Python 中将 Unicode 转换为 ASCII Python 3 字符串的基本问题是由字符组成的; Python 中没有字符类型,但它…

数据清洗与规范化详解

数据处理流程,也称数据处理管道,是将原始数据转化为有意义的信息和知识的一系列操作步骤。它包括数据采集、清洗、转换、分析和可视化等环节,旨在提供有用的见解和决策支持。在数据可视化中数据处理是可视化展示前非常重要的一步,…

搭建SNMP服务器

要搭建SNMP服务器,您可以按照以下步骤进行操作: 选择合适的操作系统:您可以选择在Windows、Linux或其他操作系统上搭建SNMP服务器。不同的操作系统有不同的安装和配置方法。 安装SNMP软件:根据您选择的操作系统,安装相…

AIGC扫盲和应用场景探究

什么是AIGC? AIGC(Artificial Intelligence Generated Content)是指利用人工智能技术生成内容的能力。火爆的虚拟数字人,就是AIGC的典型代表,它可以通过学习大量数据和知识,生成与人类创作相似甚至超越人类…

UG\NX二次开发 同时设置多个对象的高亮状态 UF_DISP_set_highlights

文章作者:里海 来源网站:王牌飞行员_里海_里海NX二次开发3000例,里海BlockUI专栏,C\C++-CSDN博客 感谢粉丝订阅 感谢 captainliubang 订阅本专栏,非常感谢。 简介 UG\NX二次开发 同时设置多个对象的高亮状态 UF_DISP_set_highlights 效果 代码(在for循环中逐个设置多个对象…

数据结构零基础C语言版 严蔚敏-线性表、顺序表

二、顺序表和链表 1. 线性表 线性表(linear list)是n个具有相同特性的数据元素的有限序列。线性表是一种在实际中广泛使用的数据结构,常见的线性表:顺序表、链表、栈、队列、字符串...... 线性表在逻辑上是线性结构,…

【MySQL索引与优化篇】索引的数据结构

文章目录 1. 概述2. 常见索引结构2.1 聚簇索引2.2 二级索引(辅助索引、非聚簇索引)2.3 联合索引 3. InnoDB的B树索引的注意事项3.1 根页面位置万年不动3.2 内节点中目录项记录的唯一性 4. MyISAM中的索引方案5. InnoDB和MyISAM对比6. 小结7. 补充:MySQL数据结构的合…

有六家机器视觉公司今年11月份初放假到明年春节后,除夕不放假看住企业不跑路,不倒闭,明年大家日子会越来越甜

不幸的消息一个接着一个,请大家注意下面的消息 我已经收到已经有6家机器视觉公司今年11月份初放假到明年春节后,他们真的没有订单了,其中4家宣布员工可以自行寻找工作,今年除夕不放假是经济下行经济考量吗?看住企业不…

分布式:一文搞定Redis/Zookeeper/MySQL实现分布式锁

目录 一、项目准备spring项目数据库 二、传统锁演示超卖现象使用JVM锁解决超卖解决方案JVM失效场景 使用一个SQL解决超卖使用mysql悲观锁解决超卖使用mysql乐观锁解决超卖四种锁比较Redis乐观锁集成Redis超卖现象redis乐观锁解决超卖 三、分布式锁概述四、Redis分布式锁实现方案…

全连接层是什么,有什么作用?

大家好啊,我是董董灿。 如果你是搞AI算法的同学,相信你在很多地方都见过全连接层。 无论是处理图片的卷积神经网络(CNN),还是处理文本的自然语言处理(NLP)网络,在网络的结尾做分类…

机器学习之ROC与AUC

文章目录 定义ROC曲线:AUC(Area Under the ROC Curve): 定义 ROC(Receiver Operating Characteristic)曲线和AUC(Area Under the ROC Curve)是用于评估二分类模型性能的重要工具。 …

Macos文件图像比较工具:Kaleidoscope for Mac

Kaleidoscope是一款文件图像比较工具,它可以方便地比较两个文本或者图片文件的差异。这个工具可以在Mac系统上使用,并且支持多种文件格式,包括文本文件、图片文件、PDF文件等等。 Kaleidoscope有一个直观的用户界面,可以让用户轻…

Postman的高级使用,傻瓜式学习【上】

目录 前言 1、小白使用Postman是不是这样的? 2、管理测试用例 2.1、创建用例集collections 3、用例集的导出导入 4、再次认识Postman ​编辑 5、Authrization授权 6、Pre-request Script 前置脚本 7、Tests 断言 Postman中常用的断言: 1&…

电源控制系统架构(PCSA)背景和简介

安全之安全(security)博客目录导读 目录 一、PCSA背景 二、PCSA简介 三、PCSA范围和限制 电源控制系统架构规范描述了一种基于Arm组件的SoC电源控制系统架构的方法。它定义了电源控制系统架构(PCSA)的V2.1版本。 由于Arm组件自1.0版本以来的发展,该版本包含了重…

WAS如何设置日志大小和数量

WAS如何设置日志大小和数量 注意: 本经验使用的版本为WebSphere Application Server 7.0.0.25 在IE中输入控制台地址,然后点击【继续浏览此网站(不推荐)】选项 ​​​ 输入控制台的用户名和密码,点击【登陆】&#x…

Linux文件系统、文件I/O和动静态库

文章目录 一、Linux文件系统1.存储设备文件系统2.伪文件系统a).procfs文件系统b).sysfs文件系统 3.虚拟文件系统4.文件系统的结构5.软硬链接 二、文件I/O1.I/O分类a).缓冲与非缓冲 I/Ob).直接与非直接 I/Oc).阻塞与非阻塞 I/O VS 同步与异步 I/O 2.Linux中I/O系统调用函数a).op…

ZKP6.3 Discrete-log-based Polynomial Commitments (Bulletproofs)

ZKP学习笔记 ZK-Learning MOOC课程笔记 Lecture 6: Discrete-log-based Polynomial Commitments (Yupeng Zhang) 6.3 Bulletproofs and other schemes based on discrete-log KZG: Pros: Commitment and proof size: O(1), 1 group elementVerifier time: O(1) pairing Cons…

【Docker从入门到入土 6】Consul详解+Docker https安全认证(附证书申请方式)

Part 6 一、服务注册与发现的概念1.1 cmp问题1.2 服务注册与发现 二、Consul ----- 服务自动发现和注册2.1 简介2.2 为什么要用consul?2.3 consul的架构2.3 Consul-template 三、consul架构部署3.1 Consul服务器Step1 建立 Consul 服务Step2 查看集群信息Step3 通过…