Safety-Critical Mailing List Archive 1997
By Author

• Andy Dearden
  • Re: KBS Validation, Verification and Certification Fri, 8 Aug 1997 13:30:17 +0000
  • Re: Failure Taxonomy (Discussion of Terms) Thu, 16 Jan 1997 11:21:05 +0000
  • Re: Failure Taxonomy Mon, 13 Jan 1997 10:34:17 +0000
• Ann Wrightson
  • Mid-air collision off Namibia Mon, 29 Sep 1997 08:40:44 +0100
  • Re: Mid-air collision off Namibia Tue, 30 Sep 1997 12:30:34 +0100
• Arend van Ingen
  • Definitions of fault error and failure Wed, 15 Jan 1997 17:06:15 +0000
• Arun-Kumar Tripathi
  • Re: Software Reliability Fri, 4 Jul 1997 15:58:03 +0200 (MET DST)
  • Re: Software Reliability Mon, 30 Jun 1997 12:49:37 +0200 (MET DST)
  • Re: ISSRE'97 / Metrics'97 Reminder Tue, 17 Jun 1997 16:31:20 +0200 (MET DST)
  • Software Reliability Tue, 17 Jun 1997 16:23:44 +0200 (MET DST)
• ASF
  • INTERNATIONAL SAFETY ALRET Tue, 04 Feb 1997 16:27:47 -0800
• Bernd Grahlmann
  • New PEP version available (Safety critical systems list) Tue, 22 Jul 1997 15:59:21 +0200
• Bob Fields
  • Research Vacancy - York, UK Wed, 08 Oct 1997 14:07:10 +0100
  • SAFECOMP'97 - Final Programme and Call for Participation Thu, 21 Aug 1997 19:16:04 +0100
• Brian A Wichmann
  • Objective Testing Criteria Thu, 10 Jul 1997 09:44:43 BST
  • Re: Misuse of standards Thu, 29 May 1997 13:17:29 BST
• Brian Jepson
  • Defence Standard 00-56 Issue 2 Tue, 07 Jan 1997 10:42:53 +0000 (GMT)
• Brian Wichmann
  • Re: Congress related with Safety Fri, 19 Dec 1997 09:37:54 GMT
  • Re: Tools for Safety Tue, 9 Dec 1997 09:06:11 GMT
  • Tools for Safety Thu, 4 Dec 1997 16:16:41 GMT
  • Use of 486 and 186 Tue, 7 Oct 1997 10:38:53 BST
  • Data Flow Testing Thu, 21 Aug 1997 15:38:07 BST
• by way of Jonathan Moffett
  • North Texas System Safety Society Website Fri, 27 Jun 1997 10:20:00 +0100
  • Re: Defence Standard 00-56 Issue 2 Tue, 07 Jan 1997 13:10:33 +0000
• c.m.holloway(at)larc.nasa.gov
  • SAFECOMP'97 - Final Programme and Call for Participation Thu, 28 Aug 1997 16:42:55 -0400
• Charles Hoes
  • Re: Safety in Metro using cell phone Fri, 28 Nov 1997 05:51:04 -0800
• Charles Waite
  • What makes sense? Tue, 27 May 1997 16:47:30 -0400
  • Wetware? Sat, 11 Jan 1997 12:43:18 -0500
• Cooper Phil
  • Re: Mid-air collision off Namibia Wed, 1 Oct 1997 10:23:00 +0100
  • Mid-air collision off Namibia Mon, 29 Sep 1997 13:37:00 +0100
  • Mid-air collision off Namibia Mon, 29 Sep 1997 12:12:00 +0100
• David Crocombe
  • Re: Failure Taxonomy Thu, 9 Jan 1997 12:42:14 +1100
• Frank Lattemann
  • Airplain crash in Warschow Mon, 14 Apr 1997 14:40:21 +0200
• HEBBRON BARRY D
  • Hazard Study Courses, Sept 97 Wed, 11 Jun 1997 16:19:19 GMT0BST
  • PES Hazard Study Training Fri, 7 Feb 1997 10:47:29 GMT0BST
