The Mathworks, Inc.

International Business Machines Corporation

Aditya Agrawal

Vijay Raghavan

Zhihong Zhao

Daniel Forrest Higgins

Beth Cockerham

Kenneth Weiss

Pieter Johannes Mosterman

Heiko Hary Ludwig

Jay Ryan Torgerson

Asit Dan

Tamar Eilam

Steve Richard White

John Arthur Pershing, Jr

Michael H Kalantar

Alexander V Konstantinou

Hendrik Wagner

Simon Greenwold

Syed Salman N Qadri

Syed Salman Qadri

In an embodiment, a plurality of graphical elements of a graphical model may be displayed on a display device. An indication of a graphical operation involving a first graphical element of the plurality of graphical elements may be received. The graphical operation when performed may establish a relationship between the first graphical element and one or more other graphical elements of the plurality of graphical elements that are compatible with the graphical operation. Two or more graphical elements of the plurality of graphical elements that are compatible with the graphical operation and one or more characteristics associated with the first graphical element may be identified. A visual indication may be provided on the display device. The visual indication may indicate that the identified plurality of graphical elements is compatible with the graphical operation.

Identification of semantically relevant concepts in a graphical model

A computer-implemented modeling system comprising a storage medium, an interface, an output device, and a processor. The storage medium to store executable instructions for providing a modeling environment using the system, the modeling environment supporting model development. The interface to receive an input instruction and create an executable instruction, where the user interaction represents the input instruction and instructs the modeling environment to perform one or more of: an analyzing operation, an editing operation, or a navigating operation. The output device to output at least one of: a tactile output representing tactile feedback, or a haptic output representing haptic feedback; and a processor to execute the executable instructions to provide the modeling environment, process the executable instruction using the modeling environment, and generate an output instruction, where the output instruction is used by an output device for generating the tactile output or the haptic output.

User interface for a modeling environment

The present invention provides a state diagramming environment in a computing device that enables the conversion of a state diagram into a hardware description language. To achieve this conversion, the present invention generates an intermediate representation of the state diagram. The intermediate representation is checked against a set of predefined restrictions for compliance. The state diagramming environment converts the intermediate representation of the state diagram into a hardware description language, such as VHDL or Verilog.

Hardware description language code generation from a state diagram

A system and method for automated design deployment for distributed applications includes providing a node with at least one requirement attribute in an application description. A repository for infrastructure elements is searched for candidate infrastructure elements for that satisfy the at least one requirement attribute. A candidate infrastructure element that best satisfies the at least one requirement attribute in the application description is substituted in place of the node with the at least one requirement attribute.

Automated design for deployment of a distributed application using constraint propagation

The present invention provides a user of a state diagramming environment with the ability to specify if the user wants to develop a Moore machine or a Mealy machine. To achieve this, a set of predefined requirements is provided that restricts the state diagram semantics to either semantics of a Moore or Mealy machine. When a user provides a state diagram that does not conform to the set of requirements, the state diagram is identified as non-conforming and the user is notified of the non-conformance. The user is given information describing what aspects of the state diagram do not conform, thereby, allowing the user to quickly identify any errors that have been made. As a result of the present invention, the burden placed on the user is reduced and the time spent debugging is minimized.

Restricting state diagrams with a set of predefined requirements to restrict a state diagram to a state diagram of a moore or mealy machine

Growing community of inventors

Cambridge, MA, United States of America

Aditya Agrawal