Rune G. Madsen

Learn More
In this paper, we present a method for automatic verification of real-time control programs running on LEGO® RCX™ bricks using the verification tool UPPAAL. The control programs, consisting of a number of tasks running concurrently , are automatically translated into the timed au-tomata model of UPPAAL. The fixed scheduling algorithm used by the LEGO® RCX™(More)
  • 1