// ************************************************************************** // // 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 // // ************************************************************************** // // The example is used to get familiar with flow statement // // ************************************************************************** module Hybrid15(){ hybrid real x; x =0.0; loop { flow{ drv(x)<- 1.0; }until(cont(x) >= 2.0); if(time <= 0.5) { next(x)= 0.0; pause; } } } drivenby Test01{ for(i=0..15) pause; }