General Electric Company

Lockheed Martin Corporation

Timothy Lee Johnson

Steven Hector Azzaro

Paul Edward Cuddihy

Michael Richard Durling

Stephen Thomas Treacy

Daniel Joseph Cleary

Eladio Clemente Delgado

Mauricio Castillo-Effen

Catherine Mary Graichen

Sahika Genc

Andrew Walter Crapo

Tarik Yardibi

Meena Ganesh

Scott Alan Stacey

Luca Parolini

Meng Li

Han Yu

David Alan Sitzman

Panagiotis Manolios

LiJie Yu

Gregory Reed Sykes

Kit Yan Siu

David R Darling

Alexander Walsch

Xi Wang

Jeremiah Francis Donoghue

Percy N Funchess, Iii

Martin E Kaliski

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

A system, medium, and method, including receiving a set of formalized requirements for accomplishing a mission; allocating, by the processor using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities, the team to execute specific tasks according to their role to accomplish the mission; and generating, by the processor using controller synthesis and verification techniques, automata for accomplishing the mission for the plurality of assets, the automata being encoded to confer an ability to dynamically react to external inputs during a run-time execution of the automata by the plurality of assets.

Method and system for mission planning via formal verification and supervisory controller synthesis

A fault monitoring system for an electrical substation includes one or more arrays of acoustic sensors placed around a substation boundary and configured to measure acoustic pressure waves. A processing circuitry in the fault monitoring system localizes and identifies faults in the substation and includes a sound source localization module to identify an area of a sound source based on the acoustic pressure waves. A beamforming module of processing circuitry provides enhanced acoustic pressure waves by eliminating background noise and interfering noise from the acoustic pressure waves and a component signature classification module in the processing circuitry compares enhanced acoustic pressure waves with component signatures to classify the acoustic pressure waves into various events to detect faults in the electrical substation.

Electrical substation fault monitoring and diagnostics

An electrocardiogram (ECG) monitoring system configured to determine an index that comprises a set of indicators, where each indicator is indicative of a level of signal quality in an ECG lead. Further, the ECG monitoring system assigns a first indicator from the set of indicators to a first ECG lead signal and communicates the first indicator to a user.

System and method for signal quality indication and false alarm reduction in ECG monitoring systems

An identification system and method comprising attaching an identification tag to an inside surface of a shipping container port cover and communicating data from the tag via electromagnetic radiation.

Unobtrusive proprioceptive monitor for shipping containers and vehicles

The present invention provides a means by which the reliability of communication between any RFID reader and tag in an RFID system is improved by using an 'interleaved parity' algorithm. The improved reliability is obtained by computing, on one RFID device, an interleaved parity code for a message, sending the message with the code from the RFID device, receiving the message on the other RFID device which computes another interleaved parity code for the received message. The two parity codes are compared and if the codes are the same, the message can be parsed and interpreted. If the codes indicate that one bit of the message is incorrect, the incorrect bit is corrected and the message is parsed and interpreted. Otherwise, a request for a new message is sent to the RFID device, and, if appropriate, an indication of two erroneous bits is also sent.

RFID protocol for improved tag-reader communications integrity

A system and method for electrophysiological monitoring system including a plurality of sensors configured to detect one or more health parameters of a patient and a monitoring device configured to receive a plurality of sensing signals from the sensors and output a monitoring signal representative of an alarm sequence, wherein the alarm sequence comprises a set of alarm events identified in the sensing signals. The system also includes an on-line monitoring module configured to generate a suffix tree data structure in response to the monitoring signal to identify alarm patterns from the set of alarm events and classify the alarm sequence in response to the occurrences of alarm patterns in the alarm sequence. The on-line monitoring module is further configured to alert monitoring personnel of an alarm condition after processing the alarm sequence in real-time.

System and method of discovering, detecting and classifying alarm patterns for electrophysiological monitoring systems

The present invention provides a computer implemented method for maintaining a knowledge base. The method taking as input, text examples that are tagged with a structural markup language; and maps knowledge nodes in the knowledge base with the tagged examples to determine: (1) the knowledge nodes that best match the tagged examples, and (2) the knowledge nodes that are best connected to the tagged examples. The results are displayed to the user, who verifies that the tagged examples match the selected knowledge nodes. Based on the user response, indices of the knowledge nodes are updated. The method may further include determining discrepancies between the existing knowledge base and the tagged examples, and further displaying the discrepancies to the user. The user can update the missing information in the knowledge base to remove the discrepancies in the existing knowledge base.

Process for semi-automatic maintenance of a knowledge base using tagged examples

A method of integrating case based reasoning data and FMECA data for product life cycle support. The method comprises creating an access path to case based data using a FMECA classification. The creating includes receiving a case based record including heading data. The heading data includes data elements and the data elements are correlated with data fields in a FMECA database. The FMECA database is searched for an entry that includes one or more of the data elements. The creating further includes determining if the entry should include a reference to the case based record. A new pointer to the case based record is inserted if the determining results in finding that the entry should include a reference to the case based record. The method for integrating case based reasoning data and FMECA data further comprises receiving a request from a user to access the case based data. The case based data is accessed via the FMECA database using the access path in response to the request.

Method, system and computer product for integrating case based reasoning data and failure modes, effects and corrective action data

A method for performing failure mode and effects analysis throughout the product life cycle. The method comprises receiving incident data from a requestor. The incident data includes a requestor product and a requestor fault mode. A shared failure mode and effects analysis database is accessed and searched for an existing entry that includes the incident data. The contents of the existing entry are transmitted to the requestor in response to locating an existing entry.

Method, system and computer product for performing failure mode and effects analysis throughout the product life cycle

A system and method for detecting if a UAV is operating within its flight envelope. The invention includes defining the flight envelope of the UAV. The operating state of the UAV is identified from a present time to a future elapsed time. The invention determines if the UAV will be within its flight envelope at the end of the elapsed time in the future. It can then command the UAV to maintain operation within the flight envelope if the operating state determined is outside the flight envelope.

Automatic flight envelope protection for uninhabited air vehicles: method for determining point in flight envelope

A method and system for automatic flight envelope protection to reduce damage and mishap rates of vehicles. The method and system generally include receiving a mission command from a mission management system that contains a predetermined flight mission; evaluating whether executing the command will maintain the vehicle within a flight envelope; modifying the command to one when executed will maintain the vehicle within the flight envelope, if otherwise; replanning and updating the mission pursuant to the command; sending the command to a flight control center; measuring the vehicle's state to determine if the command was executed as planned, and finally obtaining a next mission command.

Growing community of inventors

Niskayuna, NY, United States of America

Timothy Lee Johnson