公开(公告)号：US20200050533A1

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

申请号：US16128099

申请日：2018-09-11

Applicant: The MathWorks, Inc.

Inventor： Mahesh Nanjundappa ,  S.M. Shahed Nejhum ,  Vijaya Raghavan ,  Krishna Balasubramanian ,  John P. Dirner

IPC: G06F11/36

Abstract: Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.

公开(公告)号：US10922208B2

公开(公告)日：2021-02-16

申请号：US16426624

申请日：2019-05-30

Applicant: The MathWorks, Inc.

Inventor： Mahesh Nanjundappa ,  S. M. Shahed Nejhum ,  Vijaya Raghavan ,  Krishna Balasubramanian ,  John P. Dirner

IPC: G06F11/36 ,  G06F11/34 ,  G06F9/455 ,  G06F11/26

Abstract: Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.

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

公开(公告)号：US10684936B2

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

申请号：US16128099

申请日：2018-09-11

Applicant: The MathWorks, Inc.

Inventor： Mahesh Nanjundappa ,  S. M. Shahed Nejhum ,  Vijaya Raghavan ,  Krishna Balasubramanian ,  John P. Dirner

IPC: G06F11/36 ,  G06F9/455 ,  G06F11/34 ,  G06F11/26

Abstract: Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.