[Haskell-cafe] FP simulators for real-time systems?
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
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:
> 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
> 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.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe