公开(公告)号：US10705806B1

公开(公告)日：2020-07-07

申请号：US15401876

申请日：2017-01-09

Applicant: The MathWorks, Inc.

Inventor： Pieter J. Mosterman

IPC: G06F8/35 ,  G06F8/34 ,  G06F8/71

Abstract: A system is configured to receive a notification that variable information, associated with a variable, is stored in a logical workspace; obtain, in response to the notification, the logical workspace; and generate meta information associated with the variable, where the meta information includes information associated with a temporal attribute of the variable, information associated with an application that generated the variable information, information associated with a contextual attribute of the variable, or information associated with a spatial attribute of the variable. The system is also configured to associate, the meta information with the variable information, where associating the meta information with the variable information permits an operation to be performed on the meta information or on the variable information based on the meta information.

公开(公告)号：US10691578B2

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

申请号：US14461826

申请日：2014-08-18

Applicant: The MathWorks, Inc.

Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC: G06F8/10 ,  G06F11/36 ,  G06F8/34

Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

公开(公告)号：US20200183658A1

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

申请号：US16383132

申请日：2019-04-12

Applicant: The MathWorks, Inc.

Inventor： Xiaocang LIN ,  Wuwei LIANG ,  Sherman BRAGANZA ,  Wei WANG ,  Yong HUANG ,  Michael IANNICELLI

IPC: G06F8/35

Abstract: A system determines what aspects of input sources contribute to code generation and provides associations between the input sources and components of features of the generated code. These associations may be visualized by displaying visual cues of the associations. The input sources may be of different types, including but not limited to a model, a code generator and values for atomic configuration setting for code generation. The visual cue that is displayed may take the form of a visible connection between the input sources and the relative portion or portions of the generated programming code. Suggestions may be generated in response to edits to the generated programming code as to how the sources may be modified to provide desired changes in the generated programming code. Analysis may be performed to identify artifacts in the generated programming code and associations to the sources may be identified to specify what source contributed to portions of the generated programming code.

公开(公告)号：US10585648B2

公开(公告)日：2020-03-10

申请号：US15392682

申请日：2016-12-28

Applicant: The MathWorks, Inc.

Inventor： Peter S. Szpak ,  Biao Yu ,  Alongkrit Chutinan

IPC: G06F8/34 ,  G06F8/35 ,  G06F9/445 ,  G06F17/50 ,  G06F8/10

Abstract: Systems and methods may aggregate and organize implicit and explicit initialization, reset, and termination operations defined throughout the hierarchy of an executable. The systems and methods may analyze the model and identify implicit and explicit initialization, reset, and termination operations defined at various hierarchical levels. The systems and methods may aggregate the implicit and explicit initialization, reset, and termination operations into an initialize callable unit, a reset callable unit, and a termination callable unit. The systems and methods may apply optimizations to the callable units, and resolve conflicts. The systems and methods may define a single entry point for each of the initialize, reset, and termination callable units.

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

公开(公告)号：US10423518B2

公开(公告)日：2019-09-24

申请号：US15139670

申请日：2016-04-27

Applicant: The MathWorks, Inc.

Inventor： Stefan David ,  Patrick Munier ,  Alexandre De Barros ,  Bernd J. Kanamueller ,  Peter S. Szpak

IPC: G06F11/36 ,  G06F8/73 ,  G06F8/75 ,  G06F8/41 ,  G06F8/77

Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.

公开(公告)号：US10416842B1

公开(公告)日：2019-09-17

申请号：US14861021

申请日：2015-09-22

Applicant: The Mathworks, Inc.

Inventor： Andrew C. Bartlett ,  Jay R. Torgerson

IPC: G06F3/048 ,  G06F3/0482 ,  G06F17/50 ,  G06F3/0481 ,  G06F3/0484 ,  G06F3/01

Abstract: A device may identify a primary model element of a set of model elements. The device may select one or more secondary model elements of the set of model elements. The one or more secondary model elements may be associated with the primary model element. The device may consolidate the one or more secondary model elements into a representation of the one or more secondary model elements. The representation of the one or more secondary model elements may be associated with the primary model element. The device may selectively de-consolidate the representation of the one or more secondary model elements based on detecting at least one of a user interaction or a run-time event.

公开(公告)号：US10394898B1

公开(公告)日：2019-08-27

申请号：US14855247

申请日：2015-09-15

Applicant: The MathWorks, Inc.

Inventor： Andrew Matteson

IPC: G06F16/00 ,  G06F16/93 ,  G06F16/2457

Abstract: Methods and systems disclosed herein may be used to determine the structure of a dataset comprising discrete-valued data corresponding to features and items. In some embodiments, a device may receive a discrete-valued matrix with a first dimension corresponding to items and a second dimension corresponding to features. The device may calculate an engineered features set and a weights set for the matrix. The device may update the engineered features set using the weights set, and update the weights set using the updated engineered features set based on the mutual information between the matrix and one of the updated engineered features set. The device may receive a request indicating at least one of the engineered features set, identify items based on the matrix and the indicated at least one of the engineered features set, and provide a response based on the identified items.

公开(公告)号：US10387585B2

公开(公告)日：2019-08-20

申请号：US14584327

申请日：2014-12-29

Applicant: The MathWorks, Inc.

Inventor： Dixit Manoj Gangadhar ,  William J. Aldrich ,  Amogh Margoor ,  Prahladavaradan Sampath

IPC: G06F11/30 ,  G06F17/50 ,  G06F11/263 ,  G06F11/36

Abstract: A system and method extends model verification through the creation of composite test objectives. A composite objective includes two or more logically or temporally combined standard or basic test objectives. The basic test objectives selected to form a composite test may be automatically generated by the system or method, or they may be custom defined. A composite test objective represents a new coverage objective that extends model coverage analysis beyond the coverage that is available with the basic test objectives. The system and method also automatically generates one or more test cases for achieving the composite objective. The test cases include input data values for the model, and may cause the specified logical or temporal combination of basic test objectives to evaluate to true at least once during simulation of the model or according to the temporal combination.

公开(公告)号：US10360310B2

公开(公告)日：2019-07-23

申请号：US13838344

申请日：2013-03-15

Applicant: The MathWorks, Inc.

Inventor： Robert O. Aberg

IPC: G06F8/35 ,  G06F11/36 ,  G06F17/50

Abstract: A system and method automatically ensures consistency among a design model, an interface specification and one or more tests that test the design model. The system may include a broker adapted to construct the interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization settings. It may also identify the outputs, inputs, and initialization setting objects of the tests. Proposed changes to any one of the design model's interface, the interface specification and the interfaces of the tests may be captured by the broker, and applied to the other two.