Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!apple!sun-barr!decwrl!ucbvax!agate!darkstar!cs!shimeall
From: shimeall@cs.nps.navy.mil (Tim Shimeall x2509)
Newsgroups: comp.realtime
Subject: Re: Looking for Info on Safety-Critical Embedded Systems
Keywords: software safety references
Message-ID: <8908041948.AA28422@cs.nps.navy.mil>
Date: 4 Aug 89 21:21:24 GMT
References: <281@melair.UUCP>
Reply-To: shimeall@cs.nps.navy.mil (Tim Shimeall x2509)
Organization: Naval Postgraduate School, Monterey CA 93943
Lines: 18

Nancy Leveson has done quite a lot in this field.  One reasonable
starting paper would be her "Software Safety: What, Why and How",
ACM Computing Surveys, June 1986 (Vol. 18, No. 2), pp. 125-164.

If you are interested in this area, there are two conferences you may
want to get back proceedings of or attend: COMPASS (sponsored by IEEE)
and SAFECOMP (sponsored by IFAC). 

There is also a summary of recommendations for construction of safety
critical systems in the book _Dependability_of_Critical_Computer_Systems_-_1_
Edited by Felix J. Redmill, ISBN 1-85166-203-0, published by Elsevier
Applied Science ($75.50 US).  This book is a collection of safety
guidelines prepared by the European Workshop on Industrial Computer
Systems, Technical Committee No. 7 (Safety and Reliability), the group
that puts together SAFECOMP.

			Tim
P.S. Obligatory footnote: I'm a former student of Nancy Leveson.