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

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

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

公开(公告)号：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: 设备可以接收通过技术计算环境产生的图表，其中图表包括文本部分和图形部分，并且图形部分包括状态信息。 设备可以将图表解析成文本部分和图形部分，并且可以用技术计算环境的文本引擎处理文本部分以生成文本结果。 设备可以使用技术计算环境的图形引擎处理图形部分以生成图形结果，并且可以将文本结果与图形结果组合以生成图表结果。 设备可以输出或存储图表结果。

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