Publications
Web Links
Contacts
Critical Products
Risks to Public
Archive
Blog Listing

Welcome to the home page for Emendo Ex Erratum !

Hi, my name is Richard Wallace and this is my personal, and a little work-related, web site.  I chose the Latin emendo ex erratum "To free from faults out of error," or freedom from faults due to error, to be the overarching message of this site. The topics here are for the advancement of sound, science-based design, proof, and implementation of Critical Software Products through use of formal mathematics, theorems, systems thinking, and analysis of safety critical systems.

The site is a "blog" site but more than that, it is a site for education and information.  I invite those interested in these ideas and topics to contact me as I am interested in collaboration.  Notations I like to use are Z and CSP.  I also know HOL, Larch, and to some extent, ACL2.  I am active in the IEEE 1076 VHDL 200X effort and I also am active in the IEEE 1850 PSL efforts.  The former is the VHSIC Hardware Description Language (VHSIC is Very High Speed Integrated Circuit).  The latter is the Property Specification Language (adopted from IBM Sugar 2.0, and then modified).  I am open to consulting on a case by case basis.  See contact information.

While some may put forward that that it's all "been there, done that" and it is passé, with modern processes bringing great products to market I think that this is not true nor sound as a conclusion.  Reading Risks to the Public will give many examples.  In each and every case had sound proof of systems taken place, the risk would have been abated.

I'm going to be updating the site with reconfigurable computing items (see blog for details).  Items will be posted as time permits.

What's New?

2007.01.09 Added my Rational Trigonometry on Reconfigurable Computing Slides See Publications Page
2007.01.07 Added CM publications I've done for my client companies.
2007.01.04 Added my 12 Week Reconfigurable Computing Seminar Slides. Added a presentation on program construction from formal specifications
2006.08.20 Updated blog. New tack for site. Recommend reading: Max Maxfield's grand gloss of all things FPGA.		Max does a good job of making the topic easily readable without boring the reader.  Interestingly I've seen lots of the graphics in the book on other University lectures.  I've even used them myself.  Good stuff.
2006.01.29 Updated blog.  Recommending Cliff Berg's book for building correctness into systems.		Cliff does a great job of putting all the necessary elements together for a pragmatic design guidance book.  Lots of code examples.
2005.12.17 Updated home page, new layout, blog entry  2005.09.12    Updated Presentations & Papers  2005.09.10    Added more Web Links and updated Contacts  2005.09.08    New Web Links, new Contact information  2005.09.05    Emendo Ex Erratum site launched!

© Emendo Ex Erratum.  All content Copyright of Emendo-Ex-Erratum.
Permission is granted to copy content as long as proper credit is given to Emendo-Ex-Erratum.org and the web address is given.
For problems or questions regarding this web go to the Contact page.
Last updated: March 26, 2007 19:10. MT