Sequential function chart validation tool
AssigneeRockwell Automation Technologies, Inc.
InventorRobert C. Kline
Life of this patent
Estimating the term…
Abstract
Automated program validation components are provided to facilitate software program development for industrial control systems and processes. In one aspect, a simulation tool is provided for an industrial automation system. The simulation tool includes a transform component that receives one or more program chart components as input and outputs a subset of model components for simulation. A simulation component executes the subset of model components in order to validate the program chart components.
Claims34
A simulation tool for an industrial automation system, comprising:
- a transform component that receives one or more program chart components as input and outputs a subset of model components for simulation;
- and
- a simulation component that executes the subset of model components in order to validate the program chart components.
A computer readable medium having computer executable instructions stored thereon to facilitate program validation in an industrial automation environment, comprising:
- generating a program chart for an industrial control system;
- reducing the program chart to a simplified model;
- and
- executing the simplified model via one or more event messages.
A method to validate an industrial control program, comprising:
- generating a programmable logic controller (PLC) chart structure;
- transforming the PLC chart structure to a simplified model structure;
- and
- simulating the simplified model structure to validate or invalidate the PLC chart structure.
A program verification component for an industrial control system, comprising:
- means for transforming sequential function chart components into a simulation model having a subset of components;
- and
- means for executing the subset of components from the simulation model to facilitate verification of the sequential function chart components.
Dependencies are inferred from the claim text.