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