Copilot[1] is a dataflow stream language built on Atom[2] for writing hard real-time C monitors of embedded systems. Copilot is a Haskell eDSL. The current release includes the following improvements: * Added true & false Specs (Spec Bool). * Removed generic const -- unneeded, since Spec is an instance of Num. * Change casting to only allow casts that (1) are guaranteed not to change the sign and (2) are to a larger type. * Added triggers---C functions to call when a monitor fails. * Removed libs from Copilot.hs. You must import these explicitly. * Fixed bugs with LTL and ptLTL libraries & examples and added documentation. * Added external arrays for sampling. * Fixed a bug in external array analysis for computing the minimum period size. * Added the ability to specify a HW clock for Atom. [1] http://hackage.haskell.org/package/copilot and http://leepike.github.com/Copilot/ [2] http://hackage.haskell.org/package/atom Regards, Lee