公开(公告)号：US08924925B2

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

申请号：US14222028

申请日：2014-03-21

Applicant: The MathWorks, Inc.

Inventor： Matthew J. Englehart

IPC: G06F9/44 ,  G06F9/45 ,  G06F9/455 ,  G05B13/02

CPC classification number: G06F8/34 ,  G06F8/10

Abstract: A mechanism in a block diagram environment allows the modeling of an execution behavior of a block in a block diagram, where a user selects the execution behavior from a plurality of functions related to the block diagram and where the execution behavior of the block is performed when at least one model variable associated with the block satisfies a user-specified condition is disclosed. States and other internal data in the designated block are initialized upon the satisfaction of the user-specified condition. The illustrative embodiment of the present invention also allows the internal data to be reset upon the ending of the event, such as the modeled introduction or withdrawal of power. The execution behavior may be suspended and resumed multiple times during the simulation in response to multiple occurrences of the specified event. The present invention also allows for selected data to be exempt from the reset process so that the selected data is non-volatile.

Abstract translation: 框图环境中的机制允许对框图中的块的执行行为进行建模，其中用户从与框图相关的多个功能中选择执行行为，以及执行块的执行行为， 公开了与块相关联的至少一个模型变量满足用户指定的条件。 指定块中的状态和其他内部数据在满足用户指定条件时初始化。 本发明的说明性实施例还允许在事件结束时重置内部数据，例如建模的引入或撤销电力。 响应于指定事件的多次发生，可以在模拟期间暂停执行行为并恢复多次。 本发明还允许选择的数据免于重置过程，使得所选择的数据是非易失性的。

公开(公告)号：US20160012162A1

公开(公告)日：2016-01-14

申请号：US14444412

申请日：2014-07-28

Applicant: The MathWorks, Inc.

Inventor： Peter S. Szpak ,  Matthew J. Englehart

IPC: G06F17/50

CPC classification number: G06F17/5009 ,  G06F8/31 ,  G06F9/542 ,  G06F2209/543 ,  G06F2217/74

Abstract: A method of specifying and configuring a causal relationship between the dynamics of a graphical model and the execution of components of the model is disclosed. Model component execution is tied to the occurrence of model events. Model events are first defined in the modeling environment. The occurrence of conditions in the model specified in the definition of the event causes the event to be “posted”. Model components that have been associated with the occurrence of the event “receive” the notice of the posting of the event and then execute. Random components within a subsystem may be designated to execute upon the occurrence of an event, as may non-contiguous components within a model. The association between model events and component execution may be specified without drawing graphical indicators connecting components in the view of the model.

Abstract translation: 公开了一种指定和配置图形模型的动力学和模型的部件的执行之间的因果关系的方法。 模型组件执行与模型事件的发生有关。 模型事件首先在建模环境中定义。 在事件定义中指定的模型中的条件的发生导致事件“发布”。 与事件发生相关联的模型组件“接收”事件发布的通知，然后执行。 可以指定子系统内的随机组件在事件发生时执行，如模型中的不连续组件。 可以指定模型事件和组件执行之间的关联，而无需绘制在模型视图中连接组件的图形指示器。

公开(公告)号：US09311436B2

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

申请号：US14713527

申请日：2015-05-15

Applicant: The MathWorks, Inc.

Inventor： Matthew J. Englehart ,  Srinath Avadhanula ,  Aravind Pillarisetti ,  Nirmal K. Gunaseelan ,  Peter S. Szpak ,  Hidayet T. Simsek

IPC: G06F17/50 ,  G06F17/15 ,  G06F9/44 ,  G06F9/54

CPC classification number: G06F17/5009 ,  G06F8/34 ,  G06F8/35 ,  G06F9/541 ,  G06F17/15

Abstract: A device may receive function information that describes a caller element that calls a called element that is separate from the caller element. The function information may identify a name or reference of the called element, a passed input, and a passed output. The passed input may be provided by the caller element to the called element, and the passed output may be received by the caller element from the called element. The caller element may be associated with a caller model, and the called element may be associated with a called model. The device may identify the called element, and may execute the caller element in a simulation environment. Execution of the caller element may cause execution of the called element without causing execution of an entirety of the called model. The device may receive the passed output from the called element based on executing the called element.

