Case Study: Minepump

The Minepump case-study has been pesented by Classen et al. ( The purpose of the minepump system is to keep a mine shaft clear of water while avoiding the danger of a methane related explosion. It consists of a water pump, a sensor measuring the water level and a sensor measuring the abundance of methane in the mine. The system is supposed to activate the pump once the water level reaches a preset threshold, but only if the methane is below a critical limit.

Feature Diagram

The feature diagram in TVL format (see TVL) may be downloaded here: minepump.tvl

The feature diagram in SPLOT format (see SPLOT) may be downloaded here: minepump.splot.xml

Featured Transition System

The model may be downloaded here: minepump.fts