// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // // This module implements the pump controller that simply switches the pump on// // and off according to the given inputs. // // ************************************************************************** // package MinePump; module PumpController(event ?StopPump,?StartPump, event !SwitchOffPump,!SwitchOnPump,!PumpOff,!PumpOn){ loop { while (!StartPump | StopPump) { pause; emit (PumpOff); } emit (SwitchOnPump); while(!StopPump) { pause; emit (PumpOn); } emit (SwitchOffPump); } }