General Electric Company

Lockheed Martin Corporation

Andrew Walter Crapo

Bruce Gordon Barnett

Abha Moitra

Stephen J Dill

Michael Richard Durling

Luca Parolini

Scott Alan Stacey

Han Yu

Panagiotis Manolios

Kit Yan Siu

Michael James Hartman

Scott Charles Evans

Thomas Stephen Markham

Timothy Lee Johnson

John J Bloomer

Robert J Mitchell, Jr

Nurali Virani

Varish Vyankatesh Mulwad

Meng Li

Gregory Reed Sykes

Michael Allen Bodkin

Barbara Jean Vivier

Hsuan Chang

Daniel Edward Russell

Alexander Walsch

Emily Cooper LeBlanc

Vincent Hannon

John Patrick Elliott

James Leigh Douglass

Richard Christopher Noel

A system, method, and computer-readable medium to extract information from at least one of code and text documentation, the extracted information conforming to a base ontology and being extracted in the context of a knowledge graph; add the extracted information to the knowledge graph; generate, in a mixed interaction with a user selectively in communication with the system, computational models including scientific knowledge; and persist, in a memory, a record of the generated computational models.

Method and system for principled approach to scientific knowledge representation, extraction, curation, and utilization

A system and a method including accessing a semantic model having a grammar syntax supporting an expression including a combination of at least one of a semantic model class and an instance of a semantic model class; specifying at least one missing property specification for at least one of a semantic model class and an instance of a semantic model class, including constraints for a use of the at least one missing property; adding the at least one missing property specification to the semantic model, the at least one missing property specification added to the semantic model to be referenced in a validation and translation of an expression including a combination of at least one of the class and the instance of a class having one of the at least one missing property specified therewith; and generating a record of the semantic model including the at least one missing property specification added thereto.

Methods and systems for implied graph patterns in property chains

A system, computer-readable medium, and a method including accessing a semantic model, the semantic model having a grammar syntax supporting a comparison of at least one of a semantic model class and an instance of a semantic model class to an incompatible value; specifying an implied property for at least one of a semantic model class and an instance of a semantic model class in the semantic model, the implied property having an associated range; adding the implied property to the semantic model, the implied property to be referenced in a validation and translation of an expression including at least one of the class and the instance of a class having the implied property specified therewith compared to an incompatible value; and generating a record of the semantic model including the implied property added thereto.

Methods and systems for using implied properties to make a controlled-english modelling language more natural

A system, computer-readable medium, and a method including receiving a textual representation of a natural language expression for a system requirement; analyzing, by the processor, the textual representation of the natural language expression to determine a natural language object, the natural language object including the textual representation of the natural language expression and syntactic attributes derived therefrom; traversing, by the processor, a grammar graph representation of a modeling language to determine a partial translation of the natural language object, the partial translation including at least one ontology concept placeholder; determining, by the processor, ontology concepts corresponding to the at least one ontology concept placeholder to complete a translation of the textual representation of the natural language expression; and generating a record of the completed translation.

Methods and systems for translating natural language requirements to a semantic modeling language statement

A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.

System and method for model based technology and process for safety-critical software development

According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.

Method and system of software specification modeling

A system and method are provided that distill an organization's information security plan into a detailed and unambiguous security object model. The developed security object model provides a visualization of complex relationships between individual elements and levels that is usable to carry into effect the organization's information security plan. Configuration control and a verifiable level of security compliance are provided through implementation of the organization's information security plan by the developed security object model. The developed security object model is hosted on a computing platform in communication with at least the organization's network to provide information security plan compliance, configuration control and gap analysis in a usable form to the organization.

Security policy flow down system

A method and apparatus that provides information assurance attributes through a data providence architecture is disclosed. The method may include receiving a message having a data provenance wrapper, examining each data provenance record of the message and any attachments for discrepancies, identifying any discrepancies in the examination of each data provenance record of the message and any attachments; calculating a degree of trust based on any discrepancies identified in the examination of each data provenance record of the message and any attachments, and outputting the degree of trust to the user.

Method and apparatus for providing information assurance attributes through a data providence architecture

