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@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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe