Abstract: A system and method is provided that facilitates design space exploration with quantitative pruning and ranking. The system may determine a collection of component model solutions corresponding to a functional model with functional model ports for a system to be produced. The component model solutions are comprised of simulated components selected from a component library based at least in part on correspondence between component ports of the simulated components and the functional model ports of the functional model. The system may select a subset of the component model solutions from the collection, which have behaviors determined for each component model solution that are consistent with behaviors determined for the functional model. The system may determine rankings for the component model solutions of the subset relative to each other based on a comparison of behaviors for each component model solution to each other and/or to the behaviors determined for the functional model.

Abstract: A system for interacting with humans in an automation environment includes an automation system machine, one or more processors and a non-transitory, computer-readable storage medium in operable communication with the processors. The computer-readable storage medium comprises one or more programming instructions that, when executed, cause the processors to select a human from a plurality of humans working in the automation environment; retrieve information related to the human using a human programming interface (HPI); and perform one or more actions with the automation system machine based on the information related to the human.

Abstract: A method for operating a machine-human interface in an automation environment includes receiving or automatically retrieving, by a machine-human interface computer, sensor data corresponding to a plurality of humans working the automation environment. The machine-human interface computer applies a human model to the sensor data to yield a plurality of human state records, each human state record corresponding to one of the humans working within the automation environment. The machine-human interface computer also identifies automation tasks using a factory state schedule. Based on the plurality of human state records, the machine-human interface computer assigns the automation tasks to the plurality of humans.

Abstract: A system and method is provided that facilitates cyber-physical security. The system may comprise a controller including at least one first processor; a monitor system including at least one second processor; and a plurality of sensors configured to capture a plurality of measurements associated with at least one hardware component. The sensors may include both: at least one controller sensor that communicates with the controller; and at least one side-channel sensor that communicates with the monitor system and not with the at least one controller. The first processor of the controller may be configured to cause the controller to control the hardware component based at least in part on measurements from the controller sensor.

Abstract: An approach and tool integrate cyber-physical systems design based on the function-behavior-state (FBS) methodology where multi-domain simulation models capturing both the behavioral and structural aspects of a system are automatically generated from its functional description. The approach focuses on simulation-enabled FBS models using automatic and context-sensitive mappings of functional basis elementary functions to simulation components described in physical modeling languages. Potentially beneficial process loops are recognized and inserted in the functional model.

Abstract: A human-machine interface (HMI) application (26) uses parallel processing. The HMI engineering system (24) allows explicit specification (44) of different cores of a multi-core processor (16) for different elements and/or actions. The programmer may design the HMI application for concurrent operation. The HMI engineering system (24) or runtime system (28) may test (56) for data dependency amongst the elements or actions and automatically assigns different cores where data is independent. During runtime, different threads for the HMI application (e.g., different elements and/or actions) are scheduled for different cores.

Abstract: In an industrial automation environment, a three-tier architecture is used to offload human-machine-interaction (HMI) automation tasks to local mobile devices and then the cloud, to take advantage of distributed computing and processing resources and to add new features to the HMI panel system. A scheduling algorithm based on the characteristics of the HMI tasks distributes these tasks intelligently among the local HMI panel, mobile devices and the cloud, to best utilize the merits of each tier.

Abstract: A system for using digital twins for scalable, model-based machine predictive maintenance comprises a plurality of digital twins and a simulation platform. The plurality of digital twins correspond to plurality of remotely located physical machines. Each respective digital twin comprises: product nameplate data corresponding to a unique physical machine, one or more simulation models, and a database comprising run time log data collected from sensors associated with the unique physical machine. The simulation platform is configured to process simulation models corresponding to the plurality of digital twins using a plurality of multiprocessor computer systems.

Abstract: A method for performing time-slack pipeline balancing for multi/many-core programmable logic controllers includes performing a runtime analysis of a plurality of pipeline stages of a program for a multi/many-core programmable logic controller (PLC) while the program is being executed, and of a plurality of system services, to compile a profile of performance statistics of the PLC program and the system services, calculating a time slack for each of the plurality of pipeline stages of the PLC program using the profile of performance statistics, and for all pipeline stages except a longest stage, donating the time slack of each pipeline stage to an operating system of the PLC. Donating the time slack of each pipeline stage includes generating donor code that includes a set of instructions that free a processor core for a given pipeline stage for a time period identified as the time slack period.

Abstract: A functional visualization of high-level system variables is based on information from a simulation environment. A functional model is imported from the simulation environment, including function nodes and connections. Each function node includes a function name, an associated component from the simulated system, and an associated physical variable. Each connection includes source and destination functions and a connection type. Values for the physical variables are obtained via a subscription with the simulation environment. The functional visualization is created and displayed based on the functional model and the values.

