       The goal of the University of Washington Safety Project is to develop       a theoretical foundation for safety and a methodology for building       safety-critical systems built upon that foundation.         In <A href = "http://www.cs.washington.edu/research/projects/safety/www/book.html"> <i>Safeware: System Safety and       Computers</i></a>, Nancy Leveson summarizes the issues involved and       lays the foundation for the methodology.  We are now working on safety        analysis techniques to support the methodology and a set of       prototype tools to be used to validate the specification and analysis        techniques. <p>
