Supervision (informatique)

Résumé

La supervision est une technique industrielle de suivi et de pilotage informatique de procédés de fabrication automatisés. La supervision concerne l'acquisition de données (mesures, alarmes, retour d'état de fonctionnement) et des paramètres de commande des processus généralement confiés à des automates programmables. Dans l'informatique, la supervision est la surveillance du bon fonctionnement d’un système ou d’une activité. À ne pas confondre avec l'hypervision, qui elle correspond à la centralisation des outils de supervision, d’infrastructure, d'applications et de référentiels (ex. : CMDB). Supervision des procédés En informatique industrielle, la supervision des procédés peut être une application de surveillance, de contrôle-commande évolué, de diagnostic. Un logiciel de supervision fonctionne généralement sur un ordinateur en communication, via un réseau local ou distant industriel, avec un ou plusieurs équipements : Automate Programmable Industriel, ordinateur,

Source officielle

https://fr.wikipedia.org/wiki/Supervision_(informatique)

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (46)

Publications associées

Chargement

Personnes associées (5)

Personnes associées

Chargement

Unités associées (3)

Unités associées

Chargement

Concepts associés (11)

Concepts associés

Chargement

Cours associés (5)

Cours associés

Chargement

Séances de cours associées (13)

Séances de cours associées

Chargement

Modelling and monitoring industrial automation systems

Rodrigo Garcia Garcia

The modelling of a manufacturing enterprise is not an easy task. A manufacturing enterprise is a complex system where technical knowledge is as important as management abilities. For taking more accurate management decisions and for these decisions to have a quick impact on manufacturing activities, the communication between the higher and lower levels of an enterprise must be fluent. The fluent communication of the different levels of an enterprise is called integration. When this integration is achieved thanks to the use of computers, it is called Computer Integrated Manufacturing (CIM). In the first part of this work, we study the methodologies that have been developed for enterprise modelling and integration and we propose a new functional analysis technique based on the combination of certain elements of the studied methodologies. The second part of this work deals with low level communication aspects of distributed control systems and shows how to use SFCs for determining the state of graphical components and for composite event detection.

EPFL2006

Chargement

Supervisory Control and Data Acquisition (SCADA) systems are nowadays widely used in modern industry. Their utility has been proven over the past decades to supervise any automated processes. The scope of applications of such a system has been extended from industrial to infrastructure and facility processes. Classic SCADA systems offer tools to help monitoring and analyzing data from this type of systems, but the existing approaches are often limited to Data Warehousing and Reporting. The main problem of these solutions is that they are not designed to work on online mode and can be seen as batch processing on archived data. In this thesis we study how to link machine learning solutions to SCADA systems on large infrastructures. The solution we propose in this work is a complete framework with its architecture providing a ’toolkit’ with different modules to build online solutions on top of a SCADA system.

2015

Chargement

, ,

Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of safety-critical software but is still underused in industry due to the complexity of building and managing formal models of real applications. In this paper, we propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (e.g., CTL, LTL) on PLC programs. This methodology is based on an Intermediate Model (IM), meant to transform PLC programs written in various standard languages (ST, SFC, etc.) to different modeling languages of verification tools. We present the syntax and semantics of the IM and the transformation rules of the ST and SFC languages to the nuXmv model checker passing through the intermediate model. Finally, two real cases studies of CERN PLC programs, written mainly in the ST language, are presented to illustrate and validate the proposed approach.

Institute of Electrical and Electronics Engineers2015

Chargement