Siemens Corporation

Other

Siemens Aktiengesellschaft

Siemens Medical Solutions Usa, Inc.

Siemens Corporate Research, Inc.

Brian Berenbach

R Bharat Rao

Radu Stefan Niculescu

Sathyakama Sandilya

Arun Kumar Goel

Herbert R Foster, Jr

Marek Gibiec

William Sherman

Jane Cleland Huang

Jean Hartmann

Yonghee Shin

Marcus Kornek

Yubin Li

A method for performing automatic trace retrieval includes receiving a first and second model for a system or service (S). The first model includes a first plurality of model artifacts at least partially represented by a first semantic style and the second model includes a second plurality of artifacts at least partially represented by a second semantic style. Training data including one or more correspondences between artifacts of the first plurality of model artifacts and artifacts of the second plurality of artifacts is collected. A semantic transformation table is generated for converting between the first and second semantic styles using the collected training data (S). The generated semantic transformation table is used in tracing associations between artifacts of the first plurality of artifacts and artifacts of the second plurality of artifacts (S).

Automatic trace retrieval using semantic bridge

The present invention provides a graphical user interface for presentation, exploration and verification of patient information. In various embodiments, a method is provided for browsing mined patient information. The method includes selecting patient information to view, at least some of the patient information being probabilistic, presenting the selected patient information on a screen, the selected patient information including links to related information. The selected patient information may include elements, factoids, and/or conclusions. The selected patient information may include an element linked to unstructured information. For example, an element linked to a note with highlighted information may be presented. Additionally, the unstructured information may include medical images and waveform information.

Patient data mining, presentation, exploration, and verification

A system for hazards analysis includes: a memory device for storing a program; a processor in communication with the memory device, the processor operative with the program to: access the memory device to obtain information specifying a system to be analyzed; build functional block diagrams using the information specifying the system to be analyzed; receive user-input hazards analysis elements; and use the functional block diagrams, the user-input hazards analysis elements and tree fault analysis for hazards analysis.

Systems and methods for hazards analysis

A method for modeling requirements of a product includes defining an abstract use case for each feature of said product, hierarchically decomposing each abstract use case until concrete use cases are specified for each feature, depicting every actor who would use the product as communicating with a concrete use case through a boundary, and programmatically extracting requirements from the use case diagram. Programmatically extracting requirements further includes converting use case diagrams into directed acyclic graphs, where each use case corresponds to a node of a graph and each relationship between a pair of use cases is represented by a directed edge between the corresponding pair of nodes in the graph where a directed edge points from a parent node to a child node, converting the directed acyclic graph into a tree, and searching the tree to extract the requirements.

System and method for specifying functional and non-functional requirements for a project

A method for extracting requirements of an architectural software model comprises providing a use case model as a directed graph of the architectural software model comprising nodes corresponding to use cases and relations between nodes, and creating, automatically, a tree comprising a root node corresponding to an abstract use case and at least one leaf node corresponding to one of an abstract use case and a concrete use case.

Rule-based system and method for checking compliance of architectural analysis and design models

Growing community of inventors

Edison, NJ, United States of America

Brian Berenbach