Publication

The steam boiler problem in Lustre

1996
Conference Papers

Résumé

This paper reports the results of specifying, verifying and implementing the steam boiler problem with Lustre. The model is detailed and is able to drive the system and takes device failures (pumps, pump controllers, water, steam and transmission) and emergency stop into account. Safety properties have been checked on the model with Lesar, the Lustre model-checker. An implementation of the system have been made using the C code produced by Lustre from the model and linked with the TCL/TK simulation. This application shows Lustre's suitability for developing safe control process problems from specifications

Source officielle

https://infoscience.epfl.ch/entities/publication/63586ef6-016a-48d4-84aa-f18de06bb8a1

À 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.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

1996
Conference Papers

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/63586ef6-016a-48d4-84aa-f18de06bb8a1

À propos de ce résultat

Concepts associés (21)

Contrôle de processus

Le contrôle de processus est un terme utilisé pour désigner l'ensemble du matériel et des logiciels servant à piloter et surveiller le processus de fabrication de produits. Il est le plus souvent constitué d'une chaîne de moyens (appelée boucle de régulation) : capteurs de mesures physiques ou physico-chimiques : pression, niveau, débit, température, pH, viscosité, turbidité, conductivité... Ces capteurs fournissent aux régulateurs de manière continue ou discrète l'indication directe ou indirecte de l'état du processus.

Machine à vapeur

La machine à vapeur est un moteur à combustion externe qui transforme l'énergie thermique de la vapeur d'eau (produite par une ou des chaudières) en énergie mécanique. Les évolutions les plus significatives de cette invention datent du . Comme première source d'énergie mécanique maîtrisée par l'homme (contrairement à l'énergie hydraulique, marémotrice ou éolienne, qui nécessitent des sites spéciaux et que l'on ne peut actionner facilement à la demande), elle a une importance majeure lors de la révolution industrielle.

Boiler (power generation)

A boiler or steam generator is a device used to create steam by applying heat energy to water. Although the definitions are somewhat flexible, it can be said that older steam generators were commonly termed boilers and worked at low to medium pressure () but, at pressures above this, it is more usual to speak of a steam generator. A boiler or steam generator is used wherever a source of steam is required.

Afficher plus