If any one has been looking at this and wants another example, I've finished two posts on the topic of Atom.<br><br>These posts depend on a patch: <a href="http://code.sw17ch.com/blog/atom/atom_0.0.2_sw17ch_1.diff">http://code.sw17ch.com/blog/atom/atom_0.0.2_sw17ch_1.diff</a><br>
<br>Part 1: <a href="http://blog.sw17ch.com/wordpress/?p=84">http://blog.sw17ch.com/wordpress/?p=84</a> <- Brief discussion and describes the patch<br>Part 2: <a href="http://blog.sw17ch.com/wordpress/?p=111">http://blog.sw17ch.com/wordpress/?p=111</a> <- Writing a program to blink an LED.<br>
<br>Feed back would be appreciated!<br><br clear="all">/jve<br><br><div class="gmail_quote">On Sun, Apr 26, 2009 at 4:39 PM, Tom Hawkins <span dir="ltr"><<a href="mailto:tomahawkins@gmail.com">tomahawkins@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Atom is a DSL in Haskell for designed hard realtime embedded programs.<br>
At Eaton, we are using it to control hydraulic hybrid refuse trucks<br>
and shuttle buses. After my talk at CUFP<br>
(<a href="http://cufp.galois.com/2008/schedule.html" target="_blank">http://cufp.galois.com/2008/schedule.html</a>), a few people inquired<br>
about atom -- I finally had a chance to upload it to Hackage.<br>
<br>
<a href="http://hackage.haskell.org/cgi-bin/hackage-scripts/package/atom-0.0.2" target="_blank">http://hackage.haskell.org/cgi-bin/hackage-scripts/package/atom-0.0.2</a><br>
<br>
Some new enhancements:<br>
- A simple rule scheduler for load balancing.<br>
- Signal probing for debug and data logging.<br>
- Functional coverage to monitor which rules have executed.<br>
- Started integration with the Yices SMT solver for bounded model checking.<br>
<br>
Experiences with our Eaton project:<br>
- 5K lines of Haskell/atom replaced 120K lines of matlab, simulink,<br>
and visual basic.<br>
- 2 months to port simulink design to atom.<br>
- 3K lines of atom generates 22K lines of embedded C.<br>
- Design composed of 450 atomic state transition rules.<br>
- Rules with execution periods from 1ms to 10s all scheduled at<br>
compile time to a 1 ms main loop.<br>
- 3 minute compilation time from atom source to ECU.<br>
- Atom design clears electronic/sw testing on first pass.<br>
- Currently in vehicle testing with no major issues.<br>
<br>
<br>
Tom<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br>