Abstract: A method of ensuring the integrity of read-only components in deployed mixed-mode applications that includes generating a digital fingerprint prior to the deployment of a mixed-mode application is discussed. The digital fingerprint is based on a read-only component in the mixed-mode application and uniquely identifies the read-only component. The method also deploys the mixed-mode application and the digital fingerprint. Additionally, the method verifies, at execution time by using the digital fingerprint, that the read-only component in the mixed-mode deployed application that served as the basis for the digital fingerprint is identical to the same read-only component originally packaged with the mixed-mode application.
Abstract: A device may receive a model including a group of blocks, and may receive a command to execute the model. The device may assign a parameter sample time to a subset of blocks of the group of blocks. The parameter sample time may permit a block, of the subset of blocks, to be executed based on a parameter change event detected during the execution of the model. The device may cause the model to be executed after assigning the parameter sample time to the subset of blocks. The device may detect a parameter change event, associated with the model, prior to the execution of the model being completed. The parameter change event may include an event that is external to the execution of the model. The device may cause at least one block, of the subset of blocks, to be executed based on the detecting the parameter change event.
Type:
Grant
Filed:
December 9, 2014
Date of Patent:
September 8, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Arwen M. Warlock, Biao Yu, Matthew J. Englehart, Peter S. Szpak, Murali K. Yeddanapudi, Yuan Cao
Abstract: An adaptable graphical user interface is provided. The interface may include a setup region to display a group of available solvers to a user and to display parameters for at least one of the group of solvers to the user. The interface may include an options region to display a first group of active options to a user without requiring a user input for the first group of active options, where the first group of active options is determined based on a selected one of the group of solvers. The options region may further display a second group of active options to the user when another one of the solvers is selected by the user, where the second group of active options differs from the first group of active options.
Type:
Grant
Filed:
November 7, 2011
Date of Patent:
September 1, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Mary Ann Branch Freeman, Marcelo Marazzi, Marjorie Berman, Rakesh Kumar, Tara Scott, Amy Kidd, Thomas Paul Lane
Abstract: A device receives program code, and receives size/type information associated with inputs to the program code. The device determines, prior to execution of the program code and based on the input size/type information, a portion of the program code that is executable by a graphical processing unit (GPU), and determines, prior to execution of the program code and based on the input size/type information, a portion of the program code that is executable by a central processing unit (CPU). The device compiles the GPU-executable portion of the program code to create a compiled GPU-executable portion of the program code, and compiles the CPU-executable portion of the program code to create a compiled CPU-executable portion of the program code. The device provides, to the GPU for execution, the compiled GPU-executable portion of the program code, and provides, to the CPU for execution, the compiled CPU-executable portion of the program code.
Abstract: A computing device may obtain a model that, when executed, simulates behavior of a dynamic system. The model may include a set of model elements that correspond to one or more physical elements associated with the dynamic system. The computing device may receive, based on obtaining the model, a request to generate a spatial representation associated with a physical element; generate a tag that includes a string of characters; associate the tag with a model element that corresponds to the physical element; cause, based on the tag and information associated with the physical element, the physical structure to be generated in a manner that includes the tag; receive the tag; and cause the model element to be displayed based on receiving the tag.
Type:
Grant
Filed:
June 26, 2012
Date of Patent:
August 25, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Pieter J. Mosterman, Ebrahim Mehran Mestchian, Jay R. Torgerson, Daniel F. Higgins, Paul F. Kinnucan
Abstract: A device receives code generated via a technical computing environment (TCE), performs a test on the code to generate a test result, and generates test information based on the performance of the test on the code. The device outputs or stores the test result, and receives, based on the test result, a request for a diagnostic analysis of the code. The device performs, based on the request, the test information, and at least one diagnostic, a diagnostic analysis of the code to generate a diagnostic result, and outputs or stores the diagnostic result.
Type:
Grant
Filed:
December 5, 2012
Date of Patent:
August 25, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Andrew T. Campbell, David M. Saxe, Gregory V. Aloe, Jeremy B. Nersasian
Abstract: A method includes performing an analysis or synthesis operation on a graphical model representation, producing a report from the analysis or synthesis operation and generating associations representing elements of the graphical model representation with corresponding elements in the report and using these associations as a way to reposition viewer based on actions to the graphical model representation.
Abstract: The described embodiments present techniques for recovering from syntax errors. These techniques correct potential errors while preserving the shape of the parse tree, and the specific implementation of the techniques can be automatically generated from the grammar. These techniques may operate by looking back at states associated with previously-received tokens to determine pair matching status, when a synchronizing symbol is received. The techniques can respond to the pair matching status determination by potentially adding a synthesized token or by deleting a token that has already been received. The techniques may use a structure referred to herein as a tuple to assist with the evaluation of the pair matching status. Some of the techniques utilize indentation information to evaluate the pair matching status, while other techniques ignore such information. The described embodiments also include a technique for automatically generating the tuples from a set of grammar rules associated with the parser.
Abstract: A system and method of exposing debugging information in a graphical modeling and execution environment is disclosed. The present invention allows a user to view debugging information in the same window as the graphical view of the model being executed. Debugging data is associated with relevant components of the model displayed in the graphical view. A separate execution list view shows the methods called during the execution of the block diagram in the current time step up until the current point in execution. User-set breakpoints and conditional breakpoints may be set in both the model view and the execution list view. Values may be obtained for all of the displayed methods. The debugging tool may be implemented by using it in conjunction with a graphical modeling and execution environment, such as a block diagram environment or state diagram environment.
Type:
Grant
Filed:
February 29, 2012
Date of Patent:
August 11, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Mehmet Yunt, Murali Yeddanapudi, Sanjai Singh, John Edward Ciolfi
Abstract: A system and method determines the differences between versions of an object, such as a file. The object versions are compared using a differencing tool to identify the differences between the versions. A scoring algorithm may be selected for the object based on one or more attributes of the object. The scoring algorithm is used to compute a difference score for the object. The difference score may be a function of the differences between the object versions and the characteristics or qualities of those differences. The difference score provides an indication of the relative importance of the changes made to the object. The difference scores from multiple objects may be presented in an interactive report, and sorted to identify those objects that underwent the most significant or noteworthy changes.
Abstract: In an embodiment of the invention, one or more tangible non-transitory computer-readable storage media may store the following instructions. Defining representation type spaces R1 and R2 and correctness type spaces C1 and C2 over the representation type spaces R1 and R2, respectively. Defining a representation type space R and a correctness type space C over the representation type space R, such that a semilattice associated with the correctness type space C is a function semilattice over respective semilattices associated with the correctness type spaces C1 and C2.
Abstract: A device receives a search query, and transforms the search query into a transformed search query understood by a technical computing environment (TCE)-based search engine. The device determines information requested by the transformed search query, and selects one or more TCE models from a repository based on the information requested by the transformed search query. The device provides the information requested by the transformed search query to the selected one or more TCE models. The device executes the selected one or more TCE models, based on the information requested by the transformed search query, to generate an answer to the search query, and provides the answer for display.
Abstract: Exemplary embodiments provide an interactive tool that allows users to design and evaluate storage mechanisms while program code executes. For example, an embodiment uses compact histogram density scales (CHDS's) to display count information for bins making up the storage mechanism (e.g., a register). The user can determine whether counts are within a desirable range, exceeding an overflow threshold, or exceeding an underflow threshold for a bin. Embodiments allow the user to observe overflow/underflow thresholds, signedness, word lengths, fraction lengths, etc., while program code that interacts with the register executes.
Type:
Grant
Filed:
January 22, 2013
Date of Patent:
August 4, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Julia Argentina Granada Rodriguez, Ashok Ruman Charry, Darel Allen Linebarger
Abstract: A device receives code in a modeling environment format, receives a model in the modeling environment format, and receives relationships information associated with one or more relationships between the code and the model. The device combines the code, the model, and the relationships information to generate an output file in a non-modeling environment format, and outputs or stores the output file.
Abstract: A device receives a model that includes blocks and lines provided between the blocks, and identifies first candidate boundaries for the model. Each of the first candidate boundaries defines a group of blocks. The device generates an intermediate representation (IR) of the model, performs an optimization of the IR to generate an optimized IR, and identifies second candidate boundaries for the model based on the optimized IR. Each of the second candidate boundaries defines a group of blocks, and the first and second candidate boundaries define a set of candidate boundaries. The device reduces the set of candidate boundaries, to a reduced set of boundaries, based on code efficiency metrics or metrics associated with a hardware platform. The device generates code for the model based on the reduced set of boundaries, and outputs the code.
Abstract: A system for facilitating system design includes a back-annotation tool that annotates a model of a hardware system with information derived from results of synthesizing the model to the target hardware description. The derived information may include timing information, information about area usage, power consumption, etc. The derived information may be displayed in conjunction with the model in a modeling environment.
Abstract: In one embodiment, a method for displaying elements of an attribute in an executable block diagram model is provided. The method may include displaying an executable block diagram model in a first window and receiving a first input from an input device, wherein the first input associates with a first parameter of a block diagram modeling component in the executable block diagram model, the first parameter is represented in the executable block diagram model by a first graphical affordances. The method may include triggering the display of a value of a first parameter in a first user interface widget in the first window.
Type:
Grant
Filed:
September 12, 2011
Date of Patent:
July 28, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Claudia Wey, John Ciolfi, Leonard Conte, Eric Pressman, Pieter J. Mosterman, Jay Ryan Torgerson, Murali Yeddanapudi
Abstract: A virtual driver interface and strategy are presented for interfacing a device driver with an application. Devices connected to a computing device and device drivers capable of communicating with the device are provided on the computing device. The virtual driver interface determines which of the device drivers to use to allow an application to interact with a device based on a strategy.
Type:
Grant
Filed:
March 31, 2006
Date of Patent:
July 14, 2015
Assignee:
The MathWorks, Inc.
Inventors:
Rob Purser, David Tarkowski, Christian Portal
Abstract: A device performs a verification analysis of source code, where the verification analysis includes a coding rules check of the source code based on coding standards, and run-time error check of the source code. The device provides, for display, results of the coding rules check of the source code, and provides, for display, results of the run-time error check of the source code. The device provides, for display, from the results of the coding rules check of the source code, at least one of a coding rule error violation associated with the source code, or a coding rule warning violation associated with the source code.
Type:
Grant
Filed:
December 4, 2012
Date of Patent:
July 14, 2015
Assignee:
The MathWorks, Inc.
Inventors:
David Delarue, Olga Voronina, Claire Treille
Abstract: In an illustrative embodiment, an apparatus, computer-readable medium, or method may be configured to avoid command mistakes and suggest corrections. Known commands may be accessed which may include at least one expected identifier, alternative identifier, and/or identifier pattern. The frequencies of occurrence of the known commands may be calculated. A command with entered identifiers may be received and at least one possible mistake in the entered identifiers may be detected. A first numerical score for the known commands may be calculated using a string matching algorithm, a keystroke penalty matrix, and/or the detected at least one possible mistake. A second numerical score may be calculated using the frequencies of occurrence of the known commands and the first numerical score. Expected identifiers may be selected using the first and second numerical scores. A user-selectable command may be created using the expected known commands and displayed.
Type:
Grant
Filed:
September 14, 2012
Date of Patent:
July 14, 2015
Assignee:
The MathWorks, Inc.
Inventors:
John N. Little, Jason Breslau, Nausheen Moulana, Vadim Teverovsky, Bryan White, Joseph F. Hicklin