基于模型的系统工程的M金宝appATLAB和Simulink

设计,分析和测试系统和软件架构。

工程师使用基于模型的系统工程(MBSE)来管理系统复杂性,改善通信和生产优化系统。成功的MBSE需要将利益相关者要求合成到架构模型中以创建直观的系统描述。

MATLAB,S金宝appIMULINK和系统编写器一起创建一个用于创建描述性架构模型的单一环境,可在详细的实施模型中无缝桥接。连接的环境确保跨架构和设计世界的项目保持同步。系统工程师可以建立数字线程,以在系统要求,架构模型,实现模型和嵌入式软件之间导航。

用MATLAB, Simu金宝applink,和系统作曲家你可以:

  • 捕获和管理系统要求实现影响和覆盖分析
  • 通过捕获架构元数据并直接连接到Matlab Analytics进行域特定贸易研究来优化系统架构
  • 创建简化的自定义模型视图,以隔离对不同工程问题的感兴趣的组件
  • 使用基于模拟的测试验证要求和验证系统架构
  • 使用Simulink中的基于模型的设计,将需求转化为架构,并使用准备好的组件进行模拟和实现金宝app

“Modeling with Simulink is instrumental to our team’s ARP 4754 work, specifically validating system-level requirements, developing requirements-based tests, and defining low-level software requirements that our supplier uses to produce DO-178 Level A flight code using Simulink and Embedded Coder.”

巴西航空工业公司的罗德里戈·丰特斯·索托(Rodrigo Fontes Souto)

开发架构模型和管理系统要求

使用System Composer使用组件、端口和连接器建模方法直观地勾勒出体系结构的分层系统。在符合您当时需要的抽象级别上工作,并在获得细节时添加细节。要正式定义组件之间交换的信息,您可以创建接口来验证交换的数据具有兼容的属性,如数据类型、维度或单元。

可以通过使用MATLAB API导入外部存储库和文件来重复使用现有设计伪影和接口控制文档(ICD)信息。您还可以从现有的Simulink系统模型中提取架构模型。金宝app

在开发架构模型时,可以直接捕获,查看和管理系统要求金宝app仿真软件的需求。系统要求可以链接到不同的架构元素,以建立数字线程以进行需求可追溯性并执行需求覆盖分析。链接要求维护修订历史,使您能够对下游团队进行影响分析并对重要更改进行传达。

将系统要求连接到架构模型,以建立需求可追溯性并执行需求覆盖分析或影响分析。


创建自定义视图以管理架构复杂性并与各种利益相关者进行通信。

使用视图进行贸易研究并分析架构

您可以使用原型来使用特定于领域的设计数据(如大小、权重、功率或成本)来扩展架构模型。相关的原型可以被分组到配置文件中,这些配置文件可以应用于整个体系结构或在其他体系结构中重用。为了管理体系结构的复杂性,您可以创建自定义视图来隔离不同涉众感兴趣的组件,或者促进特定的分析活动。

使用MATLAB,您可以直接对您的架构进行分析和贸易研究。例子包括:

  • 自下而上或自上而下的分配(尺寸、重量、功率、成本等)
  • 网络或流程分析(端到端延迟,最短路径,材料流等)
  • 自定义分析
  • 贸易研究(确定最可接受的解决方案)

在Simulink中连接到基于模型的设计金宝app

直接链接架构组件到Simulink模型以定义使用金宝app基于模型的设计,这是在您的开发过程中系统使用模型。在自上而下的工作流程之后,可以从架构组件自动生成Simulin金宝appk模型。相反,您可以直接从Simulink组件模型创建体系结构组件。金宝app使用Simulink行为模型连接架构模型可确保您的架构和实现模型保金宝app持同步,并允许您模拟系统行为。


执行系统验证以调试设计并识别不一致的要求。

系统验证

通过仿真,您可以探索体系结构,原型组件和创建组件规范,同时在开发过程中早期理解和精炼系统行为。为了为大型和复杂的系统进行规范,您可以使用测试套件自动验证以验证在基于模型的系统工程过程中的要求和迭代验证系统行为。

您可以指定系统级测试以检查可以由下游实施团队使用的需求的一致性和正确性。您可以将具有复杂的时序依赖性信号逻辑的要求转换为具有清晰,定义的语义的评估,可用于调试设计并确定不一致的要求。