• J. E. Borggren
  • Re: Failure Taxonomy (Discussion of Terms) Wed, 15 Jan 1997 11:14:39 GMT
• James Stewart
  • Re: Safety of cell phones in aircraft (was: in Metro) -Reply -Reply Tue, 02 Dec 1997 07:27:48 -0500
  • Re: Safety of cell phones in aircraft (was: in Metro) -Reply Mon, 01 Dec 1997 10:43:02 -0500
  • Certification of Critical Systems -Reply Fri, 24 Oct 1997 10:43:14 -0400
  • Re: Software System Failures -Reply Wed, 26 Mar 1997 10:08:45 -0500
  • Re: Common Cause Failure -Reply Fri, 14 Mar 1997 14:03:52 -0500
  • Common Cause Failure -Reply Fri, 14 Mar 1997 13:32:38 -0500
  • Re: Wetware -Reply Mon, 13 Jan 1997 14:47:36 -0500
  • Re: Wetware? -Reply Mon, 13 Jan 1997 08:07:22 -0500
  • Re: Failure Taxonomy -Reply -Reply Wed, 08 Jan 1997 09:15:22 -0500
  • Failure Taxonomy -Reply Tue, 07 Jan 1997 15:25:30 -0500
• Jeffrey M. Voas
  • new book advertisement Wed, 3 Dec 1997 17:11:09 -0500 (EST)
  • COMPASS Mon, 10 Nov 1997 16:10:33 -0500 (EST)
  • COMPASS Mon, 10 Nov 1997 16:10:33 -0500 (EST)
  • "Are we making any progress toward computer assurance?" Fri, 2 May 1997 08:11:59 -0400 (EDT)
• Jerry R Brookshire
  • Re: Failure Taxonomy Mon, 6 Jan 1997 13:49:21 -0500
• Jim Fitzpatrick
  • Re: Software Reliability (Good Process) Sat, 21 Jun 1997 22:58:36 GMT
  • Software System Failures Tue, 25 Mar 1997 23:04:33 GMT
• Joao Batista
  • Automation Congress with Safety aspects Fri, 12 Dec 1997 12:27:56 -0300
  • Safety in Metro using cell phone Fri, 28 Nov 1997 10:39:18 -0300 ()
  • Certification of Critical Systems Wed, 22 Oct 1997 14:05:43 -0200 ()
  • Fuzzy Logic in Safety Systems Fri, 8 Aug 1997 11:06:17 -0200 ()
• John Dalton
  • Re: Time element in S/W failure Tue, 1 Jul 1997 16:43:21 +100
  • (Fwd) Re: The implication behind your 4 questions Wed, 28 May 1997 16:25:24 +100
  • Re: Safety-certified COTS infrastructure seminar - clarification Fri, 28 Feb 1997 15:12:36 +100
  • Safety-certified COTS infrastructure seminar Thu, 27 Feb 1997 13:32:48 +100
• John Harauz
  • ISESS97 Safety Conformity Assessment for PES Workshop - Call for Participation Mon, 13 Jan 1997 08:54:50 -0500
• John Kelly
  • NASA Formal Methods Guidebook, Vol. II Tue, 7 Oct 1997 14:59:19 -0700
• John McDermid
  • Re: Software Reliability (10^-9 and all that) Fri, 4 Jul 1997 07:30:11 +0000
  • Re: Software Reliability (10^-9 and all that) Thu, 3 Jul 1997 19:20:24 +0000
  • Re: Software Reliability Thu, 19 Jun 1997 08:26:56 +0000
• johnson(at)dcs.gla.ac.uk
  • Human Error and Systems Development (reminder) Tue, 14 Jan 1997 17:22:18 GMT