Abstract translation: 设备可以接收描述调用与呼叫者元件分离的被叫元素的呼叫者元素的功能信息。 功能信息可以标识被叫元素的名称或引用，传递的输入和传递的输出。 传递的输入可以由调用者元素提供给被调用元素，并且传递的输出可以被调用者元素从被调用元件接收。 呼叫者元素可以与呼叫者模型相关联，被叫元素可以与被叫模型相关联。 设备可以识别被叫元素，并且可以在模拟环境中执行呼叫者元素。 调用者元素的执行可能导致被调用元素的执行，而不会导致被调用的模型的整体的执行。 该设备可以基于执行被调用元件从被调用元件接收传递的输出。

公开(公告)号：US09128783B1

公开(公告)日：2015-09-08

申请号：US14564460

申请日：2014-12-09

Applicant: The MathWorks, Inc.

Inventor： Arwen M. Warlock ,  Biao Yu ,  Matthew J. Englehart ,  Peter S. Szpak ,  Murali K. Yeddanapudi ,  Yuan Cao

IPC: G06F13/00 ,  G06F9/54

CPC classification number: G06F9/542 ,  G06F2209/545

Abstract: A device may receive a model including a group of blocks, and may receive a command to execute the model. The device may assign a parameter sample time to a subset of blocks of the group of blocks. The parameter sample time may permit a block, of the subset of blocks, to be executed based on a parameter change event detected during the execution of the model. The device may cause the model to be executed after assigning the parameter sample time to the subset of blocks. The device may detect a parameter change event, associated with the model, prior to the execution of the model being completed. The parameter change event may include an event that is external to the execution of the model. The device may cause at least one block, of the subset of blocks, to be executed based on the detecting the parameter change event.

Abstract translation: 设备可以接收包括一组块的模型，并且可以接收执行模型的命令。 设备可以将参数采样时间分配给该组块的块的子集。 参数采样时间可以允许基于在模型执行期间检测到的参数改变事件来执行块的子集的块。 该设备可能会在将参数采样时间分配给块子集之后执行模型。 在完成模型的执行之前，设备可以检测与模型相关联的参数改变事件。 参数更改事件可能包括在模型执行之外的事件。 该装置可以基于检测参数改变事件而使块的子集中的至少一个块被执行。

公开(公告)号：US09304838B1

公开(公告)日：2016-04-05

申请号：US14833978

申请日：2015-08-24

Applicant: The MathWorks, Inc.

Inventor： Arwen M. Warlock ,  Biao Yu ,  Matthew J. Englehart ,  Peter S. Szpak ,  Murali K. Yeddanapudi ,  Yuan Cao

IPC: G06F13/00 ,  G06F9/54

CPC classification number: G06F9/542 ,  G06F2209/545

Abstract: A device may receive a model including a group of blocks, and may receive a command to execute the model. The device may assign a parameter sample time to a subset of blocks of the group of blocks. The parameter sample time may permit a block, of the subset of blocks, to be executed based on a parameter change event detected during the execution of the model. The device may cause the model to be executed after assigning the parameter sample time to the subset of blocks. The device may detect a parameter change event, associated with the model, prior to the execution of the model being completed. The parameter change event may include an event that is external to the execution of the model. The device may cause at least one block, of the subset of blocks, to be executed based on the detecting the parameter change event.

公开(公告)号：US09158654B1

公开(公告)日：2015-10-13

申请号：US13904749

申请日：2013-05-29

Applicant: The MathWorks, Inc.

Inventor： Joel David Thornton ,  Matthew J. Englehart ,  Jun Yan

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3608 ,  G06F8/35 ,  G06F11/3604

Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.

Abstract translation: 代码验证工具验证从模型生成的代码是否表示模型的所有功能，并且不包含任何非预期的功能。 代码验证工具可以接收用于检查模型的模型或中间表示（IR）以及生成的代码或生成的代码的中间表示。 代码验证工具可以创建模型和/或生成的代码的进一步的中间表示，以便比较两者中呈现的功能。

公开(公告)号：US10157246B2

公开(公告)日：2018-12-18

申请号：US14866151

申请日：2015-09-25

Applicant: The MathWorks, Inc.

Inventor： Peter S. Szpak ,  Matthew J. Englehart

IPC: G06F9/44 ,  G06F17/50 ,  G06F9/45 ,  G06F9/54 ,  G06F8/30

Abstract: A method of specifying and configuring a causal relationship between the dynamics of a graphical model and the execution of components of the model is disclosed. Model component execution is tied to the occurrence of model events. Model events are first defined in the modeling environment. The occurrence of conditions in the model specified in the definition of the event causes the event to be “posted”. Model components that have been associated with the occurrence of the event “receive” the notice of the posting of the event and then execute. Random components within a subsystem may be designated to execute upon the occurrence of an event, as may non-contiguous components within a model. The association between model events and component execution may be specified without drawing graphical indicators connecting components in the view of the model.

