VIP16
本课程属于：026-MBSE模型驱动系统工程 工业软件_CAE与数字工程 · 共 16 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

MBSE系统验证与确认工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
MBSE验证与确认工程导论
目标=MBSE范式下V&V的定位 · 核心概念 · 与系统工程生命周期的关系
MBSE验证
02
系统验证与确认基础
目标=验证与确认的定义 · 区别与联系 · V&V在MBSE中的目标
系统验证确认基础
03
MBSE建模语言与V&V
目标=SysML图（需求图 · 块定义图 · 内部块图
MBSE建模语言
04
需求建模与可验证性分析
目标=基于模型的需求捕获 · 需求形式化 · 需求可验证性准则
需求建模可验证性分析
05
验证与确认计划制定
目标=基于模型的V&V计划编制方法 · 验证策略选择 · 确认准则定义
验证确认计划制定
06
验证方法与技术概览
目标=检查 · 分析 · 演示
验证方法技术概览
07
确认方法与技术概览
目标=确认方法（如原型评估 · 仿真确认 · 运行测试）在MBSE中的实施要点
确认方法技术概览
08
基于模型的仿真验证
目标=利用SysML参数图 · Modelica · Simulink等工具进行系统行为与…
基于模型的仿真验…SysML
09
形式化验证方法
目标=模型检验 · 定理证明 · 等价性检查等形式化技术在MBSE模型…
形式化验证方法目标=模型检验
10
测试用例生成与模型驱动测试
目标=基于SysML模型自动生成测试… · 测试序列与测试脚本的方法 · 工具与实战
测试用例生成模型驱动测试
11
硬件在环与软件在环验证
目标=HIL/SIL验证在MBSE中… · 接口建模 · 实时性考虑与典型工程案例
硬件软件
12
系统确认中的建模与仿真
目标=利用高保真模型进行系统确认 · 作战效能评估 · 用户需求符合性验证的流程与案例
系统确认建模
13
V&V中的追溯性管理
目标=基于模型的需求-设计-测试追溯… · 追溯矩阵自动化 · 变更影响分析与追溯性验证
V&V追溯性管理
14
验证与确认证据管理
目标=证据的生成 · 组织 · 存储
验证确认证据管理
15
V&V工具链与集成
目标=主流MBSE工具（如Rhaps… · MagicDraw · Capella）与V&V工具（如测试…
V&V工具链集成
16
基于模型的故障模式与影响分析
目标=将FMEA/FTA与MBSE模… · 进行安全性验证与确认的建模与分析方法
基于模型的故障模…影响分析
17
可靠性验证与确认建模
目标=基于模型的可靠性建模 · 可靠性仿真 · 可靠性验证试验设计与评估
可靠性验证确认建模
18
安全性验证与确认建模
目标=基于模型的安全需求验证 · 安全案例构建 · 安全确认活动与适航/军标符合性
安全性验证确认建模
19
人机交互与人为因素验证
目标=基于模型的人机界面建模 · 人为因素确认 · 可用性测试与评估方法
人机交互人为因素验证
20
软件密集型系统V&V
目标=针对软件密集型系统的MBSE… · 持续集成/持续验证 · DevOps环境下的模型验证
软件密集型系统V…MBSE
21
复杂系统体系级V&V
目标=体系（SoS）背景下MBSE… · 分布式验证 · 互操作性确认与体系级评估方法
复杂系统体系级V…SoS
22
敏捷与迭代开发中的V&V
目标=在敏捷/迭代生命周期中融入基于… · 持续验证与快速确认实践
敏捷迭代开发
23
V&V度量与评估
目标=定义V&V过程与产品的度量指标… · 缺陷密度 · 验证充分性）
V&V度量评估
24
V&V风险管理
目标=识别 · 评估与缓解V&V过程中的风险 · 基于模型的风险建模与风险驱动验证策略
V&V风险管理目标=识别
25
V&V团队组织与能力建设
目标=角色与职责 · 技能矩阵 · 培训体系
V&V团队组织能力建设
26
V&V过程改进与成熟度模型
目标=基于CMMI · ISO 33020等模型的V&V过程… · MBSE V&V成熟度框架
V&V过程改进成熟度模型
27
案例研究一
目标=航空航天系统MBSE V&V · 工具链 · 挑战与经验
案例研究一MBSE
28
案例研究二
目标=汽车电子系统MBSE V&V · 包括功能安全（ISO 26262）与…
案例研究二MBSE
29
案例研究三
目标=国防装备系统MBSE V&V · 标准符合性 · 试验鉴定与确认
案例研究三MBSE
30
MBSE V&V前沿与展望
目标=数字孪生 · 人工智能辅助验证 · 云原生V&V
MBSEV&V前沿