In the field of process automation there exists one or more custom solutions which are not scalable and missing essential needs to automate a process. This disclosure addresses the problem of codifying a process to automate by a declarative approach. A method for declarative modeling of process for automation is provided. The method includes receiving, request for automating the process; extracting, at least one feature associated with the process to obtain a declarative model; validating, the declarative model of the process with a process automation code to obtain a process automation package; provisioning, the declarative model to access and obtain specific roles associated with the process; executing, the process automation package in a process automation platform based on the specific roles to obtain a plurality of states; and monitoring, the plurality of states and triggers at least one action associated with the plurality of states in the process automation platform.

A computer-implemented method for facilitating control system testing, and interfacing with an external dynamic process model by means of a test and simulation tool, the control system including a plurality of control module aspect types, each control module aspect type being one of a control module type and a field device signal type, wherein the method includes: c) receiving, via an I/O port of the test and simulation tool, control module aspect type data from a control module aspect type of the control system, d) converting the control module aspect type data to simplified control module aspect type data based on the control module aspect type, e) providing the simplified control module aspect type data to a simplified general control module aspect type, the simplified general control module aspect type being a simplified representation of the control module aspect type, and f) performing a feedback simulation using the simplified general control module aspect type and the simplified control module aspect type data, or g) sending the simplified control module aspect type data from the test and simulation tool to the external dynamic process model.

In the field of process automation there exists one or more custom solutions which are not scalable and missing essential needs to automate a process. This disclosure addresses the problem of codifying a process to automate by a declarative approach. A method for declarative modeling of process for automation is provided. The method includes receiving, request for automating the process; extracting, at least one feature associated with the process to obtain a declarative model; validating, the declarative model of the process with a process automation code to obtain a process automation package; provisioning, the declarative model to access and obtain specific roles associated with the process; executing, the process automation package in a process automation platform based on the specific roles to obtain a plurality of states; and monitoring, the plurality of states and triggers at least one action associated with the plurality of states in the process automation platform.

Household appliances and methods of operating household appliances are provided. The household appliance includes a user input device and a controller in operative communication with the user input device. Such methods include, or household appliances are configured for, downloading an input verification software from a remote computing device to the household appliance. An input at the user input device is detected. The methods also include, or the household appliances are also configured for, determining, by the controller of the household appliance using the input verification software, whether the detected input was intentional.

In aspects, the present invention discloses a method of configuring a plurality of devices of a control system using a configuration server connected to a plurality of data repositories using an engineering data gateway. The method comprises retrieving a first data set from a first data repository from the plurality of data repositories, retrieving a second data set associated with the first data set from a second data repositories from the plurality of data repositories, identifying at least one functional dependencies among the first data set and the second data set, generating a plurality of engineering artifacts including a configuration file, and transmitting the configuration file to a corresponding device from the plurality of devices.

An engineering tool includes a display area to display a ladder program, the display area being displayed on a display screen of a display device; and a cell, which is a temporal-operator imparted region. The cell, which is a temporal-operator imparted region, is a region that is displayed in the display area and in which a temporal operator is imparted to a program module of the ladder program. The engineering tool includes a control specification editing unit and a control-specification-descriptive-expression converting unit. The control specification editing unit creates the program module. The control-specification-descriptive-expression converting unit converts the program module into a mathematical expression that can be input to a model checking program.

An engineering tool includes a display area to display a ladder program, the display area being displayed on a display screen of a display device; and a cell, which is a temporal-operator imparted region. The cell, which is a temporal-operator imparted region, is a region that is displayed in the display area and in which a temporal operator is imparted to a program module of the ladder program. The engineering tool includes a control specification editing unit and a control-specification-descriptive-expression converting unit. The control specification editing unit creates the program module. The control-specification-descriptive-expression converting unit converts the program module into a mathematical expression that can be input to a model checking program.

In aspects, the present invention discloses a method of configuring a plurality of devices of a control system using a configuration server connected to a plurality of data repositories using an engineering data gateway. The method comprises retrieving a first data set from a first data repository from the plurality of data repositories, retrieving a second data set associated with the first data set from a second data repositories from the plurality of data repositories, identifying at least one functional dependencies among the first data set and the second data set, generating a plurality of engineering artifacts including a configuration file, and transmitting the configuration file to a corresponding device from the plurality of devices.