Cause and effect logic application implementation
AssigneeGeneral Electric Company
InventorWilliam Joseph Quinn
Life of this patent
Estimating the term…
Abstract
A method for Cause and Effect application logic implementation includes defining a formal methodology for specification of functional requirements for a target system based upon Cause and Effect notation and function blocks and employing a computer-aided specification tool-set to support capture and validation of functional requirements. The method further includes employing a software module to directly execute Cause and Effect application logic.
Claims50
A method for Cause and Effect application logic implementation, said method comprising the steps of:
- defining a formal methodology for specification of functional requirements for a target system based upon Cause and Effect notation and function blocks, wherein said defining includes generating a function block applied to control a target system that cannot be controlled by applying the Cause and Effect notation;
- employing a computer-aided specification tool-set to support capture and validation of functional requirements;
- and
- employing a software module to directly execute Cause and Effect application logic.
A computer for Cause and Effect application logic implementation, said computer configured to:
- receive a defined formal methodology for specification of functional requirements for a target system based upon Cause and Effect notation and function blocks, wherein the function blocks are applied to control a target system that cannot be controlled by applying the Cause and Effect notation;
- capture at least one functional requirement;
- validate at least one captured functional requirement;
- and
- directly execute Cause and Effect application logic.
A database comprising:
- data relating to Cause and Effect notation;
- and
- data relating to at least one Function block applied to control a target PLC system that cannot be controlled by applying the Cause and Effect notation.
Dependencies are inferred from the claim text.