Abstract: A method and system for managing IoT-based devices (104A-N) in an Internet-of-Things (IoT) environment (100, 700) is disclosed. In one embodiment, the method comprises determining violation of at least one pre-defined security requirement by at least one IoT-based device (104A). Then, the method comprises generating a unique signature of the IoT-based device (104A) based on information associated with the IoT-based device (104A). The method comprises terminating communication between the IoT-based GT device (104A) and the IoT-cloud platform (102). Also, the method comprises sending a first notification indicating that the IoT-based device (104A) violates the at least one pre-defined security requirement to the IoT-based devices (104B-N) connected to the IoT-cloud el platform (102). The first notification comprises the unique signature of the IoT-based device (104A).

Abstract: A cloud gateway device (20) and a method for operating the same is proposed, wherein the cloud gateway device (20) is conventionally communicatively connected to one or more IIoT devices (12) to at least collect data therefrom, and to the cloud (18) to send collected data into the cloud (18), wherein the cloud gateway device (20) comprises a transparency module (50) provided for implementing transparency features into the cloud gateway device (20), and wherein operating the said cloud gateway device (20) comprises acquiring industrial data from the IIoT devices (12) and/or the cloud gateway device (20) and computing information (transparency information) pertaining to the said industrial data.

Abstract: In a method for error detection and monitoring an electronically closed-loop or open-loop controlled machine part, operating parameters and monitoring parameters of machine parts are recorded and stored. A comparison group of comparable machine parts and comparable operating parameters is determined based on the recorded and stored operating parameters and a machine part to be compared. A statistical analysis procedure is used for creating a threshold value based on the determined comparison group, and for detecting a variance of at least one state or at least one of the monitoring parameters based on the threshold value. The variance is assigned to the machine part.

Abstract: A method and a computer program having an implementation of the method for updating software in a plurality of cloud gateways, by which automation solutions are connected to the cloud, are provided. A ranking of the cloud gateways according to a hazard potential of the connected automation solutions is determined. A success of the update occurring in the preceding step is checked before the updating is continued. The updating is continued with a cloud gateway or a group of cloud gateways having the next higher hazard potential if, in the step for checking the success of the preceding update, it was determined that the update occurred without errors. The checking of the success of the preceding update and the continuing of the updating are repeated until the update has also occurred for the cloud gateway or a group of cloud gateways having the highest hazard potential.

Abstract: A method and a computer for protecting a computer, particularly an industrial automation component, against cybercriminal threats, wherein application programs are installed on the computer, different application programs being required for different functions of the computer, where at least two security stages are defined, such that for each security stage, functions are defined that are either undeactivatable in the event of cybercriminal threats to the functions and/or deactivatable in the event of cybercriminal threats to the functions, where identified functions and modules are selected which are allowed to be deactivated, and where selected modules are blocked, and functions are deactivated such that it is possible to dynamically deactivate optional software modules depending on cybercriminal threats and security stage of the computer to thereby constantly and optimally adapt the usable functional scope of the computer to a threat location and applicable respective operating conditions.

Abstract: A method and system is provided for provisioning software applications on edge devices in an Internet-of-Things (IoT) environment. In an embodiment, a method includes generating a plurality of simulation instances capable of simulating behavior of a software application on one or more edge devices in the IoT environment. Each simulation instance is configured with a unique resource configuration. The method includes processing the software application on each simulation instance using data from a plant. Furthermore, the method includes computing an optimum resource configuration associated with the software application based on processing of the software application on the simulation instances.

Abstract: The present disclosure relates to a method and system for provisioning software applications on edge devices in an Internet-of-Things (IoT) environment. In an embodiment, a method includes generating a plurality of simulation instances capable of simulating behavior of a software application on one or more edge devices in the IoT environment. Each simulation instance is configured with a unique resource configuration. The method includes processing the software application on each simulation instance using data from a plant. Furthermore, the method includes computing an optimum resource configuration associated with the software application based on processing of the software application on the simulation instances.

