基于模型的系统工程

基于模型的系统工程的M万博1manbetxATLAB和Simulink

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

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

马铃薯®,S万博1manbetximulink.®,以及系统编写器™ 共同创建一个用于创建描述性体系结构模型的环境,该模型无缝地连接到详细的实现模型中。连接的环境确保整个体系结构和设计世界中的项目保持同步。系统工程师可以建立一个数字线程,在系统需求、体系结构模型、实现模型和嵌入式软件之间导航。

使用MATLAB、Simu万博1manbetxlink和系统的作曲家, 你可以:

  • 捕获和管理系统要求实现影响和覆盖分析
  • 通过捕获架构元数据和直接连接到MATLAB分析来优化系统架构,用于特定领域的贸易研究
  • 创建简化的定制模型视图,以隔离不同工程关注点感兴趣的组件
  • 使用基于仿真的测试验证需求并验证系统架构
  • 使用Simulink中基于模型的设计,将需求转化为架构,并将其细化为组件,以便进行仿真和实现万博1manbetx

“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.”

巴西航空工业公司罗德里戈·丰特斯·苏托

开发体系结构模型和管理系统需求

使用系统作曲家直观地使用组件,端口和连接器建模方法直观地绘制架构的分层系统。在您当时满足您的需求的抽象水平,并在您获取时添加详细信息。要正式定义组件之间交换的信息,可以创建接口以验证正在交换的数据是否具有兼容数据类型,尺寸或单位的数据。

通过使用MATLAB API导入外部存储库和文件,可以重用现有的设计工件和接口控制文档(ICD)信息。您还可以从现有的Simulink系统模型中提取体系结构模型。万博1manbetx

在开发架构模型时,可以直接捕获,查看和管理系统要求万博1manbetx仿真软件需求™.系统需求可以连接到不同的架构元素,以建立需求可追溯性的数字线程,并执行需求覆盖分析。关联需求维护修订历史,使您能够执行影响分析并与下游团队沟通重要的变更。

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


创建自定义视图来管理架构的复杂性并与不同的涉众进行沟通。

使用视图执行贸易研究和分析体系结构

您可以使用刻板印象来扩展您的架构模型,使用域特定的设计数据,如尺寸,重量,功率或成本。相关的刻板印象可以分组成可以在整个架构中应用的配置文件或在其他架构中重复使用。为了管理架构复杂性,您可以创建自定义视图,以隔离各种利益相关者的兴趣组件或促进特定的分析活动。

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

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

在Simulink中连接基于模型的设计万博1manbetx

直接链接架构组件到Simulink模型以定义使用万博1manbetx基于模型的设计,即在整个开发过程中系统地使用模型。按照自顶向下的工作流,可以从架构组件自动生成Simulink模万博1manbetx型。相反,您可以直接从Simulink组件模型创建体系结构组件。万博1manbetx将体系结构模型与Simulink行为模型连接起来,可以确保体系结构万博1manbetx模型和实现模型保持同步,并允许您模拟系统行为。


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

系统验证

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

您可以指定系统级别的测试,以检查可由下游实现团队使用的需求的一致性和正确性。您可以将具有复杂的、依赖于时间的信号逻辑的需求转换为具有明确定义的语义的评估,这些语义可用于调试设计和识别不一致的需求。