[Haskell-cafe] FP simulators for real-time systems?

[Jamie Brandon]

Opis is an ocaml library for implementing reactive systems where the
same code can either be executed, run in a simulator or used as a
specification in a formal model checker. The model checking is only
possible because referential transparency massively reduces the state
space of the program.

http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/

Flask is a similar haskell project which generates code for sensor
networks. I don't know if they've gone as far down the
testing/modelling route.

http://www.eecs.harvard.edu/~mainland/flask/

The general theme is promising - reducing mutable state makes it much
easier to automate reasoning about code.

Jamie


On Mon, Feb 2, 2009 at 6:43 PM, Lee Pike <leepike at gmail.com> wrote:
> Hello,
>
> I'm interested to hear if anyone out there has used Haskell (or other
> functional languages for that matter) to build simulators for real-time
> systems.
>
> I'm somewhat familiar with Timber <http://www.timber-lang.org/> and similar
> languages for actually constructing real-time systems.  However, I'm more
> interested in documented uses of FP "out-of-the-box"  to build simulators
> and associated test harnesses.
>
> Pointers to published papers are particularly appreciated.
>
> Thanks!
> Lee
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>