Abstract: A system for control and/or analytics of an industrial process, includes at least one plant-side automation unit, and at least one external processing unit. The automation unit receives process input variables, determines results of a first process control algorithm based on the process input variables within a defined period of time and sends the process input variables to the processing unit. The processing unit executes a second process control algorithm on the basis of the process input variables and the local automation unit receives the results of the second process control algorithm. The plant-side automation unit checks whether the results of the second process control algorithm were received within a time less than or equal to the defined time period. The plant-side automation unit applies the results of the second process control algorithm to the process, when the results were received within a time less than or equal to the defined time period.

Abstract: A system for the transmission of data relating to an object includes a local computing unit assigned to the object, said local computing unit including data memory, an evaluation unit and an application. The application causes the evaluation unit to store data relating to the object in the data memory. A software agent collects the data relating to the object stored in the data memory and transmits it to an external computing unit via a data connection. The software agent has a classification module that classifies the data relating to the object into sensitive data and non-sensitive data. The sensitive data is transmitted to the external computing unit using an encryption algorithm, and the non-sensitive data is transmitted to the external computing unit unencrypted.

Abstract: Method for transferring data from a device to a data management means, switching unit, device and system The invention relates to a method for transferring data (16) from a device (6) to a data management means (4). In order to reduce the amount of data transferred and according to the method of the invention, using modeling data (26, 42) present in the device (6) a model (30, 44) described by the modeling data (26, 42) is determined. Using the model (30, 44), the data that is actually to be transferred to the data management means (4) is selected from a volume of data (40) provided for transfer. The device (6) transfers the selected data to the data management means (4).

Abstract: The present disclosure is directed to a master-slave flip-flop memory circuit having a partial pass gate transistor at the input of the master latch. The partial pass gate transistor includes a pull-up clock enabled transistor for selectively coupling a high output of a test switch to the input of the master latch. The input of the master latch is also directly coupled to a low output of the test switch around the partial pass gate. In addition, a revised circuit layout is provided in which the master latch has three inverters. A first inverter is coupled to the input of the master latch. Second and third inverters are coupled to an output of the first inverter, with the second inverter having an output coupled to the input of the first inverter, and the third inverter having an output coupled to an output of the master latch. The first and second inverters are clock enabled, and the third inverter is reset enabled.

Abstract: A device network communicates with a remote platform such as a cloud service via a gateway. A network monitor device monitors network health and may adjust the amount of data collected by the gateway, reducing the amount of data collected in case of poor network health.

Abstract: The present disclosure relates to a method for electronic design verification. Embodiments may include receiving, using at least one processor, an electronic design and automatically identifying one or more code coverage points from a netlist of an original model associated with the electronic design. Embodiments may include receiving a property and one or more elements, each of the one or more elements corresponding to one of the one or more code coverage points. Embodiments may further include performing model checking based upon, at least in part, the property and the one or more elements. Embodiments may also include verifying the property and generating an unsatisfiability core based upon, at least in part, the one or more elements.

Abstract: The present disclosure is directed towards electronic circuit design and verification. Embodiments may include receiving, using a processor, source code corresponding to at least a portion of an electronic design and generating at least one coverage model for each of a dynamic verification and a formal verification. The method may further include determining a formal data set including stimuli coverage status, cone of influence coverage status, and proof coverage status and consolidating the formal data set using a user-programmable consolidation function to generate a combined formal coverage data set.

Abstract: A method is provided for securely connecting devices to the cloud by virtue of a particular device being connected to a concierge service of the cloud and transmitting information relating to the security functions offered by the device to the service, whereupon the concierge service determines, based on the information which is transmitted by the requesting device and relates to the security functions of the latter, a security profile which is appropriate for the device and connects the requesting device to a communication channel appropriate for the determined security profile.

Abstract: A photodetector cell may include a substrate, and a first contact carried by the substrate and having a first work function value. The photodetector cell may include a second contact carried by the substrate and having a second work function value different from the first work function value, and a semiconductor wire carried by the substrate and having a third work function value between the first and second work function values. The semiconductor wire may be coupled between the first and second contacts and comprising a photodiode junction.