Honeywell International Inc.

Smart Social Media, Inc.

Kirk A Schloegel

Devesh Bhatt

David V Oglesby

Valerie Guralnik

Stephen Otis Hickman

Gabor Madl

Petr Cisar

Scott McCloskey

Yunqian Ma

Ben Miller

Roland Miezianko

Steve Hickman

Doug Shimonek

Eric Engstrom

Leo Bartkus

Dave Carley

Scott Diestler

Erik Arthur

Manish Patodi

Systems and methods for controlling access to electronic collaboration content data associated with a plurality of organizations. The system includes one or more databases storing the electronic collaboration content data. An identity aggregator receives a request for access to the electronic collaboration content data from an individual's client device and determines an internal user identifier of the individual, that represents an aggregate identity of the individual corresponding to at least one of organizational identities or external identities. A content access manager maps the internal user identifier to content permissions associated with the individual across each organization that is associated with the individual and the external content services associated with the individual. The content access manager permits access by the client device to at least a portion of the electronic data stored among the databases across each organization associated with the individual and based on the individual's content permissions.

Methods of enabling inter-organizational and public social collaboration

A method for automated error detection and verification of software comprises providing a model of the software, the model including one or more model inputs and one or more model outputs, and a plurality of blocks embedded within the model each with an associated block type, the block types each having a plurality of associated block-level requirements. The method further comprises topologically propagating from the model inputs, a range of signal values or variable values, and error bounds, across computational semantics of all the blocks to the model outputs. Each behavior pivot value for a given block is identified and examined to determine if modifying or extending the propagated range by the error bound will or may cause a signal value to fall on either side of the behavioral pivot value. All occurrences of the signal value that will or may fall on either side of the behavioral pivot value are reported.

Method for automated error detection and verification of software

Embodiments of the present subject matter can enable the analysis of signal value errors for system models. In an example, signal value errors can be propagated through the functional blocks of a system model to analyze possible effects as the signal value errors impact incident functional blocks. This propagation of the errors can be applicable to many models of computation including avionics models, synchronous data flow, and Kahn process networks.

Error propagation in a system model

Systems and methods for type and range propagation through data flow models are provided. In one embodiment, a test generating system for processing data flow diagrams, the system comprises: a processor programmed to perform a test generation process; and at least one memory device coupled to the processor, the at least one memory device including a data flow diagram. The test generation process computes range information and data type information for outputs of one or more functional blocks defined by the data flow diagram by applying transformations to input range information for inputs of each of the one or more functional blocks. The transformations are at least in part performed by applying specific mathematical and functional effects that are pre-defined for each of the one or more functional blocks based on block type.

Type and range propagation through data-flow models

An apparatus includes at least one memory unit and at least one processing unit. The memory unit is configured to receive and store information associated with a particular geographical region. The processing unit configured to execute a computer program for discretizing an image of the geographical region into a plurality of sub-regions. Using these sub-regions, the processing unit may generate a graph comprising a plurality of nodes and a plurality of edges in which the nodes comprise the sub-regions. The processing unit may also geospatially partition an image of the geographical region according to the information that is associated with each of the sub-regions.

System and method for geospatial partitioning of a geographical region

A code generation system comprises a model analyzer configured to identify data dependencies in a data flow diagram that describes functional behavior of an application, wherein the model analyzer is further configured to compute a data and computation map based on the data dependencies and to compute one or more implementation constraints; a model partitioner configured to compute one or more partition boundaries based on the data and computation map and the one or more implementation constraints; and a code generator configured to generate parallelized code based on the data flow diagram, the one or more implementation constraints, and the one or more partition boundaries, wherein the code generator is configured to map the code corresponding to each partition defined by the one or more partition boundaries to one of a plurality of cores of a multi-core processor, and to generate inter-core communication code for at least one line of the data and computation map crossed by the one or more partition boundaries.

Auto-generation of concurrent code for multi-core applications

A test generator and methods for generating tests from a hybrid diagram are provided. A hybrid diagram is a diagram that primarily uses one higher-level semantic notation with portions utilizing one or more secondary higher-level semantic notations. Example higher-level semantic notations are statechart notation and data-flow notation. A test generator processes the hybrid diagram without reducing the higher-level semantic constructs to lower-level semantic constructs. The test generator generates test-generation templates as needed based on the higher-level semantic model used in the diagram. The test generator uses the test-generation templates to generate tests for a system-performing device specified by the diagram. The generated tests may be executed automatically by a test driver or manually by a human tester.

Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation

A method for detecting, analyzing, and mitigating vulnerabilities in software is provided. The method includes determining whether one or more vulnerabilities are present in one or more target software components, determining whether any detected vulnerabilities are fixable, and fixing the detected vulnerabilities that are fixable in code or in associated models used to generate code. A vulnerability-covering code is generated when one or more of the detected vulnerabilities are not fixable. A determination is then made whether there are any remaining vulnerabilities in the vulnerability-covering code. A vulnerability-aware diverse code is generated when there are one or more remaining vulnerabilities to obfuscate the remaining vulnerabilities.

Method for software vulnerability flow analysis, generation of vulnerability-covering code, and multi-generation of functionally-equivalent code

A system for information discovery of items, such as individuals or objects, from video-based tracks. The system may compute similarities of characteristics of the items and present the results in a matrix form. A similarity portrayal may have nodes representing the items with edges between the nodes. The edges may have weights in the form of vectors indicating similarities of the characteristics between the nodes situated at the ends of the edges. The edges may be augmented with temporal and spatial properties from the tracks which cover the items. These properties may play a part in a multi-objective presentation of information about the items in terms of a negative or supportive basis. The presentation may be partitioned into clusters which may lead to a merger of items or tracks. The system may pave a way for higher-level information discovery such as video-based social networks.

System for information discovery in video-based data

An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.

Method, apparatus, and system for automatic test generation from statecharts

A system for social network construction. Video analytics and association may be used to develop a social network. Also, social groups may be developed from temporal proximity of persons. In the case of several social networks, they may be collapsed into one network or a weighted graph that mining algorithms can handle.

Social network construction based on data association

A framework is provided for generating code for the model-based development of a system. According to the framework, the model-based system is modeled using graphical modeling entities. A modular code generator routine is attached directly to at least one of the graphical modeling entities or to a meta-entity or to a collection of entities. The graphical modeling entities are traversed in order to access specified code generator routines. Each of the accessed code generator routines is executed so as to build up code portion by portion for the system.

Growing community of inventors

Independence, MN, United States of America

Kirk A Schloegel