Emendo Ex Erratum Home Page


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