公开(公告)号：US10318653B1

公开(公告)日：2019-06-11

申请号：US14632722

申请日：2015-02-26

Applicant: The MathWorks, Inc.

Inventor： Yit Phang Khoo ,  John P. Dirner ,  S. M. Shahed Nejhum ,  Gregg P. Smith ,  Vijaya Raghavan ,  Kalyan Bemalkhedkar ,  Krishna Balasubramanian

IPC: G06F17/50

Abstract: Systems and methods automatically construct a harness model having a selected component from source model. The systems and methods determine an execution context of the component in the source model, and construct and configure the harness model to provide the same or an equivalent execution context in the harness model. Model elements may be added to the harness model, and the model elements may be configured to replicate the execution context. The harness model may be executed, and the operation of the component evaluated. Changes to the component are synchronized between the source model and the harness model, as are changes to the component's execution context. Assessment operations may be included in the harness model, and these assessment operations may be evaluated when the harness model is executed. A verification report that includes the results of the assessments may be generated.

公开(公告)号：US10185793B2

公开(公告)日：2019-01-22

申请号：US15061556

申请日：2016-03-04

Applicant: The MathWorks, Inc.

Inventor： David B. Andrade ,  Srinath Avadhanula ,  Yit Phang Khoo

IPC: G06F17/50 ,  G06F9/448 ,  G06F8/34

Abstract: A model of a state machine may be created in a modeling environment, and the model may be executed over a simulation time. A duration operator may be defined within the model. The duration operator may include as an input argument, a conditional expression that may evaluate to True or False. During execution, the modeling environment may define a plurality of time steps over the course of the model's simulation time. The conditional expression of the duration operator may be evaluated at the time steps. When the conditional expression evaluates to True, the modeling environment may begin tracking elapsed simulation time, and may continue to track elapsed simulation time while the conditional expression remains True. The value of elapsed simulation time may be made available to other portions of the model.

公开(公告)号：US11314225B2

公开(公告)日：2022-04-26

申请号：US16707941

申请日：2019-12-09

Applicant: The MathWorks, Inc.

Inventor： Yit Phang Khoo ,  Jean-François Kempf ,  Kalyan Bemalkhedkar ,  Mahesh Nanjundappa

IPC: G06F11/36 ,  G05B19/4069

Abstract: Systems and methods evaluate assessments on time-series data. An expression including temporal operators may be created for an assessment. The expression may be arranged in the form of an expression tree having nodes representing input data to the assessment and intermediate results of the expression. An assessment may be evaluated by performing a bottom-up traversal of the expression tree. One or more plots may be generated including a plot of the outcome of the assessment, e.g., pass, fail, or untested, plots of intermediate results of the expression and plots of input data as a function of time. Graphical affordance may be presented on the plots that mark the regions that may have contributed to a specific pass or fail result of the assessment, and points within the regions that resulted in the assessment passing or failing.

公开(公告)号：US20160259874A1

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

申请号：US15061556

申请日：2016-03-04

Applicant: The MathWorks, Inc.

Inventor： David B. Andrade ,  Srinath Avadhanula ,  Yit Phang Khoo

IPC: G06F17/50

CPC classification number: G06F17/5022 ,  G06F8/34 ,  G06F9/4498 ,  G06F17/5009 ,  G06F17/5036

Abstract: A model of a state machine may be created in a modeling environment, and the model may be executed over a simulation time. A duration operator may be defined within the model. The duration operator may include as an input argument, a conditional expression that may evaluate to True or False. During execution, the modeling environment may define a plurality of time steps over the course of the model's simulation time. The conditional expression of the duration operator may be evaluated at the time steps. When the conditional expression evaluates to True, the modeling environment may begin tracking elapsed simulation time, and may continue to track elapsed simulation time while the conditional expression remains True. The value of elapsed simulation time may be made available to other portions of the model.

Abstract translation: 可以在建模环境中创建状态机的模型，并且可以在模拟时间上执行模型。 持续时间运算符可以在模型内定义。 持续时间运算符可以包括输入参数，可以评估为True或False的条件表达式。 在执行期间，建模环境可以在模型的模拟时间的过程中定义多个时间步长。 可以在时间步长评估持续时间算子的条件表达式。 当条件表达式计算结果为True时，建模环境可能会开始跟踪经过的模拟时间，并且可能会在条件表达式保持为True时跟踪经过的模拟时间。 经过的模拟时间的值可以用于模型的其他部分。

公开(公告)号：US09411559B2

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

申请号：US14285980

申请日：2014-05-23

Applicant: The MathWorks, Inc.

Inventor： Srinath Avadhanula ,  Pieter J. Mosterman ,  Yit Phang Khoo ,  John P. Dirner ,  Krishna Balasubramanian ,  Ebrahim Mestchian

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/35 ,  G06F8/10 ,  G06F8/34 ,  G06F8/51 ,  G06F9/4484 ,  G06F9/4498

Abstract: A device may receive a chart generated via a technical computing environment, where the chart includes a textual portion and a graphical portion, and the graphical portion includes state information. The device may parse the chart into the textual portion and the graphical portion, and may process the textual portion with a textual engine of the technical computing environment to generate textual results. The device may process the graphical portion with a graphical engine of the technical computing environment to generate graphical results, and may combine the textual results with the graphical results to generate chart results. The device may output or store the chart results.

Abstract translation: 设备可以接收通过技术计算环境产生的图表，其中图表包括文本部分和图形部分，并且图形部分包括状态信息。 设备可以将图表解析成文本部分和图形部分，并且可以用技术计算环境的文本引擎处理文本部分以生成文本结果。 设备可以使用技术计算环境的图形引擎处理图形部分以生成图形结果，并且可以将文本结果与图形结果组合以生成图表结果。 设备可以输出或存储图表结果。