Sun Microsystems, Inc.

Ca, Inc.

Michael Godfrey

Serguei Mankovskii

Syed Mohammed Ali

Yury Kamen

Deepak Alur

Daniel Malks

John Crupi

Ian Davis

A method includes formatting for display, on a visual screen, an image comprising: (1) a coordinate system, (2) a plurality of distinguishable areas within the coordinate system, each distinguishable area graphically representing a respective formula, and (3) a plurality of data points. The method also includes receiving user input comprising a modification to a particular distinguishable area. In response to receiving the user input, the method includes modifying one or more respective formulas based on the modification to the distinguishable area. For each data point, the method further includes associating the data point with one of the distinguishable areas by determining which of the modified formulas the data point falls within. The method further includes formatting for display a graphical representation of each modified formula. The method additionally includes storing the graphical representation of each modified formula for use as a modified image in future operations.

Visual modification and training of an anomaly detection image

A method for analyzing a target system that includes obtaining a characteristics model, loading the characteristics model into a meta model, obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein each of the plurality of characteristics is associated with the characteristics model, storing each of the plurality of characteristics obtained from the target system in a characteristics store, and analyzing the target system by issuing at least one query to the characteristics store to obtain an analysis result, wherein the issuing the at least one query comprises verifying the at least one query using the meta model.

Method and apparatus for pattern-based system design analysis using a meta model

Growing community of inventors

Waterloo, Canada

Michael Godfrey