公开(公告)号：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.

公开(公告)号：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.