Patents Assigned to The MathWorks, Inc.
-
Patent number: 9542164Abstract: 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.Type: GrantFiled: March 2, 2011Date of Patent: January 10, 2017Assignee: The MathWorks, Inc.Inventor: Pieter J. Mosterman
-
Patent number: 9536023Abstract: A device may generate code for a caller element of a first graphical model and a called element of a second graphical model by generating a first function and a second function. The first function may represent an interface between the caller element and the called element. The first function may include a first input argument corresponding to an input variable and a first output argument corresponding to an output variable. The second function may represent an underlying function of the called element. The underlying function may include the input variable passed from the caller element and the output variable. The underlying function may further include an internal input variable and an internal output variable. The second function may include second input arguments corresponding to the input variable and the internal input variable, and may include second output arguments corresponding to the output variable and the internal output variables.Type: GrantFiled: May 15, 2015Date of Patent: January 3, 2017Assignee: The MathWorks, Inc.Inventors: Matthew J. Englehart, Srinath Avadhanula, Aravind Pillarisetti, Nirmal K. Gunaseelan, Peter S. Szpak, Hidayet T. Simsek
-
Patent number: 9535821Abstract: 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: GrantFiled: June 30, 2015Date of Patent: January 3, 2017Assignee: The MathWorks, Inc.Inventors: David Delarue, Olga Voronina, Claire Treille
-
Patent number: 9529697Abstract: An embodiment can include one or more computer-readable media storing executable instructions that when executed on processing logic process variable signals. The media can store one or more instructions for receiving executable code that includes constructs with variable signals for processing the variable signals, and for performing a coverage measurement on the executable code based on information about one or more of the variable signals processed by the executable code. The media can store one or more instructions for producing a coverage result based on the coverage measurement, the coverage result identifying a degree of coverage for the executable code when the executable code processes the variable signals.Type: GrantFiled: February 28, 2013Date of Patent: December 27, 2016Assignee: The MathWorks, Inc.Inventors: William J. Aldrich, Olga Voronina, Zsolt Kalmar
-
Patent number: 9529981Abstract: In an embodiment, a feature is an aspect of a class which represents information, data, behaviors, or capabilities encapsulated by the class. An accessing class may be given access to one or more specified features encapsulated by an accessed class, without gaining access to other features encapsulated by the accessed class. Accordingly, special access may be granted only to the behavior and data specifically designed for the accessing class, without allowing the accessing class access to all private data and behaviors of the accessed class, and without allowing all classes in a package access to the accessed class.Type: GrantFiled: October 9, 2014Date of Patent: December 27, 2016Assignee: The MathWorks, Inc.Inventor: David A. Foti
-
Patent number: 9530102Abstract: Exemplary embodiments described herein provide methods, mediums, and systems for recognizing a formalism type present in an input and generating an output that is consistent with the formalism type. In order to generate an output that is consistent with the formalism type, exemplary embodiments analyze elements of the input together. Such a holistic analysis determines or uses a likelihood that the different elements coexist together in a given formalism type. Based on this holistic analysis, an appropriate formalism type that is consistent with the coexistence of the elements may be selected. After the appropriate formalism type is selected, the input may be processed to generate an output consistent with the formalism type. The output may be computer-based representations of the input defined according to a program associated with the identified formalism type, and/or the input may be translated or transformed into another representation.Type: GrantFiled: February 17, 2015Date of Patent: December 27, 2016Assignee: The MathWorks, Inc.Inventors: Pieter J. Mosterman, Srikanth Parupati, Ankit A. Desai, Ashish Uthama, Michael J. Quinn
-
Patent number: 9524149Abstract: A method of populating object property values includes receiving an instruction on behalf of a user. The instruction represents an input indicating selection of the object. The method includes presenting, in response to the input, a list of property names and corresponding default values associated with the selected object, and presenting, for each of one or more default values, a user input field. The method includes presenting, for each of the one or more default values, an enumeration of alternative property values when the enumeration is compatible with the corresponding property. The method includes receiving from the user, for zero or more of the property names, an updated property value that is a selection from a value entered in the user input field or the enumeration of alternative property values, and generating code operative to instantiate the object. The updated property values are associated with the properties of the object.Type: GrantFiled: August 25, 2014Date of Patent: December 20, 2016Assignee: The MathWorks, Inc.Inventor: Frantz Bouchereau
-
Patent number: 9524176Abstract: In an embodiment, a method of binding a human machine interface to an expression of existing computer code may include analyzing the existing computer code to identify one or more bindable expressions in the existing computer code, and receiving a command to bind a human machine interface with one or more of the identified bindable expressions. The method may further include binding, using a processor, one or more of the bindable expressions with the human machine interface in response to the command. The binding may enable the human machine interface to communicate information within the existing computer code in place of the one or more bound expressions. The bound machine interface may communicate information within the computer code while the computer code is executing.Type: GrantFiled: October 31, 2014Date of Patent: December 20, 2016Assignee: The MathWorks, Inc.Inventors: Jay R. Torgerson, Stephen Curtis, Stanley Pensak
-
Patent number: 9519739Abstract: A method, tangible computer-readable medium and apparatus for concurrently executing subsystems in a graphical model is provided. An embodiment can transform a conventional graphical model supporting single threaded execution into a model supporting multi-threaded execution through the replacement of a single block. The transformed model may support concurrent execution of a plurality of subsystems using a plurality of threads when the graphical model executes. An embodiment provides a user interface that allows a user to intuitively configure a model for current execution of the subsystems.Type: GrantFiled: September 27, 2013Date of Patent: December 13, 2016Assignee: The MathWorks, Inc.Inventors: Steven E. Kuznicki, Chad M. Van Fleet
-
Patent number: 9519671Abstract: A method comprising receiving data, where the data includes one or more elements, the data is associated with a first set of indices, and the first set of indices references the one or more elements. The method may further include folding a plurality of indices into a single index, where the single index references the one or more elements of the received data that were referenced by the plurality of indices, the folding generates a second set of indices, and the folding is performed when concurrent process threads are not generated based on the first set of indices. The method may further include determining whether concurrent process threads should be generated based on the second set of indices and generating the concurrent process threads for the second set of indices when the determining determines that the concurrent process threads should be generated based on the second set of indices.Type: GrantFiled: October 10, 2014Date of Patent: December 13, 2016Assignee: The MathWorks, Inc.Inventors: Halldor N. Stefansson, Edric Ellis
-
Patent number: 9519497Abstract: A system is configured to: conduct asynchronous updates, of a display, based on a fixed rate when operating in an asynchronous state; determine whether to switch to a synchronous state from the asynchronous state based on the asynchronous updates; conduct synchronous updates, of the display, after switching to the synchronous state; receive a lock request, and conduct updating of the display based on the lock request. The synchronous updates may be performed independent of the fixed rate.Type: GrantFiled: April 14, 2014Date of Patent: December 13, 2016Assignee: The MathWorks, Inc.Inventors: Jason J. Schickler, Donald P. Orofino
-
GENERATING CODE IN STATICALLY TYPED PROGRAMMING LANGUAGES FOR DYNAMICALLY TYPED ARRAY-BASED LANGUAGE
Publication number: 20160357533Abstract: Described are methods, systems and computer-readable media storing instructions that when executed on one or more processors execute a process for generating second program code in a statically typed programming language from first program code in a dynamically typed programming language. The first program code contains or, when executed, generates or operates on a dynamically typed array. The second program code may be generated by classifying the dynamically typed array into one of multiple categories, such as homogeneous, heterogeneous, or another, based on the array contents, array usage, and/or user input, and generating the second program code in the statically typed programming language based on the classification(s).Type: ApplicationFiled: May 31, 2016Publication date: December 8, 2016Applicant: The MathWorks, Inc.Inventors: Arnab De, Frederick M. Smith, Denis Gurchenkov -
Publication number: 20160357895Abstract: Methods and devices for providing and using a technical computing environment (TCE) for receiving a TCE model that, when executed, simulates behavior of a dynamic physical system, and that represents one or more physical components and their respective reliability information in a block diagram model. Applications of the model include automated system-level datasheet and bill of materials generation, component reliability information discovery, fault and stress assertions, and identification of emergent faults.Type: ApplicationFiled: June 2, 2016Publication date: December 8, 2016Applicant: The MathWorks, Inc.Inventors: Richard Hyde, Ebrahim M. Mestchian
-
Patent number: 9513880Abstract: A device receives a state chart generated via a technical computing environment. The state chart includes a function block that includes a function that includes function input(s)/output(s). The state chart includes a state block that includes a function call to the function of the function block. The function call includes call input(s)/output(s). The device initiates execution of the state chart, parses the function into the function input(s)/output(s), and parses the function call into the call input(s)/output(s). The device processes, during the execution of the state chart, the function input(s)/output(s) with a graphical engine of the technical computing environment to generate function-related code. The device processes, during the execution of the state chart, the call input(s)/output(s) with a textual engine of the technical computing environment to generate function call-related code, and provides the function-related code and the function call-related code in generated code.Type: GrantFiled: May 23, 2014Date of Patent: December 6, 2016Assignee: The MathWorks, Inc.Inventors: Srinath Avadhanula, Pieter J. Mosterman, Ebrahim Mestchian
-
Patent number: 9514413Abstract: 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: GrantFiled: May 1, 2015Date of Patent: December 6, 2016Assignee: The MathWorks, Inc.Inventors: Derya B. Ozyurt, Paul Kerr-Delworth, Roy E. Lurie
-
Patent number: 9507374Abstract: In an embodiment, a session associated with a first hardware device that sends or receives a first data stream and a second hardware device that sends or receives a second data stream may be provided. The session may be used to access information related to the first hardware device and the second hardware device. The accessed information may be used to identify a strategy from among a plurality of strategies for synchronizing either the first data stream and the second data stream or the first hardware device and the second hardware device. The identified strategy may be applied to synchronize either the first data stream and the second data stream or the first hardware device and the second hardware device.Type: GrantFiled: December 3, 2012Date of Patent: November 29, 2016Assignee: The MathWorks, Inc.Inventor: Robert Purser
-
Patent number: 9507572Abstract: A device may receive a state chart generated via a technical computing environment. The state chart may include a state block with a single section of textual code. The single section of textual code may include a time-based portion and an output portion. The device may initiate execution of the state chart, and may process, during the execution of the state chart, the time-based portion with a graphical engine of the technical computing environment to generate a time-based method. The device may process, during the execution of the state chart, the output portion with a textual engine of the technical computing environment to generate an output method. The device may provide the time-based method and the output method in output code, where the time-based method may be separate from the output method in the output code.Type: GrantFiled: May 23, 2014Date of Patent: November 29, 2016Assignee: The MathWorks, Inc.Inventors: Srinath Avadhanula, Pieter J. Mosterman, Ebrahim Mestchian
-
Patent number: 9507888Abstract: A device receives information that identifies a model, of a finite state machine, that includes information that identifies a parent state and sub-states of the parent state. The device generates a data structure that designates an enumerated data type associated with the parent state, where the enumerated data type includes values corresponding to the sub-states. The device executes the model, based on the data structure, and monitors operation of the finite state machine and state transitions among some of the sub-states. The device detects, based on the state transitions, a change in an active sub-state that represents a particular sub-state, of the sub-states, that is active at a particular time during execution of the model. The device provides state transition information that identifies changes in the active sub-state over time.Type: GrantFiled: March 15, 2013Date of Patent: November 29, 2016Assignee: The MathWorks, Inc.Inventors: Nishith Aggarwal, Srinath Avadhanula, Vijaya Raghavan, David B. Andrade
-
Patent number: 9507634Abstract: A method and system is disclosed for providing a distributed technical computing environment for distributing technical computing tasks from a technical computing client to technical computing workers for execution of the tasks on one or more computers systems. Tasks can be defined on a technical computing client, and the tasks organized into jobs. The technical computing client can directly distribute tasks to one or more technical computing workers. Furthermore, the technical computing client can submit tasks, or jobs comprising tasks, to an automatic task distribution mechanism that distributes the tasks automatically to one or more technical computing workers providing technical computing services. The technical computing worker performs technical computing of tasks and the results of the execution of tasks may be provided to the technical computing client.Type: GrantFiled: April 30, 2014Date of Patent: November 29, 2016Assignee: The MathWorks, Inc.Inventors: Matthew A. Shawver, Jocelyn Luke Martin, Roy E. Lurie, Loren P. Dean, Cleve B. Moler, Eugene F. Mcgoldrick
-
Patent number: 9501339Abstract: A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.Type: GrantFiled: January 15, 2016Date of Patent: November 22, 2016Assignee: The MathWorks, Inc.Inventors: Alan J. Moore, Ebrahim M. Mestchian