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

Jamie Brandon jamiiecb at googlemail.com
Mon Feb 2 14:15:03 EST 2009

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.


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.


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


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

More information about the Haskell-Cafe mailing list