The Mathworks, Inc.

Krishna Balasubramanian

John P Dirner

Vijaya Raghavan

S M Shahed Nejhum

Yit Phang Khoo

Mahesh Nanjundappa

Pieter Johannes Mosterman

Ebrahim Mehran Mestchian

Mojdeh Shakeri

Srinath Avadhanula

Kalyan Bemalkhedkar

Gregg P Smith

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.

Observer for simulation test and verification

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.

Systems and methods for creating harness models for model verification

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.

Resolution of textual code in a graphical hierarchical model of a technical computing environment

In an embodiment, a computer readable medium that stores computer executable instructions is provided. The computer readable medium includes instructions for displaying a graphical model representing a modeled system, the graphical model having a first element and a second element. The computer readable medium includes instructions for identifying, in response to a request to connect at least one of the first element and the second element with a signal, a routing path within the graphical model. The routing path can be mapped through at least one subsystem of the modeled system and configured to logically connect the first element with the second element. The computer readable medium includes instructions for logically connecting, in the graphical model, the first element and the second element via the routing path.

Systems and methods for graphical model environment routing

A computer system for processing composite data is provided. The system includes means for processing a computing operation that is designed to receive a non-composite data type as at least one input. The composite data is provided to the computing operation as the at least one input. The system further includes an expansion marker that indicates each element in a first composite data needs to be processed separately and an expansion mechanism that uses the computing operation to process each element in the first composite data individually. The system also includes storage for storing a result of processing each element of the first composite data individually with the computing operation.

Growing community of inventors

Wellesley, MA, United States of America

Krishna Balasubramanian