The Mathworks, Inc.

Vijay Raghavan

Ebrahim Mehran Mestchian

Srinath Avadhanula

Beth Cockerham

Pieter Johannes Mosterman

Jay Ryan Torgerson

Zhihong Zhao

Aditya Agrawal

Peter S Szpak

Ramamurthy Mani

Joseph R Bienkowski

Haihua Feng

John E Booker

Yao Ren

Alongkrit Chutinan

Qu Zhang

Yang Feng

Jan Sjodin

Dong Jia

Jason D Breslau

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.

Canonicalized versions of reuse candidates in graphical state diagrams

Exemplary embodiments provide computer-implemented methods, computer-readable media, and systems for changing the identifier associated with an entity, such as a variable or function, in a portion of code. During editing, a reference may be maintained that identifies the location of each instance of the entity in the code. When the identifier associated with one instance of the entity is changed, the change in the identifier may be propagated throughout the code to change each instance of the identifier in the code. The identifier may be changed without interrupting the workflow of the user and without the need to change to a separate refactoring mode. In some embodiments, a syntactical analysis may be performed and some or all instances of the identifier may be changed based on one or more rules.

Renaming instances of an entity in a coding environment

A programming element is provided that defines model attributes in response to mode change events in a graphical modeling environment. Such definition may involve any signal attribute such as dimensions, data types, complexity and sample times. Events that trigger definition of model attributes may be explicit signaling events generated by other elements, elements within the block diagram programming environment, and elements external from the environment. Implicit events may also trigger definition of model attributes, such as a change of attribute in an input signal.

Mode-switched variable signal attributes in block diagrams

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.

Hierarchically scoped resettable variables in graphical modeling environments

A method of providing multi-instantiable state templates to a statechart environment is discussed. The method includes the step of providing a graphical definition of an independent state machine object belonging to a statechart. The method further includes the step of instantiating a first instance and a second instance of the independent state machine object in the statechart. The method additionally includes the steps of starting execution of the first instance of the independent state machine object and then stopping execution of the first instance of the state machine object. Additionally, the method includes the step of starting the execution of the second instance of the independent state machine object in the state diagram.

System and method for creating and using graphical object instances in a statechart environment

A control flow graph may be generated from a model. The control flow graph may be restructured by converting at least one cyclical unstructured region of a control flow graph into a structured region. The restructuring may involve introducing loop head and/or bottom nodes, serving as incident nodes for loop entry or exit, correspondingly. Loop back-edges may be re-routed to loop entry nodes, while all exit nodes may be re-rerouted to loop exit nodes, as long as the control flow within the loop is properly directed using control flow constructs.

Restructuring control flow graphs generated from a model

A method is provided for interacting with the graphical model is provided. At least one of the plurality of views of the graphical model is parsed to create an intermediate representation. An interactive overlay is displayed using the display device. User interacts with the destination object based on an input instruction via the interactive overlay and modifies the destination object using the input instruction, the modifying allows the destination object to perform a modified operation when the model is executed. The graphical model includes execution semantics and a destination object, where the destination object is influenced by the execution semantics. The graphical model is rendered on a display device based on a selected view.

System and method of using an active link in a state programming environment to locate an element

A system, method, distribution system, and computer readable medium for locating an element of a computing environment are described. The invention feature selecting a label within a state diagram associated with a graphical model and processing the selected label to generate a location identifier. The invention also features analyzing the location identifier to determine which element of a graphical model is associated with the location identifier and positioning the graphical model to display the element associated with the location identifier to a user viewing the graphical model.

System and method of using an active link in a state programming environment to locate an element in a graphical programming environment

Systems and methods are provided for a scheme and mechanism for performing static analysis of a sample time aware state diagram model to compute and propagate multiple samples rates associated with the state diagram model. A graphical intermediate representation of the state diagram model, such as a directed graph or control flow graph, is used to determine how the multiple sample rates are propagated via elements of the state diagram model. The graph provides a static representation of the control of flow, including alternative and/or conditional flow paths, of the state diagram model. The present invention determines the propagation of sample rates via analysis and traversal of the intermediate representation. By using the techniques of the present invention, a state diagram model may provide multiple sample rate outputs, such as by function calls and output signals to a graphical model, such as a model representing a dynamic system.

Multi-rate hierarchical state diagrams

The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.

Stage evaluation of a state machine

A method, apparatus and system for accessing data that exists within a first environment, such as a time driven environment, from within a second environment such as a state driven environment. Access to this data is accomplished using an interface element in communication with both environments. To allow access to data in the first environment, the second environment is parsed to locate references to any data to be shared located outside of the second environment. Once these data references are located, resolution of these references outside of the second environment is accomplished such that the data to be shared is shared between the first and second environments.

Growing community of inventors

Framingham, MA, United States of America

Vijay Raghavan