<div dir="ltr">On Sun, Aug 28, 2011 at 22:33, Vasili I. Galchin <span dir="ltr">&lt;<a href="mailto:vigalchin@gmail.com">vigalchin@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
     1) The reason I said &quot;over the top&quot; is that QNX is highly optimized to bound kernel pathways. I was able to read kernel code. I have also worked on LynxOS and pSOS. Not dissing you <img goomoji="330" style="margin:0pt 0.2ex;vertical-align:middle" src="cid:330@goomoji.gmail"><br>
</blockquote><div><br></div><div>Sure, there are plenty of RTOSes out there.  There were back then, too; there are still times when simpler environments are preferred (admittedly, some of them are more psychological than justifiable by the intended usage).  I still think &quot;over the top&quot; is itself a bit over the top; we are far from being able to replace the immense number of traditional PLCs or embedded devices out there which nevertheless need to be retrofitted in software to support newer technologies.  (See below; you have about 0% chance of getting someone to rip out all the existing PLCs on every segment of every track in the country and replace it with a computer running QNX or VXWorks.  Even ignoring the [mostly labor, but with the number of devices in question even the hardware adds up] cost, consider the logistics; the segments that need it most are the ones you can&#39;t afford to take offline for any significant amount of time while refitting and testing the new gear.)</div>
<div><br></div><div>Now imagine that someone has a large deployed base of simple dedicated embedded hardware and needs to retrofit SMTP into it.  That&#39;s a software-only change, and waving a manual while intoning &quot;QNX&quot; won&#39;t get you anywhere with the hardware.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">     2) What is the Haskell package that you are alluding to. I would like to know plus probably others on this list.<br>
</blockquote><div><br></div><div>Hm, I&#39;m not sure it hit Hackage; I&#39;m not seeing anything obvious there aside from vaguely recalling some changes to Atom to make it more suitable for code generation for PLCs.  You might, however, take a look at <a href="http://cs.swan.ac.uk/~cspj/docs/calco.pdf">http://cs.swan.ac.uk/~cspj/docs/calco.pdf</a> which uses Haskell SAT solvers to validate PLC ladder logic for track safety; I don&#39;t know how much of the rest of the system is in Haskell.</div>
<div><br></div></div>-- <br>brandon s allbery                                      <a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a><br>wandering unix systems administrator (available)     (412) 475-9364 vm/sms<br>
<br>
</div>