• Jon Davies
  • Re: Software Reliability Mon, 30 Jun 1997 16:35:41 +0100
  • Re: Software Reliability (10^-9 and all that) Thu, 19 Jun 1997 15:47:11 +0100 (BST)
  • Re: Common Cause Failure Wed, 12 Mar 1997 08:16:35 -0000
  • Common Cause Failure Tue, 11 Mar 1997 09:47:44 -0000
  • Re: Failure Taxonomy (Discussion of Terms) Thu, 16 Jan 1997 08:48:21 -0000
  • Re: Wetware? Mon, 13 Jan 1997 11:33:10 -0000
  • Re: Failure Taxonomy Sat, 11 Jan 1997 10:55:36 -0000
  • Re: Failure Taxonomy -Reply Wed, 8 Jan 1997 13:53:27 -0000
  • Failure Taxonomy Mon, 6 Jan 1997 17:57:02 -0000
• Jon Hind
  • Re: Safety in Metro using cell phone Sun, 30 Nov 1997 21:58:23 +0000
  • IEC 1508 Wed, 15 Jan 1997 10:21:26 GMT
• Jon Jacky
  • New book Sat, 4 Jan 1997 10:42:42 -0800
• Jonathan Bowen
  • The Ethics of Safety-Critical Systems Tue, 10 Jun 1997 07:31:16 GMT
• Jonathan F Luedeke
  • Re: Safety Related Systems: request for review of PLC MS Mon, 10 Nov 1997 15:52:06 -0400 (EDT)
• Jonathan Moffett
  • Re: Tools for Safety Thu, 04 Dec 1997 17:23:49 +0000
  • hise-safety-critical: new book advertisement Thu, 04 Dec 1997 08:54:40 +0000
  • Safety: Research Position in Formal Methods-ICASE, NASA Langley, Hampton VA Fri, 28 Nov 1997 18:26:06 +0000
  • Re: Airplain crash in Warschow Mon, 14 Apr 1997 16:38:29 +0100
  • New version of the Dependability References Database Wed, 26 Mar 1997 10:03:39 PST
  • MSc in Safety Critical Systems Engineering at York Wed, 12 Mar 1997 08:16:35 -0000
• Klaus Brunnstein
  • Re URL(Tools for Safety) Sat, 6 Dec 1997 11:17:25 +0000
• Lon D. Gowen, Ph.D.
  • Re: Failure Taxonomy Mon, 06 Jan 1997 15:04:50 -0600
• Lorenzo Strigini
  • Re: Software Reliability Wed, 18 Jun 1997 20:56:23 +0000
• Luke Emmet
  • Electronic support for standards and safety documentation Mon, 27 Oct 1997 18:11:09 +0000
• Majordomo(at)informatik.uni-kiel.de
  • Welcome to compos97-list Tue, 1 Jul 1997 09:39:45 +0200 (MET DST)
• Marc.Wilikens(at)jrc.it
  • RE: Airplain crash in Warschow Mon, 14 Apr 1997 14:11:46 +0100
• Mark Ardis
  • Reminder -- CFP: Formal Methods in Software Practice Workshop Tue, 12 Aug 1997 16:38:39 -0500
• Mark T Miller
  • Re: Data Flow Testing Thu, 21 Aug 1997 13:13:01 -0500
  • Re: KBS Validation, Verification and Certification Fri, 8 Aug 1997 08:22:28 -0500
  • Re: Time element in S/W failure Tue, 1 Jul 1997 08:32:29 -0500
  • Re: Software Reliability Mon, 30 Jun 1997 12:51:34 -0500
  • Re: Software Reliability (Good Process) Wed, 25 Jun 1997 09:40:30 -0500
  • Re: Software Reliability (Good Process) Fri, 20 Jun 1997 10:37:58 -0500
  • Re: Software Reliability Tue, 17 Jun 1997 15:22:44 -0500
  • Re: Software Reliability Tue, 17 Jun 1997 12:51:44 -0500
• Mark_Bowell(at)hsl.gov.uk
  • Re: KBS Validation, Verification and Certification Mon, 11 Aug 1997 11:31:51 GMT
• Martyn Thomas
  • RE: What makes sense? Wed, 28 May 1997 17:07:50 +0100