公开(公告)号：US09891894B1

公开(公告)日：2018-02-13

申请号：US13966979

申请日：2013-08-14

Applicant: The MathWorks, Inc.

Inventor： Matthew J. Englehart ,  Xiaocang Lin ,  Hidayet T. Simsek ,  Peter S. Szpak ,  Michael D. Tocci

IPC: G06F9/44

CPC classification number: G06F8/35 ,  G06F8/443 ,  G06F8/71

Abstract: A device may receive a model for code generation. The device may determine to preserve continuity with a first generated code associated with the model. The device may receive, based on determining to preserve continuity, a first generation record associated with the first generated code. The first generation record may include information associated with generation of the first code. The device may generate second code based on the model and the first generation record. The device may create a second generation record based on the second generated code. The second generation record may include information associated with generation of the second code. The device may provide the second generated code.

公开(公告)号：US09582768B1

公开(公告)日：2017-02-28

申请号：US13826812

申请日：2013-03-14

Applicant: The MathWorks, Inc.

Inventor： Matthew J. Englehart ,  Zhi Han ,  Pieter J. Mosterman

IPC: G06F17/00 ,  G06F17/20 ,  G06N99/00

CPC classification number: G06N99/005 ,  G06F9/453 ,  G06F17/50 ,  G06F2205/123

Abstract: A device may receive, from a user, a selection of one of a graphical representation of a data store included in a model or a string of text that identifies a variable associated with the model. The device may provide, based on the selection, a user interface for providing pattern information associated with the data store. The device may receive, via the user interface, the pattern information associated with the data store. The pattern information may identify one or more elements included in the model and a pattern associated with the one or more elements accessing the data store during an execution of the model. The device may analyze the model based on the pattern information and may output a result. The result may indicate whether the model accesses the data store in compliance with the pattern.

Abstract translation: 设备可以从用户接收包括在模型中的数据存储器的图形表示中的一个或者标识与模型相关联的变量的文本串的选择。 设备可以基于选择来提供用于提供与数据存储相关联的模式信息的用户界面。 设备可以经由用户界面接收与数据存储相关联的模式信息。 模式信息可以在模型的执行期间识别包括在模型中的一个或多个元素和与访问数据存储的一个或多个元素相关联的模式。 设备可以基于模式信息来分析模型并且可以输出结果。 结果可能指示模型是否符合模式访问数据存储。

公开(公告)号：US09536023B2

公开(公告)日：2017-01-03

申请号：US14713508

申请日：2015-05-15

Applicant: The MathWorks, Inc.

Inventor： Matthew J. Englehart ,  Srinath Avadhanula ,  Aravind Pillarisetti ,  Nirmal K. Gunaseelan ,  Peter S. Szpak ,  Hidayet T. Simsek

IPC: G06F7/60 ,  G06F17/50 ,  G06F17/15 ,  G06F9/44 ,  G06F9/54

CPC classification number: G06F17/5009 ,  G06F8/34 ,  G06F8/35 ,  G06F9/541 ,  G06F17/15

Abstract: A device may generate code for a caller element of a first graphical model and a called element of a second graphical model by generating a first function and a second function. The first function may represent an interface between the caller element and the called element. The first function may include a first input argument corresponding to an input variable and a first output argument corresponding to an output variable. The second function may represent an underlying function of the called element. The underlying function may include the input variable passed from the caller element and the output variable. The underlying function may further include an internal input variable and an internal output variable. The second function may include second input arguments corresponding to the input variable and the internal input variable, and may include second output arguments corresponding to the output variable and the internal output variables.

Abstract translation: 设备可以通过生成第一功能和第二功能来生成第一图形模型的调用者元素和第二图形模型的被调用元素的代码。 第一个函数可以表示调用者元素和被调用元素之间的接口。 第一功能可以包括对应于输入变量的第一输入参数和对应于输出变量的第一输出参数。 第二个函数可以表示被调用元素的基本函数。 底层函数可能包括从调用者元素传递的输入变量和输出变量。 底层功能还可以包括内部输入变量和内部输出变量。 第二功能可以包括对应于输入变量和内部输入变量的第二输入参数，并且可以包括对应于输出变量和内部输出变量的第二输出参数。