A method for generating a process model modeling a manual mode procedure instance of a plant process includes providing log events of operational actions; selecting related sequences of manual mode operational actions from the log events; filtering the related sequences according to an individual plant section; identifying a sequential order from the filtered related sequences; determining statistical properties of values of related process variables and/or statistical properties of values of related set point changes to each sequential ordered manual mode operational action from the filtered related sequences; generating the process model of the manual mode procedure instance by arranging related manual mode operational actions with the sequential order of each operational action assigned with the statistical properties of the values of related process variables and/or assigned with the statistical properties of the values of the related set point changes.

A control circuit includes a latching relay, a power loss activation circuit, and a watchdog circuit. A microcontrol unit (MCU) communicates with the watchdog circuit in a normal operation of the control circuit. As an action of a failsafe precaution in the event of a main power loss or a component failure, the MCU stops communicating with the watchdog circuit, at which point the watchdog circuit instructs the power loss activation circuit to continue operation of the control circuit. The control circuit further operates to implement mitigation operations in the event of a main power loss or component failure.

An object processing system is disclosed that includes a plurality of track sections, and a plurality of remotely actuatable carriers for controlled movement along at least portions of the plurality of track sections, wherein each of the remotely controllable carriers is adapted to support and transport an object processing bin.

Systems and methods are provided for requirements engineering, and may include: receiving as input, time series data from at least one of a simulation of a vehicle run on a simulation system, or from the vehicle in operation; a requirements monitoring system checking to determine whether a plurality of requirements for operation of the vehicle are met, wherein the requirements are expressed in signal temporal logic form and a requirement includes at least an associated minimal sampling rate and a filtering policy applicable to the requirement; determining a quantitative conformance for each of selected requirements of the plurality of requirements; and add requirements to a verified requirements set based on the qualitative conformance of the requirements.

A computer-readable medium contains cybersecurity configuration settings (CCS) generating file(s) including instructions when executed cause a processor of a computer located at a node in a networked system having computers including at least one computer system class to generate CCS. The CCS generating file includes group policy objects (GPOs) applicable to all computers, policy setting scripts that are applicable to <all the computer s, and group policy definition files which provide a policy setting library for the computer class. Execution of the CCS generating file at the node automatically generates the CCS for cybersecurity protection of the node. The computer class can include computer classes that include ≥2 different operating systems, and there can be a CCS generating file for each computer class. The CCS generating file can be a single multi-class CCS generating file that includes a plurality of CCS generating files.

Different cores of a multicore processor are used to provide diagnostics of sophisticated hardware without full redundancy by static assignment of the cores during individual cycles of the control program and comparison of the outputs. A method of automatically generating diverse programs for execution by these cores may modify one program to compile two different instructions without functionally changing that program through the use of DeMorgan equivalents and diverse compiler optimizations.

A method for automatically testing a relay is provided. The method includes applying power to a testing device for automatically testing the relay, determining a position of a selector switch based on a user selection for testing, selectively energizing the relay based on the position of the selector switch, detecting, by a hardware processor, an energize status signal from the selector switch, testing, by the hardware processor and based at least on the energize status signal, a control coil or a contact of the relay to generate a test result, and displaying, using display, the energize status signal and the test result.

A method for updating process objects of an automation project stored in an engineering system, wherein an automation device is designed and/or configured via the engineering system to control a technical process and wherein, furthermore, the technical process to be controlled can be operated and monitored via an operator system in which changes to process objects made during the run-time are not lost but secured and are automatically “updated” or “traced” in the engineering system.

A safety system according to one or more embodiments including a safety controller that executes a safety program. The safety system includes: a collection unit configured to collect an input value over a predetermined period, the input value being a value of an input signal selected previously in one or a plurality of input signals input to the safety controller; and a visualization unit configured to reproduce a behavior of the safety program over the predetermined period based on the input value collected over the predetermined period, and to express visually an operating state of the safety program at an appointed point of time in the predetermined period.

A test case is executed on a product using a hardware machine, the product being configured in manufacturing according to a configuration, the test case being related to an estimation function. A set of data points resulting from the executing is collected. Using the estimation function, an estimated time needed for the executing is computed. Using the set of data points, an actual time used for the executing is computed. A determination is made whether a difference between the estimated time and the actual time is within a tolerance. Responsive to the difference not being within the tolerance, the estimation function is adjusted using the set of data points and at least one other set of data points, the other set of data points being generated by executing the test case on a second product configured according to a second configuration at a previous time.