// ************************************************************************** // // // // 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 // // // // ************************************************************************** // package CruiseControl; macro computeThrottle (x,y) = x - y; module CruiseMode( int ?currentSpeed, int !controlThrottle, event !cruising ) { int throttle; int cruiseSpeed; cruiseSpeed = currentSpeed; always { throttle = computeThrottle(currentSpeed,cruiseSpeed); controlThrottle = throttle; emit(cruising); } }