// ************************************************************************** // // 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 Hybrid5(){ //bool y; hybrid real x; x = 0.1; next(x)=0.5; loop{ l1,l2:flow{ drv(x) <- 2.0 + x; }until(cont(x)>=1.0); //pause; l3,l4:flow{ drv(x) <- 2.5 + x; }until(cont(x)>=5.0); } } drivenby{ pause; for(i = 0..1) pause; }