• Mike Falla
  • Safety Critical Systems R&D Programme Results Fri, 07 Nov 1997 09:30:52 +0000
  • Research Programme site now available Fri, 30 May 1997 16:39:19 +0100
  • Safety Critical Systems Programme - UK Interest Only Tue, 21 Jan 1997 17:35:40 GMT
• Nancy Leveson
  • oops, typo in URL for safety papers Sun, 21 Dec 1997 15:23:38 -0800 (PST)
  • new reports on safety issues Sat, 20 Dec 1997 15:41:16 -0800
  • Workshop Announcement Mon, 15 Sep 1997 06:26:51 PDT
  • Re: Software Reliability (10^-9 and all that) Thu, 03 Jul 1997 13:00:36 PDT
  • Re: Redefining a problem out of existence (fwd) Tue, 01 Jul 1997 01:17:56 PDT
  • Re: Software Reliability (Good Process) Fri, 20 Jun 1997 03:45:19 PDT
  • Re: Software Reliability Thu, 19 Jun 1997 08:05:21 PDT
  • Re: Software Reliability Thu, 19 Jun 1997 08:25:19 PDT
  • Re: Software Reliability Tue, 17 Jun 1997 08:42:08 PDT
  • Re: (Fwd) Re: The implication behind your 4 questions Wed, 28 May 1997 08:51:14 PDT
  • Re: What makes sense? Wed, 28 May 1997 08:32:53 PDT
  • Re: What makes sense? Tue, 27 May 1997 15:58:20 PDT
  • Re: Software System Failures -Reply Wed, 26 Mar 1997 10:03:39 PST
  • Re: Software System Failures Tue, 25 Mar 1997 17:18:37 PST
  • software safety class Sun, 23 Feb 1997 15:37:55 PST
  • Robots vs. people Mon, 13 Jan 1997 10:28:12 PST
  • Re: Wetware -Reply Mon, 13 Jan 1997 11:58:38 PST
  • Re: Wetware Mon, 13 Jan 1997 09:44:03 PST
  • Re: Wetware? Mon, 13 Jan 1997 09:38:52 PST
  • Re: Failure Taxonomy Fri, 10 Jan 1997 21:09:35 PST
  • Re: Failure Taxonomy -Reply Tue, 07 Jan 1997 12:50:57 PST
• Neil Storey
  • Re: Tools for Safety Fri, 5 Dec 1997 09:47:42 +0000
  • Re: Tools for Safety Thu, 4 Dec 1997 16:32:35 +0000
  • Re: Wetware Mon, 13 Jan 1997 14:52:57 +0000
• Nik Kanuritch
  • Re: Software Reliability (Good Process) Fri, 20 Jun 1997 10:36:44 BST
• Paul Joannou
  • IEEE Formal Methods Planning Group Mon, 7 Apr 1997 23:09:33 -0400
• Pete Mellor
  • Re: Safety in Metro using cell phone Mon, 1 Dec 1997 11:09:11 GMT
  • Re: Safety in Metro using cell phone Mon, 1 Dec 1997 10:48:38 GMT
  • Safety Related Systems: request for review of PLC MS Mon, 10 Nov 1997 18:12:24 GMT
  • Redefining a problem out of existence (fwd) Tue, 1 Jul 1997 01:07:18 +0100 (BST)
  • Re: Software Reliability (10^-9 and all that) Thu, 19 Jun 1997 22:57:11 +0100 (BST)
  • Re: Software Reliability (10^-9 and all that) Thu, 19 Jun 1997 14:51:21 +0100 (BST)
  • Misuse of standards Thu, 29 May 1997 11:54:00 +0100 (BST)
  • MIFFC_SDM.txt Fri, 17 Jan 1997 11:51:42 GMT
  • MIFFC_SDM.txt Fri, 17 Jan 1997 11:51:42 GMT
  • Re: Failure Taxonomy Mon, 13 Jan 1997 13:45:32 GMT
