Path: utzoo!utgpu!watmath!att!tut.cis.ohio-state.edu!gem.mps.ohio-state.edu!rpi!crdgw1!montnaro From: montnaro@sprite.crd.ge.com (Skip Montanaro) Newsgroups: comp.realtime Subject: Re: Looking for Info on Safety-Critical Embedded Systems Message-ID: Date: 7 Aug 89 12:22:38 GMT References: <281@melair.UUCP> <8908041948.AA28422@cs.nps.navy.mil> Sender: news@crdgw1.crd.ge.com Reply-To: (Skip Montanaro) Organization: GE Corporate Research & Development, Schenectady, NY Lines: 12 In-reply-to: shimeall@cs.nps.navy.mil's message of 4 Aug 89 21:21:24 GMT In article <8908041948.AA28422@cs.nps.navy.mil> shimeall@cs.nps.navy.mil (Tim Shimeall x2509) writes: 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. You might also want to check out recent RISKS digests (comp.risks under Usenet). Nancy Leveson and David Parnas had a bit of a go 'round on embedded systems. -- Skip Montanaro (montanaro@sprite.crd.ge.com)