Aditya K Agrawal

US Patent:

7840913, Nov 23, 2010

Filed:

Mar 31, 2006

Appl. No.:

11/394574

Inventors:

Aditya Agrawal - Cambridge MA, US
Zhihong Zhao - Salem NH, US
Beth Cockerham - Melrose MA, US
Vijay Raghavan - Framingham MA, US

Assignee:

The MathWorks, Inc. - Natick MA

International Classification:

G06F 17/50

US Classification:

716 1, 716 4, 716 5, 717100, 717104

Abstract:

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.

US Patent:

7987461, Jul 26, 2011

Filed:

Jul 19, 2006

Appl. No.:

11/489089

Inventors:

Aditya Agrawal - Cambridge MA, US
Asit Dan - Pleasantville NY, US
Tamar Eilam - New York NY, US
Michael H. Kalantar - Chapel Hill NC, US
Alexander V. Konstantinou - New York NY, US
Heiko Hary Ludwig - New York NY, US
Hendrik Wagner - Stuttgart, DE
Steve R. White - New York NY, US

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 9/45

US Classification:

717177

Abstract:

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.

US Patent:

8141011, Mar 20, 2012

Filed:

Jan 27, 2009

Appl. No.:

12/360558

Inventors:

Zhihong Zhao - Salem NH, US
Aditya Agrawal - Cambridge MA, US
Beth Cockerham - Melrose MA, US
Vijay Raghavan - Framingham MA, US

Assignee:

The MathWorks, Inc. - Natick MA

International Classification:

G06F 17/50

US Classification:

716104, 716101, 716136

Abstract:

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.

US Patent:

20120084695, Apr 5, 2012

Filed:

Sep 30, 2010

Appl. No.:

12/895187

Inventors:

Daniel Forrest HIGGINS - Hopkinton MA, US
Syed Salman QADRI - Framingham MA, US
Aditya AGRAWAL - Cambridge MA, US
Kenneth WEISS - Framingham MA, US

Assignee:

The MathWorks, Inc. - Natick MA

International Classification:

G06F 3/048

US Classification:

715771

Abstract:

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.

US Patent:

7503027, Mar 10, 2009

Filed:

Mar 31, 2006

Appl. No.:

11/394541

Inventors:

Zhihong Zhao - Salem NH, US
Aditya Agrawal - Cambridge MA, US
Beth Cockerham - Melrose MA, US
Vijay Raghavan - Framingham MA, US

Assignee:

The MathWorks, Inc. - Natick MA

International Classification:

G06F 17/50

US Classification:

716 18, 716 1, 716 11

Abstract:

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.