基于MBSE的民机数据加载系统建模及模型验证

目录

声明

第一章绪论

1.1.1研究背景

1.1.2研究意义

1.2.1 国外研究现状

1.2.2 国内研究现状

1.3 本文的研究目标与内容

1.3.1 研究目标

1.3.2 研究内容

1.4 本论文的结构安排

第二章基于模型的系统工程理论基础

2.1 MBSE理论概述

2.2 建模语言 SysML/UML介绍

2.2.1 建模语言 SysML介绍

2.2.2 建模语言 UML介绍

2.2.3 SysML与 UML区别与联系

2.3 主流建模方法论介绍

2.3.1 Harmony-SE方法介绍

2.3.1 RUP-SE方法介绍

2.3.3 Vitech MBSE方法介绍

2.4 建模工具 Rhapsody 介绍

2.5 本章小结

第三章民机航电系统建模机制研究

3.1 民机航电系统特点分析

3.2 民机航电系统顶层模型建立机制研究

3.2.1 顶层模型需求分析建模机制

3.2.2 顶层模型功能设计建模机制

3.2.3 顶层模型架构分解建模机制

3.3 民机航电系统组件模型建立机制研究

3.3.1 组件模型需求分析建模机制

3.3.2 组件模型任务划分建模机制

3.3.3 组件模型任务详细设计建模机制

3.4 本章小结

第四章民机航电系统模型验证机制研究

4.1 模型语法语义检测技术研究

4.2 需求覆盖率检测技术研究

4.2.1 条目化需求文档识别技术研究

4.2.2 需求覆盖率测试方案设计

4.3 模型的执行确认验证技术研究

4.3.1 OXF 框架自动生成代码技术研究

4.3.2 事件发生器推动技术研究

4.3.3 模型执行确认验证方案设计

4.4 本章小结

第五章数据加载系统建模及模型验证

5.1 DLS系统描述

5.1.1 ARINC 615A-3 协议介绍

5.1.2 DLS系统功能模块划分

5.2.1 DLS需求分析模型

5.2.2 DLS功能设计模型

5.2.3 DLS架构分解模型

5.3.1 DLS需求分析模型

5.3.2 DLS任务划分模型

5.3.3 DLS任务详细设计模型

5.4.1 DLS模型语法语义检测

5.4.2 DLS模型需求覆盖率测试

5.4.3 DLS模型的执行确认验证

5.5 本章小结

第六章总结与展望

6.1 全文总结

6.2 工作展望

致 谢

参考文献