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
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