Room    : CS202J
Date    : 01 March 2007
Time    : 12:15 -- 13:15
Speaker : Matthew Naylor, Jan Tobias Muehlberg
Title   : FUN with Lego Mindstorms

Abstract:
In this talk, we will present how Lego Mindstorms robots can
serve as a delightful example for the development of
safety-critical embeded software systems. We will give a brief
overview of Esterel's SCADE suite and show how it can be used to
design programs for Lego robots, to prove safety properties for
these programs and to generate C source code that actually runs
on the Mindstorms RCX. In addition to this, Matthew will explain
how the whole stuff can be done using Haskell. The talk is based
on our experience from the Reactive Systems Design module.