Publication

Specifying and verifying the steam boiler problem with SPIN

1996
Conference Papers

Abstract

This paper reports the results of specifying and verifying the steam boiler problem with Promela/SPIN. Several models of the system have been produced with different degrees of completeness. Each model represents an abstract level for capturing the original problem requirements. The last model is very detailed and gives a first solution to the steam boiler problem. The model is able to drive the system and takes device failures (pumps, pump controllers, steam and water) into account. Liveness and safety properties have been successfully checked on the models to insure that the system behaviour is correct. An implementation of the system has been made using Synchronous C++, a concurrent extension of C++, and linked with the TCL/TK simulation. A presentation of future evolutions of the system is also described. This application shows that SPIN is quite appropriate for developing control process problems from specifications

Official source

https://infoscience.epfl.ch/entities/publication/2904f283-dc31-452f-8b7c-a4a3a857a66e

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

1996
Conference Papers

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/2904f283-dc31-452f-8b7c-a4a3a857a66e

About this result

Related concepts (31)

Steam engine

A steam engine is a heat engine that performs mechanical work using steam as its working fluid. The steam engine uses the force produced by steam pressure to push a piston back and forth inside a cylinder. This pushing force can be transformed, by a connecting rod and crank, into rotational force for work. The term "steam engine" is generally applied only to reciprocating engines as just described, not to the steam turbine. Steam engines are external combustion engines, where the working fluid is separated from the combustion products.

Steam

Steam is a substance containing water in the gas phase, and sometimes also an aerosol of liquid water droplets, or air. This may occur due to evaporation or due to boiling, where heat is applied until water reaches the enthalpy of vaporization. Steam that is saturated or superheated (water vapor) is invisible; however, wet steam, a visible mist or aerosol of water droplets, is often referred to as "steam".

Steam car

A steam car is a car (automobile) propelled by a steam engine. A steam engine is an external combustion engine (ECE), whereas the gasoline and diesel engines that eventually became standard are internal combustion engines (ICE). ECEs have a lower thermal efficiency, but carbon monoxide production is more readily regulated. Steam-powered automobiles were popular with early buyers. Steam was safe, reliable, and familiar. People had decades of experience with it in trains and boats, and even in experimental road vehicles.

Related publications (3)

Specifying and verifying the steam boiler problem with SPIN

Chat with Graph Search

Unsteady Aerodynamics of Low-Pressure Steam Turbines Operating Under Low Volume Flow

Process Integration Analysis of an Industrial Hydrogen Production Process

Steam unit and gas turbine power station reliable control for network black-start-up