公开(公告)号：US20140358506A1

公开(公告)日：2014-12-04

申请号：US14461826

申请日：2014-08-18

Applicant: The MathWorks, Inc.

Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC: G06F17/50

Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

Abstract translation: 系统和方法为源模型生成上下文信息。 可以接收在源模型中的感兴趣的一个或多个第一模型元素的识别。 也可以接收对所选择的模型元素的输入的一个或多个约束。 可以指定关于第一模型元件的输出的分析范围。 可以为一个或多个第一模型元素自动导出上下文信息。 上下文信息可以包括在分析范围内包含的一个或多个模型元素，信号或状态，而源模型的执行受到一个或多个约束的限制。 导出的上下文信息可以被提供给输出设备。

公开(公告)号：US10657029B2

公开(公告)日：2020-05-19

申请号：US14461906

申请日：2014-08-18

Applicant: The MathWorks, Inc.

Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC: G06F8/10 ,  G06F8/34 ,  G06F11/36

Abstract: A system and method generates a contextual model for a source model. The system and method receives a designation of a component of interest in the source model. The system and method analyzes the source model and identifies those model elements within the source model that have an interaction behavior with the component of interest. The system and method includes the component of interest and the model elements having the interaction behavior with the component of interest in the contextual model. The system and method connects the model elements to the component of interest in the context model in a similar manner as in the source model. The context model may be run or evaluated.

公开(公告)号：US10719645B1

公开(公告)日：2020-07-21

申请号：US14958726

申请日：2015-12-03

Applicant: The MathWorks, Inc.

Inventor： Fu Zhang ,  Zhi Han ,  Pieter J. Mosterman ,  William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan ,  Richard Hyde

IPC: G06F17/50 ,  G06F11/36 ,  G06F30/3323 ,  G06F8/10

Abstract: A computer-based model having executable semantics may be used to simulate the behavior of a system. A substructure of interest is sliced from the model and analyzed to determine a transformation of the slice while preserving some context of the model. The transformed slice may be further manipulated outside of the model, integrated back into the model in place of the original slice, or used in other ways.

公开(公告)号：US10691578B2

公开(公告)日：2020-06-23

申请号：US14461826

申请日：2014-08-18

Applicant: The MathWorks, Inc.

Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC: G06F8/10 ,  G06F11/36 ,  G06F8/34

Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

公开(公告)号：US20140358507A1

公开(公告)日：2014-12-04

申请号：US14461906

申请日：2014-08-18

Applicant: The MathWorks, Inc.

Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC: G06F17/50

CPC classification number: G06F11/3664 ,  G06F8/10 ,  G06F8/34 ,  G06F11/3608

Abstract: A system and method generates a contextual model for a source model. The system and method receives a designation of a component of interest in the source model. The system and method analyzes the source model and identifies those model elements within the source model that have an interaction behavior with the component of interest. The system and method includes the component of interest and the model elements having the interaction behavior with the component of interest in the contextual model. The system and method connects the model elements to the component of interest in the context model in a similar manner as in the source model. The context model may be run or evaluated.

Abstract translation: 系统和方法为源模型生成上下文模型。 系统和方法在源模型中接收感兴趣的组件的指定。 系统和方法分析源模型，并识别源模型中与感兴趣组件具有交互行为的模型元素。 系统和方法包括感兴趣的组件，并且模型元素具有与上下文模型中感兴趣的组件的交互行为。 系统和方法以类似于源模型的方式将模型元素连接到上下文模型中感兴趣的组件。 可以运行或评估上下文模型。