Patents Assigned to The MathWorks, Inc.
  • Bi-directional communication in a parallel processing environment
    Patent number: 7975001
    Abstract: A computer-readable medium including executable instructions for performing parallel processing on behalf of a client operating a technical computing environment is provided. The medium may include instructions for receiving a request from the client. The medium may include instructions for commencing parallel processing on behalf of the client based on the received request and instructions for sending a query to the client, the query related to the parallel processing. The medium may include instructions for receiving an answer from the client, the answer received when the client has processed the query. The medium may include instructions for generating a result based on the parallel processing, the result used by the client or by another device to perform an operation.
    Type: Grant
    Filed: February 14, 2007
    Date of Patent: July 5, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Halldor Narfi Stefansson, Loren Dean, Roy Lurie
  • Signal navigation and label propagation in block diagrams
    Patent number: 7975235
    Abstract: A system and method that includes line connection navigation in a block diagram by highlighting connections through navigable blocks in the diagram, edit-time label propagation along connections and through navigable blocks that can propagate labels through their ports, API to define navigability between block ports, and displaying implied connections between blocks.
    Type: Grant
    Filed: July 25, 2007
    Date of Patent: July 5, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Haihua Feng, Ramamurthy Mani, John Ciolfi, Donald Paul Orofino, II
  • Generation of code from a graphical model
    Patent number: 7974825
    Abstract: A method and system are provided for generating code from a graphical model in a graphical modeling environment. The graphical model includes at least one signal having a data size, a data dimensionality, or both that can vary from a first time instance to a second time instance as the model executes. The size and dimensionality of the signal can vary without the use of a graphically rendered connection to convey the size and dimension information to a block associated with the signal. The generated code includes the attributes of the signal.
    Type: Grant
    Filed: December 30, 2004
    Date of Patent: July 5, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Darel Allen Linebarger, Haihua Feng, Ramamurthy Mani, Donald Paul Orofino, II
  • Test postcondition items for automated analysis and test generation
    Patent number: 7974823
    Abstract: In one embodiment, a design is verified by creating a graphical model with a graphical modeling tool executing on a computing device. The graphical model may include a plurality of model elements. A postcondition element is coupled to a selected model element of the plurality of model elements. The postcondition element is associated with a desired result. The graphical model is employed to generate an executable form of the design. The executable form of the design and an indication of the desired result are provided to a verification tool, to instruct the verification tool to implement one or more verification scenarios.
    Type: Grant
    Filed: April 16, 2010
    Date of Patent: July 5, 2011
    Assignee: The Mathworks, Inc.
    Inventor: William J. Aldrich
  • System and method for using model analysis to generate directed test vectors
    Patent number: 7970594
    Abstract: A mechanism for exploiting the data gathered about a system model during the system design phase to aid the identification of errors subsequently detected in a deployed system based on the system model is disclosed. The present invention utilizes the coverage analysis from the design phase that is originally created to determine whether the system model as designed meets the specified system requirements. Included in the coverage analysis report is the analysis of which sets of test vectors utilized in simulating the system model excited individual components and sections of the system model. The present invention uses the information associated with the test vectors to select appropriate test vectors to use to perform directed testing of the deployed system so as to confirm a suspected fault.
    Type: Grant
    Filed: June 30, 2005
    Date of Patent: June 28, 2011
    Assignee: The MathWorks, Inc.
    Inventor: Thomas Gaudette
  • Reporting fixed-point information for a graphical model
    Patent number: 7969452
    Abstract: A graphical modeling environment is provided for a user to build a model in which signals and/or block parameters can be represented using a fixed-point data type. When the graphical model is executed, the graphical model may generate fixed-point data type signals. An exemplary embodiment may information about fixed-point data type signals on the graphical model. Based on the information provided on the graphical model, the user may be able to determine whether an appropriate number of bits are allocated to the integer part of the fixed-point data type signals and/or whether the total number of bits, i.e., the word length is adequate or over-engineered.
    Type: Grant
    Filed: January 31, 2007
    Date of Patent: June 28, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Martin Clark, Michael H. McLernon
  • Interfacing a device driver with an application using a virtual driver interface and a strategy
    Patent number: 7966622
    Abstract: In one embodiment, a test and measurement application executing on a computing device is interfaced with one or more external device coupled to the computing device. A device driver is selected for use with one of the external device from two or more available device drivers that are each compatible with the external device. The device driver is coupled to a virtual driver interface that provides the test and measurement application with a standardized interface to any of the two or more available device drivers. The test and measurement application communicates with the external device through the virtual driver interface.
    Type: Grant
    Filed: January 17, 2008
    Date of Patent: June 21, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Rob Purser, David Tarkowski, Christian Portal
  • Hierarchically scoped resettable variables in graphical modeling environments
    Patent number: 7966162
    Abstract: The illustrative embodiments of this invention are directed to a method, a medium and a system for realizing resettable hierarchically scoped variables in a graphical modeling environment on a computing device. The method includes creating at least one resettable variable in a model within the graphical modeling environment, wherein the resettable variable is hierarchically scoped. The resettable variable is reset to a preset value before or during a subsequent invocation of a part of the model that contains the resettable variable. The graphical modeling environment may be a state diagramming environment or the graphical modeling environment may be a time-based graphical modeling environment.
    Type: Grant
    Filed: December 29, 2006
    Date of Patent: June 21, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Vijay Raghavan, Ebrahim Mehran Mestchian
  • System and method for providing domain-sensitive help
    Patent number: 7966562
    Abstract: A help facility for a graphical modeling environment that determines the domain of a multi-domain graphical object and provides the correct documentation for that object in that domain is discussed. The help facility determines the identity of the multi-domain graphical object and the domain in which the multi-domain graphical object is instantiated. Once the domain and the graphical object identity are determined, the help facility triggers a help callback restricted to that domain that provides domain appropriate help for the object.
    Type: Grant
    Filed: December 28, 2005
    Date of Patent: June 21, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Nathan E. Brewton, Dallas C. Kennedy, Paul F. Kinnucan, Jr.
  • Application of optimization techniques to intermediate representations for code generation
    Patent number: 7966610
    Abstract: The present invention provides a method and system for optimization of an intermediate representation in a graphical modeling environment. A first intermediate representation is provided. At least one optimization technique is applied to the first intermediate representation. A second intermediate representation is generated responsive to the application of the at least one optimization technique to the first intermediate representation.
    Type: Grant
    Filed: November 17, 2005
    Date of Patent: June 21, 2011
    Assignee: The MathWorks, Inc.
    Inventor: Xiaocang Lin
  • Event processing of combination entities in modeling environments
    Patent number: 7966161
    Abstract: A mechanism for processing events in a modeling environment is discussed. Embodiments of the invention identify multiple entities in a model, at least one of which includes an associated event. A combination entity is created from the identified entities with the combination entity including at least one event derived from the associated events. The combination entity is processed based upon the occurrence of at least one derived event.
    Type: Grant
    Filed: December 27, 2006
    Date of Patent: June 21, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Michael I. Clune, Anuja Dilip Apte
  • AUTOMATIC GENERATION OF CODE FOR COMPONENT INTERFACES IN MODELS
    Publication number: 20110145784
    Abstract: Methods, systems and computer program products are disclosed for automatically generating hardware description language code from a model. The hardware description language code may be generated from a graphical program/model, such as a block diagram model. The hardware description language code may also be generated from a text-based program/model, such as a model created using MATLAB® tools. In particular, the present invention provides for the automatic code generation of an interface between components in the model. The present invention may provide options for selecting at least one of multiple types or styles of the component interfaces in the model. The selection of the interface types or styles may be controlled by the user or inferred by other parameters, such as implementation parameters.
    Type: Application
    Filed: February 18, 2011
    Publication date: June 16, 2011
    Applicant: THE MATHWORKS, INC.
    Inventors: Brian K. OGILVIE, John ZHAO, Bharath VENKATARAMAN
  • METHOD AND APPARATUS FOR INTEGRATED MODELING, SIMULATION AND ANALYSIS OF CHEMICAL AND BIOCHEMICAL REACTIONS
    Publication number: 20110137632
    Abstract: An integrated system for modeling, simulating and analyzing chemical and biochemical reactions includes a modeling environment for constructing a model of a chemical or biochemical reaction. The system also includes a simulation engine accepting as input said constructed model of the chemical or biochemical reaction and generating as output an expected result. An analysis environment communicates with the simulation engine and displays the expected result.
    Type: Application
    Filed: November 29, 2010
    Publication date: June 9, 2011
    Applicant: THE MATHWORKS, INC.
    Inventors: Ricardo E. PAXSON, Joseph F. HICKLIN, Ramamurthy MANI
  • FRAMEWORK FOR FINDING ONE OR MORE SOLUTIONS TO A PROBLEM
    Publication number: 20110137830
    Abstract: In an embodiment, information for use in identifying a plurality of sub-solvers may be acquired. The plurality of sub-solvers may be used in a first attempt to find at least one solution to a problem that may be defined in the acquired information. At least two of the sub-solvers in the plurality of sub-solvers may be of different sub-solver types. The sub-solvers may be identified based on the acquired information. One or more starting points for the identified sub-solvers may be identified and transferred to the identified sub-solvers. One or more outputs, that indicate one or more results associated with the first attempt to find at least one solution to the problem, may be acquired from the identified sub-solvers. One or more sub-solvers may be identified, based on the acquired one or more outputs, for use in a second attempt to find at least one solution to the problem.
    Type: Application
    Filed: October 1, 2010
    Publication date: June 9, 2011
    Applicant: THE MATHWORKS, INC.
    Inventors: Burhanettin Derya OZYURT, Paul KERR-DELWORTH, Roy LURIE
  • CANONICALIZED VERSIONS OF REUSE CANDIDATES IN GRAPHICAL STATE DIAGRAMS
    Publication number: 20110137634
    Abstract: Exemplary embodiments provide techniques for replacing a portion of a state diagram with a generalized, canonical version of the portion. The canonicalized version mimics the structure or semantics (or both) of the portion of the state diagram, although the canonicalized version need not be a perfect match for the structure or semantics of the portion. Exemplary embodiments further provide techniques for identifying a portion of a state diagram for reuse, and generating a canonicalized version of the portion.
    Type: Application
    Filed: December 9, 2010
    Publication date: June 9, 2011
    Applicant: The MathWorks, Inc.
    Inventors: Srinath Avadhanula, Vijay Raghavan
  • Graphical state machine based programming for a graphical user interface
    Patent number: 7958454
    Abstract: Systems and methods are provided for the design, development and execution of a graphical user interface using a state machine based programming paradigm integrated with a componentized graphical user interface. The present invention generates a graphical state machine representation of the graphical user interface including states for elements of the graphical user interface and any events associated with these elements. The state diagram model provides a graphical structure for handling events associated with the graphical user interface, such as events generated by inputs provided by a user via a graphical user interface element. Furthermore, functionality for the graphical user interface, such as underlying control structure, state management, and event processing can be implemented with a high level textual programming language integrated with the graphical state machine.
    Type: Grant
    Filed: April 19, 2005
    Date of Patent: June 7, 2011
    Assignee: The MathWorks, Inc.
    Inventor: Thomas Gaudette
  • System for automating the definition of application objects supporting undoing, redoing compressing and logging operations
    Patent number: 7958490
    Abstract: A configurable class system for an application author working in an application development environment that automates the handling of undo, redo and logging operations is discussed. The configurable class system removes the burden from the application author of having to custom manage undo, redo and logging information during application writing by providing the necessary mechanisms to every application object created. The configurable class system also allows the application author to handle exceptional state changes in an application by configuring the underlying base classes provided by the configurable class system. Additionally, the embodiments of the present invention enable the application author to customize the compression of a series of identified operations by selecting the type of operations that are to be compressed and the manner in which the compression is to occur.
    Type: Grant
    Filed: December 29, 2006
    Date of Patent: June 7, 2011
    Assignee: The MathWorks, Inc.
    Inventor: David A. Foti
  • Methods and System for Executing a Program in Multiple Execution Environments
    Publication number: 20110126181
    Abstract: A method and medium are disclosed for executing a technical computing program in parallel in multiple execution environments. A program is invoked for execution in a first execution environment and from the invocation the program is executed in the first execution environment and one or more additional execution environments to provide for parallel execution of the program. New constructs in a technical computing programming language are disclosed for parallel programming of a technical computing program for execution in multiple execution environments. It is also further disclosed a system and method for changing the mode of operation of an execution environment from a sequential mode to a parallel mode of operation and vice-versa.
    Type: Application
    Filed: February 3, 2011
    Publication date: May 26, 2011
    Applicant: The MathWorks, Inc.
    Inventor: Cleve Moler
  • Methods and System for Executing a Program in Multiple Execution Environments
    Publication number: 20110126180
    Abstract: A method and a medium are disclosed for executing a technical computing program in parallel in multiple execution environments. A program is invoked for execution in a first execution environment and from the invocation the program is executed in the first execution environment and one or more additional execution environments to provide for parallel execution of the program. New constructs in a technical computing programming language are disclosed for parallel programming of a technical computing program for execution in multiple execution environments. It is also further disclosed a system and method for changing the mode of operation of an execution environment from a sequential mode to a parallel mode of operation and vice-versa.
    Type: Application
    Filed: February 3, 2011
    Publication date: May 26, 2011
    Applicant: The MathWorks, Inc.
    Inventor: Cleve Moler
  • Processing composite data signal by expansion in a graphical representation
    Patent number: 7949502
    Abstract: 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.
    Type: Grant
    Filed: February 8, 2008
    Date of Patent: May 24, 2011
    Assignee: The MathWorks, Inc.
    Inventors: Mojdeh Shakeri, Krishna Balasubramanian