A method and apparatus that simulates a workflow and analyzes the behavior of information assurance attributes through a data providence architecture is disclosed. The method may include injecting one or more faults into a simulated workflow, receiving a message in the simulated workflow having a data provenance wrapper, examining each data provenance record of the message and any attachments for discrepancies, identifying any discrepancies in the examination of each data provenance record of the message and any attachments; calculating a degree of trust based on any discrepancies identified in the examination of each data provenance record of the message and any attachments, analyzing the calculated degree of trust with respect to the one or more injected faults and the information assurance attributes, and outputting the analysis to a user.

Method and apparatus for simulating a workflow and analyzing the behavior of information assurance attributes through a data providence architecture

A method and apparatus that monitors and analyzes degree of trust and information assurance attributes information in a data providence architecture workflow is disclosed. The method may include receiving a message having a data provenance wrapper, examining each data provenance record of the message and any attachments for discrepancies, identifying any discrepancies in the examination of each data provenance record of the message and any attachments; calculating a degree of trust based on any discrepancies identified in the examination of each data provenance record of the message and any attachments, and presenting the degree of trust and information assurance attributes information to the user on a display.

Method and apparatus for monitoring and analyzing degree of trust and information assurance attributes information in a data providence architecture workflow

A method and apparatus that generate a figure of merit for use in transmission of messages in a multi-level secure environment. The method may include receiving a message having a data provenance wrapper, examining each data provenance record of the message and any attachments for discrepancies, identifying any discrepancies in the examination of each data provenance record of the message and any attachments, generating a figure of merit based on objective and subjective information, substituting the figure of merit for the data provenance information, and transmitting the figure of merit with the message across the security domain.

Method and apparatus for generating a figure of merit for use in transmission of messages in a multi-level secure environment

Systems and methods for the substantially automatic creation of ontologies from unstructured documents identify phrases and core noun phrases from the respective documents. Links can be extracted from the documents. Concepts can be identified from the documents. Ontologies can be automatically created for the documents. The processing is domain independent.

System and method for automating the generation of an ontology from unstructured documents

The present invention provides a method for transferring data between source and target databases in a computer system that can adapt to changes in the schema of the source database and/or target database. This adaptability is achieved by determining the intersection of the source and target database schemas prior to a transfer of data between the databases. Since the intersection is determined prior to a transfer, changes in the schema of the source and/or target database are automatically accommodated. In one embodiment, the method includes the ability to specify the desired frequency with which data is to be transferred between source and target databases. The method, which is implemented as a computer program, is also capable of operating in a computer system in which other tasks are competing for processor time. In this embodiment, the method automatically adjusts the priority of the task of transferring data between source and target databases relative to other tasks that are competing for processor time. This adjustment is based upon information relating to the desired frequency for transferring data between source and target databases.

Apparatus and method for data transfer between databases

The present invention discloses a method and system for developing a time horizon based financial model for investing towards attaining at least one financial objective. Each financial objective is characterized by an event having a financial amount and a future time when the financial amount is expected to be needed. In the present invention, a time horizon is specified in accordance with the financial objectives. In addition, the time horizon is divided into a plurality of segments. An array of future expenses for each of the financial objectives is then provided. The array indicates recurring costs of a specified amount, frequency of the costs, and duration of the costs. A fraction of the future expenses accruing in each time horizon segment is then identified. An investment of a specified amount of money is then modeled during each of the time horizon segments for satisfying the future expenses. The amount of money invested may change as the time horizon changes from segment to segment. Next, an expected rate of return at each time horizon segment is then determined for the invested money. The expected rates of return change as the time horizon changes from segment to segment. The expected rates of return are then used to determine amounts of money to be saved for fulfilling each of the financial objectives. The amount of money saved may change as the time horizon changes from segment to segment.

Method and system for developing a time horizon based investment strategy

A system and method for managing faults in a distributed system. The fault management system includes a configuration manager that maintains configuration information of components used in the distributed system. A plurality of measurement agents obtain performance information from the components in the distributed system. A diagnostic system has a plurality of rules written according to the configuration information stored therein. The diagnostic system is coupled to the configuration manager and each of the plurality of measurement agents and identifies faults occurring in the distributed system and provides solutions for correcting the faults The diagnostic system receives the configuration information from the configuration manager and the performance information from the plurality of measurement agents and uses the configuration and performance information with the plurality of rules to identify faults and provide solutions for the faults.

Growing community of inventors

Niskayuna, NY, United States of America

Andrew Walter Crapo