1
Arvind S Hosagrahara, Paul F Smith: Electronic markup of executable models. The MathWorks, Venable, Michael A Sartori, Kyle D Petaja, April 19, 2011: US07930160 (91 worldwide citation)

A computer-implemented method for marking-up an executable model includes: displaying the executable model; associating an electronic overlay with the executable model, the electronic overlay operating with the executable model without changing the contents of the executable model; and indicating an ...


2
Mojdeh Shakeri, Pieter J Mosterman: Distributed model compilation. The MathWorks, Lahive & Cockfield, Kevin J Canning, March 24, 2009: US07509244 (89 worldwide citation)

Methods and systems are provided for partitioning and distributing the model processing of a graphical model to provide an executable form of the graphical model. The methods and systems determine tasks of the model processing that can be processed separately and concurrently from other tasks. A dis ...


3
Mehmet Yunt, Murali Yeddanapudi, Sanjai Singh, John Ciolfi: System and method for using a graphical debugging tool in a modeling and execution environment. The MathWorks, Lahive & Cockfield, Kevin J Canning, December 9, 2008: US07464373 (64 worldwide citation)

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 com ...


4
Bill Wendling: Obfuscation of automatically generated code. The MathWorks, Nelson Mullins Riley & Scarborough, September 9, 2014: US08832646 (60 worldwide citation)

A method is provided for obfuscating code generated from a block diagram model in a graphical programming environment. The obfuscation may be removed through the use of a password. Incorporating the obfuscated code in a block diagram allows for code to be generated from the block diagram incorporati ...


5
John Edward Ciolfi, Ramamurthy Mani, Donald Paul Orofino, Mojdeh Shakeri, Marc Ullman, Murali Yeddanapudi: System and method for using execution contexts in block diagram modeling. The MathWorks, Lahive & Cockfield, Kevin J Canning, John S Curran, October 5, 2010: US07809545 (53 worldwide citation)

A method of controlling the conditional execution of elements and subsystems in a block diagram is disclosed. Data structures known as Execution Contexts are created and associated with individual block diagram elements and subsystems. The Execution Contexts allow execution of the associated element ...


6
Mehmet Yunt, Murali Yeddanapudi, Sanjai Singh, John Ciolfi: Method for using a graphical debugging tool. The MathWorks, Lahive & Cockfield, Kevin J Canning, August 10, 2010: US07774172 (49 worldwide citation)

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 com ...


7
David Critz, Loren Dean: Report generator for a mathematical computing environment. The Mathworks, Lahive & Cockfield, November 21, 2006: US07139686 (44 worldwide citation)

A method and apparatus, including a computer program apparatus, implementing techniques for generating a report from a technical computing environment provided by a mathematical computer program. A report generator defines a set of reporting components that can be assembled to form a report template ...


8
Thomas Gaudette, Scott M Hirsch, Christian A Portal: Automatic configuration of a test environment. The MathWorks, Venable, Michael A Sartori, Todd R Farnsworth, April 30, 2013: US08433953 (42 worldwide citation)

A test for testing at least one of hardware or software in a first environment is generated. A desired test configuration is selected based on information regarding respective hardware or software. Test elements are automatically generated based on the desired test configuration, the test elements a ...


9
Vijaya Raghavan, Ebrahim Mehran Mestchian: Event-based temporal logic. The MathWorks, Lahive & Cockfield, March 28, 2006: US07020850 (41 worldwide citation)

A computer system receives a description of a finite state machine including a temporal logic condition and generates code for emulating the described finite state machine.


10
John Edward Ciolfi, Michael David Tocci, Mojdeh Shakeri, Murali Yeddanapudi, Kai Tuschner, Ramamurthy Mani: Management of functions for block diagrams. The Mathworks, Lahive & Cockfield, February 13, 2007: US07178112 (41 worldwide citation)

A method is provided that includes pattern-matching portions of a block diagram model as being equivalent, and creation of a common set of instructions in place of the occurrences of the pattern-matched portions to enhance the efficiency of simulation or generated code for the block diagram model, s ...