• Peter B. Ladkin
  • Re: Safety of cell phones in aircraft (was: in Metro) -Reply Mon, 01 Dec 1997 19:16:31 +0100
  • Re: Safety of cell phones in aircraft (was: in Metro) Mon, 01 Dec 1997 12:11:03 +0100
  • Paper on Verification of KBSs, not about Safety Thu, 27 Nov 1997 22:20:58 +0100
  • Safety, safety, all is safety, saith the Preacher Wed, 12 Nov 1997 19:48:18 +0100
  • Re: Mid-air collision off Namibia Tue, 30 Sep 1997 23:46:19 +0200
  • Re: KBS Validation, Verification and Certification Fri, 08 Aug 1997 15:02:00 +0200
  • Re: SDL-News: SDL and safety critical software Fri, 18 Jul 1997 17:09:02 +0200
• Peter Bishop
  • Adelard Seminar, 9 July 1997, Manchester Mon, 23 Jun 1997 13:23:44 +0000
  • Re: Software Reliability (10^-9 and all that) Thu, 19 Jun 1997 18:06:31 +0000
  • Re: Software Reliability Thu, 19 Jun 1997 13:23:54 +0000
  • Re: Software Reliability Wed, 18 Jun 1997 09:13:32 +0000
  • Re: (ugradert) Operation system SW for safety critical applicat Tue, 4 Feb 1997 18:47:04 +0000
  • Re: Failure Taxonomy Tue, 14 Jan 1997 12:29:21 +0000
  • Re: Failure Taxonomy Thu, 9 Jan 1997 09:30:10 +0000
• Peter Ladkin
  • Re: Software Reliability (10^-9 and all that) Fri, 4 Jul 1997 10:04:40 +0200
  • Re: Software Reliability (10^-9 and all that) Thu, 3 Jul 1997 21:28:23 +0200
  • Re: Software Reliability (10^-9 and all that) Thu, 3 Jul 1997 11:34:10 +0200
  • Re: Software Reliability (Good Process) Fri, 20 Jun 1997 21:06:14 +0200
  • Re: What makes sense? Wed, 28 May 1997 19:52:24 +0200
  • Re: Airplain crash in Warschow Mon, 14 Apr 1997 18:35:52 +0200
  • Re: Software System Failures Wed, 26 Mar 1997 11:43:23 +0100
  • Re: Failure Taxonomy (Discussion of Terms) Mon, 3 Mar 1997 16:55:14 +0100
  • Re: Safety-certified COTS infrastructure seminar Fri, 28 Feb 1997 14:11:17 +0100
  • Re: Safety Critical Systems Programme - UK Interest Only Wed, 22 Jan 1997 13:27:51 +0100
  • Re: Failure Taxonomy (Discussion of Terms) Wed, 15 Jan 1997 21:01:54 +0100
  • Re: Wetware? Mon, 13 Jan 1997 20:34:15 +0100
  • Re: Wetware Mon, 13 Jan 1997 19:01:48 +0100
  • Re: Wetware? Mon, 13 Jan 1997 15:05:37 +0100
  • Re: Failure Taxonomy Mon, 13 Jan 1997 14:20:12 +0100
  • Re: Wetware? Mon, 13 Jan 1997 13:39:10 +0100
  • Re: Failure Taxonomy Mon, 13 Jan 1997 13:02:18 +0100
  • Re: Failure Taxonomy Thu, 9 Jan 1997 17:20:13 +0100
  • Re: Failure Taxonomy Wed, 8 Jan 1997 17:37:48 +0100
• Peter Lindsay
  • Australian SCS Workshop Tue, 12 Aug 1997 11:22:00 +1000 (EST)
• Richard Bolt
  • Time element in S/W failure Mon, 30 Jun 1997 14:28:30 -0400 (EDT)
  • "CALL" Lessons Learned-New Webb Page Thu, 6 Feb 1997 11:09:03 -0500 (EST)
• richard.scaife(at)aeroint.com
  • KBS Validation, Verification and Certification Fri, 08 Aug 1997 09:44:42 +0100