Abstract: Product data management systems, methods, and mediums. A method includes receiving a functional model, and identifying a plurality of elements of the functional model. Each element corresponds to one or more machine operations. The method includes identifying concurrencies between elements to determine at least one set of elements. The method includes creating an execution thread for each of the sets of elements. The method can include generating a rule-based programmable logic controller (PLC) program corresponding to the functional model, based on the execution threads.

Abstract: A method of managing a control system includes: executing a first iteration of a program in a first processor core of a multi-core computer system during a first period (S1501), executing a second iteration of the program in a second processor core of the multi-core system during a second period that overlaps the first period (S1502); and using outputs of the iterations to control the control system (S1503).

Abstract: A method for performing time-slack pipeline balancing for multi/many-core programmable logic controllers includes performing (411) a runtime analysis of a plurality multi/many-core programmable logic controller (PLC) while the program is being executed, and of a plurality of system services, to compile a profile of performance statistics of the PLC program and the system services, (413) calculating a time slack for each of the plurality of pipeline stages of the PLC program using the profile of performance statistics, and for all pipeline stages except a longest stage, donating (414) the time slack of each pipeline stage to an operating system of the PLC. Donating the time slack of each pipeline stage includes generating donor code that includes a set of instructions that free a processor core for a given pipeline stage for a time period identified as the time slack period.

Abstract: Methods for synthesis of simulation models using functional operators. A method includes parsing a functional model, receiving a functional operator for a function within a simulation component of the functional model, receiving a structural template of the functional operator from a functional operator structural template library, mapping a plurality of functions according to the structural template of the functional operator to update the simulation component, and generating a simulation model with the updated simulation component.

Abstract: Methods for classifying and correlating simulation components to functional models. A method includes receiving a simulation component library comprising a plurality of simulation components into a memory of the data processing system, parsing the plurality of simulation components from the simulation component library, analyzing a plurality of extracted functions into a plurality of function graphs for each of the plurality of simulation components, composing an extracted functions graph with the plurality of extracted functions of the plurality of function graphs, and storing the extracted functions graph of the plurality of extracted functions in a components-to-function database.

Abstract: Methods for product data management and corresponding systems and computer-readable mediums. A method includes receiving and parsing a functional model to produce a functional model graph, and receiving and parsing a three-dimensional (3D) model that corresponds to the functional model to produce a 3D model graph. The method includes identifying a plurality of one-dimensional (1D) candidate components corresponding to the functional model graph and the 3D model graph. The method includes creating a 1D graph corresponding to the 1D candidate components, parameterizing the 1D components in the 1D graph, and generating a 1D model from the parameterized 1D components.

Abstract: A method of identifying and extracting functional parallelism from a PLC program has been developed that results in the ability of the extracted program fragments to be executed in parallel across a plurality of separate resources, and a compiler configured to perform the functional parallelism (i.e., identification and extraction processes) and perform the scheduling of the separate fragments within a given set of resources. The inventive functional parallelism creates a larger number of separable elements than was possible with prior dataflow analysis methodologies.

Abstract: An arrangement is proposed for creating and executing human-machine interface (HMI) applications in various heterogeneous computing and communication environments. The arrangement includes an engineering system for designing HMI applications based upon a library of known HMI elements, a runtime system for determining an optimum configuration for executing the designed HMI applications and a knowledge repository that communicates with both the engineering system and the runtime system. The knowledge repository stores information related to various ones of the known HMI elements, as well as information created by application developers and information generated during execution of an HMI application by the runtime system. Thus, the knowledge repository can interact with the engineering system for updating information regarding selected elements and interacting with the runtime system to collect execution information for use in subsequent application developments.

Abstract: An arrangement is proposed for creating and executing human-machine interface (HMI) applications in various heterogeneous computing and communication environments. The arrangement includes an engineering system for designing HMI applications based upon a library of known HMI elements, a runtime system for determining an optimum configuration for executing the designed HMI applications and a knowledge repository that communicates with both the engineering system and the runtime system. The knowledge repository stores information related to various ones of the known HMI elements, as well as information created by application developers and information generated during execution of an HMI application by the runtime system.

Abstract: A method for pipeline parallelizing a control program for multi-core execution includes using (12) data dependency analysis on a control program to identify tasks that can be performed in parallel, identifying (13) a largest task Tmax requiring the most execution time of the identified tasks, identifying (14) cut-points in the largest task Tmax where data dependency delays decouple the task, inserting (15) delayed data dependencies into cut-points of the largest task Tmax to create N pipeline sub-tasks, in which N is a number of cores available to a processor on which the control program will be executed, and scheduling (16) the tasks and pipeline sub-tasks to the available processor cores.