• richings(at)sprynet.co.uk
  • Safety Critical Systems Integration Fri, 5 Dec 1997 04:06:26 -0800 (PST)
• Rick
  • Eighth International Symposium on Software Reliability Sun, 28 Sep 1997 13:52:36 -0600
• Robin Bloomfield
  • EWICS Safety and Security Symposium Thu, 23 Oct 1997 16:14:15 +1.00
  • Re: Use of 486 and 186 Tue, 7 Oct 1997 20:00:06 +1.00
  • Re: Defence Standard 00-56 Issue 2 Tue, 7 Jan 1997 12:28:06 +1.00
• Royalty, Chuck
  • RE: Software Reliability (10^-9 and all that) Thu, 3 Jul 1997 14:17:05 -0700
• rvglass(at)netcomuk.co.uk
  • MSc in Safety Engineering & Risk Management Thu, 21 Aug 1997 16:09:07 +0100 (BST)
• Sarah SLADE
  • TLTP Feedback Wed, 05 Nov 1997 16:35:00 gmt
• sevans(at)iee.org.uk
  • Call for papers Mon, 9 Jun 1997 11:29:05 +0000
  • Formal methods Fri, 16 May 1997 15:23:08 +0000
• sr0!miller(at)netcom.com
  • Re: Mid-air collision off Namibia Thu, 2 Oct 1997 11:59:35 PDT
• Stephen Viller
  • Re: Tools for Safety Fri, 5 Dec 1997 15:39:33 +0000
• Stephen Wilson
  • Operating Systems Fri, 24 Oct 199713:53:16 +0100
• Steve D White
  • Re: Wetware? Sun, 12 Jan 1997 15:48:15 +0000
• Steve Smith
  • Re: Software Reliability (Good Process) Mon, 23 Jun 1997 11:09:54 -0400
  • Safety Case methodology Thu, 9 Jan 1997 10:30:58 -0500
• Sudjoko Kuswadji
  • ICOHIS97 - ABSTRACTS SUBMISSION Thu, 08 May 1997 08:05:25 -0500
• Tom Anderson
  • Re: Software Reliability (10^-9 and all that) Fri, 4 Jul 1997 12:41:36 +0100
  • Re: Software Reliability Tue, 17 Jun 1997 19:10:30 +0100
• Tony Foord
  • Seminar Announcement, London, 2 December 1997 Thu, 30 Oct 1997 12:20:04 -0500
  • Safeware: Masterclass in Software Safety Fri, 11 Apr 1997 03:55:44 -0400
• Veena B Mendiratta
  • Re: What makes sense? Wed, 28 May 1997 10:49:08 -0500
  • Re: What makes sense? Wed, 28 May 1997 09:08:23 -0500
• Victoria Stavridou
  • Phd Studentships in Dependability Thu, 15 May 1997 15:08:33 +0100
  • Workshop on safety critical systems standards Thu, 15 May 1997 14:52:07 +0100
  • Re: Defence Standard 00-56 Issue 2 Tue, 07 Jan 1997 12:17:12 +0000
• Vijay Vaishnavi
  • An invitation for Research Collaboration Sun, 23 Feb 1997 19:26:22 -0500 (EST)
• Viv Hamilton +44 1245 242233
  • Re: Time element in S/W failure Tue, 01 Jul 1997 15:47:16 +0000 (GMT)
  • Re: Software Reliability Thu, 19 Jun 1997 08:43:51 +0000 (GMT)
• William Buchanan
  • A little aircraft maintenance humor... Wed, 07 May 1997 14:33:35 -0400
• WOODS, JORGE
  • Risk Assessment of Organizations: References sought Fri, 15 Aug 1997 17:30:56 +1000
  • System Safety, Complex Systems and validation Tue, 1 Jul 1997 13:10:53 +1000
  • IEC1508 Interpretation Tue, 10 Jun 1997 13:04:57 +1000

This archive was generated by hypermail 2.0b3 on Tue 21 Aug 2001 - 15:32:32 BST