Safety-Critical Mailing List Archive 2000
By Subject

• "Software fault forces Ford recall"
  • John McDermid Fri, 15 Dec 2000 18:10:33 -0000
  • Peter B. Ladkin Fri, 15 Dec 2000 15:21:16 +0100
  • Neil Storey Fri, 15 Dec 2000 12:26:01 -0000
  • Steve White Fri, 15 Dec 2000 07:47:14 +0000
  • A.R. Lawrence Thu, 14 Dec 2000 21:00:01 +0000
  • Jonathan Moffett Wed, 13 Dec 2000 18:55:49 +0000
• (no subject)
  • G.F. Thu, 24 Aug 2000 12:52:35 -0400
  • Inga-Lill Bratteby-Ribbing Wed, 15 Mar 2000 19:21:18 +0100
• (Safety-Critical) Operating Systems
  • Pete Mellor Wed, 16 Aug 2000 15:29:07 +0100 (BST)
• . Web Site for Australian Safety Standard Def (Aust) 5679
  • Cant, Tony Wed, 16 Feb 2000 11:37:42 +1030
• Abbreviation "TOR" used in Def Stan 00-56, Part 2, Annex C
  • Spriggs, John Tue, 21 Nov 2000 16:00:52 -0000
  • PDGPM2c, Ken Mill Tue, 21 Nov 2000 16:00:55 -0000
  • STGSSMO5, Gareth Rowlands Tue, 21 Nov 2000 15:57:34 -0000
  • Bahadur Sihota Tue, 21 Nov 2000 10:27:10 -0500
• Addendum to my last message
  • brian wichmann Wed, 29 Nov 2000 17:51:12 +0000
  • John McDermid Wed, 29 Nov 2000 11:47:29 -0000
  • leveson(at)sunnyday.mit.edu Wed, 29 Nov 2000 06:35:50 -0500
• Alarms and their safety classification
  • Tony Foord Mon, 1 May 2000 14:40:52 +0100
  • IVEY Roy Fri, 28 Apr 2000 09:13:47 +1000
  • johnson(at)dcs.gla.ac.uk Thu, 27 Apr 2000 17:36:08 +0100 (BST)
  • nikola.kanuritch(at)bae.co.uk Thu, 27 Apr 2000 16:30:31 +0100
• Ambiguity of ALARP
  • John McDermid Thu, 7 Sep 2000 07:32:05 +0100
  • E. Douglas Jensen Thu, 7 Sep 2000 09:52:09 -0400
  • Martyn Thomas Thu, 7 Sep 2000 14:29:35 +0100
  • Peter B. Ladkin Thu, 07 Sep 2000 14:57:36 +0200
  • Armstrong, Jim Thu, 7 Sep 2000 11:12:03 +0100
  • Tim Kelly Wed, 06 Sep 2000 11:54:06 +0100
  • Bev Littlewood Wed, 6 Sep 2000 11:39:41 +0000
  • Armstrong, Jim Wed, 6 Sep 2000 10:12:15 +0100
  • Peter B. Ladkin Wed, 06 Sep 2000 07:29:30 +0200
  • Tim Kelly Tue, 05 Sep 2000 17:54:33 +0100
  • Armstrong, Jim Tue, 5 Sep 2000 16:46:01 +0100
  • Armstrong, Jim Tue, 5 Sep 2000 15:34:21 +0100
  • Bev Littlewood Tue, 5 Sep 2000 12:07:10 +0000
  • chris.jacquier(at)hse.gsi.gov.uk Tue, 5 Sep 2000 9:59:57 +0100
  • Armstrong, Jim Mon, 4 Sep 2000 12:29:27 +0100
• ANNOUNCE: new SPARK tools now available free of charge to academi c institutions
  • Rod Chapman Wed, 30 Aug 2000 14:38:19 +0100
• Another question about SILs in "mixed" systems
  • Paul Gruhn, P.E. Sat, 7 Oct 2000 13:58:16 -0500
  • Tyler G Cox Thu, 05 Oct 2000 08:25:00 Z
• APES - final project seminar on the practical application of IEC 61508
  • Simon Hughes Fri, 21 Jan 2000 15:19:17 -0000
• Applying Formal Methods
  • Rachel Harrison Thu, 3 Feb 2000 10:03:49 GMT
• Aust safety-critical systems CFP
  • Peter Lindsay Thu, 6 Apr 2000 09:35:56 +1000 (EST)
• Australian safety critical systems workshop
  • Peter Lindsay Wed, 11 Oct 2000 11:00:16 +1000 (EST)
• automated highway system demo
  • leveson(at)sunnyday.mit.edu Sat, 30 Sep 2000 07:27:08 -0400
  • Martyn Thomas Sat, 30 Sep 2000 10:07:40 +0100
• AW: correct citation for safety standards
  • Braband Jens Thu, 3 Feb 2000 13:39:16 +0100
• AW: Resources
  • Lars Oliefka Mon, 31 Jul 2000 13:39:20 +0100
• Book: Definitions for hardware en software safety engineers
  • Meine van der Meulen Wed, 3 May 2000 09:45:03 +0200
• Brian' contribution
  • Peter B. Ladkin Mon, 18 Sep 2000 10:43:41 +0200
  • Martyn Thomas Sun, 17 Sep 2000 10:45:06 +0100
  • Peter B. Ladkin Sun, 17 Sep 2000 07:39:14 +0200
• Call for papers for the 13th Euromicro Conference on Real-Time Systems
  • iain.bate(at)cs.york.ac.uk Thu, 03 Aug 2000 14:08:31 +0000
• Call for Papers: Fifth IEEE International Symposium on High Assur ance Systems Engineering
  • Ganter, John H Mon, 10 Jan 2000 15:03:16 -0700
• CFP for an Industrial Session at Euromicro 2000 Conference on Real-Time Systems
  • Iain Bate Tue, 07 Mar 2000 13:52:57 +0000
• Code coverage
  • Ken Frith Mon, 2 Oct 2000 10:43:18 +0100
  • Armstrong, Jim Mon, 2 Oct 2000 09:19:58 +0100
  • Jonathan Hammond Fri, 29 Sep 2000 12:10:15 +0100
  • Peter B. Ladkin Fri, 29 Sep 2000 07:55:15 +0200
  • pgb(at)adelard.co.uk Thu, 28 Sep 2000 21:32:38 +0100
  • Garlington, Kennie E Thu, 28 Sep 2000 12:53:41 -0500
  • Garlington, Kennie E Thu, 28 Sep 2000 12:38:19 -0500
  • Rod Chapman Thu, 28 Sep 2000 17:13:16 +0100
  • Rod Chapman Thu, 28 Sep 2000 17:00:44 +0100
  • Moulding, Danny Thu, 28 Sep 2000 18:11:22 +0200
  • Pete Fenelon Thu, 28 Sep 2000 16:48:49 +0100
  • Pat Place Thu, 28 Sep 2000 11:44:27 -0400
  • Pete Fenelon Thu, 28 Sep 2000 16:23:17 +0100
  • Pete Fenelon Thu, 28 Sep 2000 16:19:31 +0100
  • leveson(at)sunnyday.mit.edu Thu, 28 Sep 2000 11:16:47 -0400
  • Pat Place Thu, 28 Sep 2000 10:51:34 -0400
  • Rod Chapman Thu, 28 Sep 2000 15:39:55 +0100
  • pgb(at)adelard.co.uk Thu, 28 Sep 2000 15:27:23 +0100
  • Rod Chapman Thu, 28 Sep 2000 14:59:54 +0100
  • Brian Wichmann Thu, 28 Sep 2000 13:14:56 +0100
• Commentary from Brian Wichmann
  • Peter B. Ladkin Wed, 20 Sep 2000 21:39:36 +0200
• COMPASS Proceedings
  • Vijay K. Vaishnavi Fri, 24 Mar 2000 11:03:15 -0500
  • Jeffrey M. Voas Fri, 24 Mar 2000 09:04:04 -0500 (EST)
• Computer system fire risks
  • Jonathan Moffett Fri, 23 Jun 2000 09:46:03 +0100
  • Tony Cox Thu, 22 Jun 2000 18:28:21 +0100
• correct citation for safety standards
  • Alena Griffiths Fri, 21 Jan 2000 11:11:48 +1100
• COTS, SOUP, and Standards
  • tom(at)faaconsulting.com Fri, 18 Feb 2000 04:25:29 -0800
  • Armstrong, Jim Thu, 17 Feb 2000 12:59:43 -0000
  • Home Wed, 16 Feb 2000 23:48:19 -0800 (PST)
  • Armstrong, Jim Thu, 10 Feb 2000 13:11:09 -0000
• CS hasn't failed SE
  • leveson(at)sunnyday.mit.edu Fri, 15 Sep 2000 13:22:52 -0400
  • Garlington, Kennie E Fri, 15 Sep 2000 12:06:53 -0500
  • Martyn Thomas Fri, 15 Sep 2000 18:00:39 +0100
  • leveson(at)sunnyday.mit.edu Fri, 15 Sep 2000 11:50:38 -0400
  • Peter B. Ladkin Fri, 15 Sep 2000 17:45:18 +0200
  • leveson(at)sunnyday.mit.edu Fri, 15 Sep 2000 11:29:31 -0400
  • Peter B. Ladkin Fri, 15 Sep 2000 17:10:05 +0200
  • jdavies(at)iee.org Fri, 15 Sep 2000 07:01:49 -0700
• Data Redundant Systems
  • Spriggs, John Mon, 3 Jul 2000 08:29:39 +0100
  • leveson(at)sunnyday.mit.edu Sat, 01 Jul 2000 21:21:47 -0400
  • Ian B Pirie Sat, 1 Jul 2000 20:32:21 -0400
  • pgb(at)adelard.co.uk Sat, 1 Jul 2000 21:48:07 +0100
  • Martyn Thomas Sat, 1 Jul 2000 13:16:38 +0100
  • Ian B Pirie Fri, 30 Jun 2000 17:56:53 -0400
  • mtmiller(at)collins.rockwell.com Fri, 30 Jun 2000 13:56:26 -0500
  • Peter B. Ladkin Fri, 30 Jun 2000 17:23:09 +0200
  • Joao Batista Camargo Jr. Fri, 30 Jun 2000 12:06:37 -0300
  • Ian B Pirie Fri, 30 Jun 2000 09:56:43 -0400
• Deadline Extension - ISW-2000
  • Chuck Weinstock Wed, 26 Jul 2000 15:17:02 -0400
• Definition of Hazard
  • Andy Ashworth Mon, 28 Feb 2000 14:13:43 -0000
  • david.h.smith(at)gecm.com Mon, 28 Feb 2000 13:48:06 +0000 (GMT)
  • tom(at)faaconsulting.com Mon, 28 Feb 2000 04:36:04 -0800
  • david.h.smith(at)gecm.com Mon, 28 Feb 2000 10:05:51 +0000 (GMT)
  • Spriggs,John Mon, 28 Feb 2000 10:04:29 -0000
  • david.h.smith(at)gecm.com Mon, 28 Feb 2000 09:47:32 +0000 (GMT)
  • Peter B. Ladkin Wed, 23 Feb 2000 19:51:55 +0100
  • Peter B. Ladkin Wed, 23 Feb 2000 19:09:09 +0100
  • mtmiller(at)collins.rockwell.com Tue, 22 Feb 2000 15:48:41 -0600
  • Peter B. Ladkin Mon, 21 Feb 2000 17:12:28 +0100
  • Peter Bishop Mon, 21 Feb 2000 13:47:05 -0000
  • Ken Frith Mon, 21 Feb 2000 12:46:14 -0000
  • leveson(at)sunnyday.mit.edu Mon, 21 Feb 2000 07:02:41 -0500
  • Martyn Thomas Mon, 21 Feb 2000 10:58:01 -0000
  • leveson(at)sunnyday.mit.edu Sun, 20 Feb 2000 20:51:39 -0500
  • Pete Mellor Mon, 21 Feb 2000 01:20:21 +0000 (GMT)
  • leveson(at)sunnyday.mit.edu Sun, 20 Feb 2000 13:45:06 -0500
  • Pete Mellor Sun, 20 Feb 2000 15:45:10 GMT
  • Felix Redmill Sun, 20 Feb 2000 11:20:18 +0000
  • Joao Batista Fri, 18 Feb 2000 17:12:34 -0300 (Hora padrão leste Am. Sul)
  • Peter Bishop Fri, 18 Feb 2000 17:21:03 -0000
  • Ann Wrightson Fri, 18 Feb 2000 16:54:04 +0000
  • Peter B. Ladkin Fri, 18 Feb 2000 17:06:35 +0100
  • Ann Wrightson Fri, 18 Feb 2000 13:29:59 +0000
  • Joao Batista Thu, 17 Feb 2000 17:14:22 -0300 (Hora padrão leste Am. Sul)
  • Peter B. Ladkin Thu, 17 Feb 2000 18:08:41 +0100
• Definition of Hazard - Air Traffic Control
  • Ken Frith Mon, 21 Feb 2000 12:46:14 -0000
  • Ken Frith Mon, 21 Feb 2000 12:15:36 -0000
• Definition of Hazard in System Safety
  • Peter Bishop Thu, 24 Feb 2000 17:25:38 -0000
  • Garlington, Kennie E Wed, 23 Feb 2000 12:16:35 -0600
  • Pete Fenelon Wed, 23 Feb 2000 18:11:47 +0000
  • Peter B. Ladkin Wed, 23 Feb 2000 17:35:21 +0100
  • Peter B. Ladkin Wed, 23 Feb 2000 17:26:30 +0100
  • Felix Redmill Wed, 23 Feb 2000 15:53:44 +0000
  • tom(at)faaconsulting.com Wed, 23 Feb 2000 06:09:02 -0800
  • Gerard Le_Lann Wed, 23 Feb 2000 13:02:40 +0100
  • Peter Bishop Wed, 23 Feb 2000 11:47:11 -0000
  • Peter B. Ladkin Wed, 23 Feb 2000 11:52:19 +0100
  • tom(at)faaconsulting.com Tue, 22 Feb 2000 14:45:40 -0800
  • Garlington, Kennie E Tue, 22 Feb 2000 15:49:00 -0600
  • Peter B. Ladkin Tue, 22 Feb 2000 21:33:37 +0100
  • Peter B. Ladkin Tue, 22 Feb 2000 21:30:08 +0100
  • Garlington, Kennie E Tue, 22 Feb 2000 10:25:52 -0600
  • Felix Redmill Tue, 22 Feb 2000 16:17:33 +0000
  • leveson(at)sunnyday.mit.edu Tue, 22 Feb 2000 06:22:31 -0500
  • Peter B. Ladkin Tue, 22 Feb 2000 10:07:39 +0100
  • leveson(at)sunnyday.mit.edu Mon, 21 Feb 2000 17:32:43 -0500
  • Peter Bishop Mon, 21 Feb 2000 21:51:07 -0000
  • Peter Bishop Mon, 21 Feb 2000 21:51:07 -0000
  • leveson(at)sunnyday.mit.edu Mon, 21 Feb 2000 13:38:30 -0500
  • leveson(at)sunnyday.mit.edu Mon, 21 Feb 2000 13:30:22 -0500
  • Peter B. Ladkin Mon, 21 Feb 2000 19:19:18 +0100
  • Peter B. Ladkin Mon, 21 Feb 2000 19:10:06 +0100
  • Ann Wrightson Mon, 21 Feb 2000 16:21:45 +0000
  • leveson(at)sunnyday.mit.edu Mon, 21 Feb 2000 11:00:16 -0500
  • Peter B. Ladkin Mon, 21 Feb 2000 15:13:40 +0100
  • leveson(at)sunnyday.mit.edu Sun, 20 Feb 2000 13:30:16 -0500
  • Peter B. Ladkin Sun, 20 Feb 2000 13:13:55 +0100
  • leveson(at)sunnyday.mit.edu Sat, 19 Feb 2000 07:59:21 -0500
• Difficult software question.
  • Spiker, Rolf Thu, 7 Dec 2000 15:24:11 +0100
• Distribution List Removal
  • Janet.S.Flynt(at)us.ul.com Mon, 2 Oct 2000 14:15:27 -0400
• Drat
  • Peter B. Ladkin Sun, 30 Jul 2000 10:50:15 +0200
• EMI, TWA 800 and Safecrit 111
  • Peter B. Ladkin Thu, 05 Oct 2000 18:41:26 +0200
  • Peter B. Ladkin Wed, 04 Oct 2000 12:42:18 +0200
  • Peter B. Ladkin Wed, 04 Oct 2000 11:23:03 +0200
• ETOPS
  • Martyn Thomas Sat, 9 Sep 2000 14:44:28 +0100
  • ross_hannan Sat, 9 Sep 2000 00:45:59 +0100
• EUROCONTROL Safety Assessment Methodology
  • Mark Werenowski Thu, 24 Aug 2000 16:12:29 +0100
  • WOODS, JORGE Thu, 24 Aug 2000 15:57:02 +1000
  • Mark Werenowski Wed, 29 Mar 2000 11:57:48 +0100
• European nuclear regulator software experts' report
  • Courtois Pierre-Jacques Mon, 13 Nov 2000 13:29:37 +0100
• Extent to which IEC 61508 is "binding"
  • Ian.Gibson(at)Fluor.com Fri, 1 Dec 2000 08:45:06 +1000
  • Michael.Schmidt(at)industrialrisk.com Thu, 30 Nov 2000 07:56:56 -0600
  • Paul Gruhn, P.E. Wed, 29 Nov 2000 21:39:32 -0600
  • brian wichmann Wed, 29 Nov 2000 22:41:54 +0000
  • Garlington, Kennie E Wed, 29 Nov 2000 14:30:32 -0600
• fibre optics
  • MCLELLAN Alexander Tue, 23 May 2000 10:02:22 +0200
  • Ian.Gibson(at)fluor.com Tue, 23 May 2000 09:29:11 +1100
  • Spriggs,John Mon, 22 May 2000 10:05:27 +0100
  • Jonathan Moffett Mon, 22 May 2000 09:28:52 +0100
  • Spriggs,John Mon, 22 May 2000 09:25:23 +0100
• Floating point
  • Pierre-jacques Courtois Thu, 28 Sep 2000 10:24:21 +0200
  • Darren Buttle Fri, 22 Sep 2000 11:12:43 +0100 (BST)
• Freeware in Safety-Related Applications
  • tom(at)faaconsulting.com Tue, 11 Apr 2000 10:28:27 -0700
  • Mark Werenowski Tue, 11 Apr 2000 16:51:14 +0100
• Fw: SILs, measurement of product and process
  • ross_hannan Sat, 9 Sep 2000 00:46:43 +0100
• Help a student?
  • leveson(at)sunnyday.mit.edu Fri, 22 Sep 2000 05:16:47 -0400
  • pgb(at)adelard.co.uk Thu, 21 Sep 2000 23:18:24 +0100
  • Felix Redmill Thu, 21 Sep 2000 19:53:51 +0000
• History of IEC 61508
  • Paul Gruhn, P.E. Thu, 6 Apr 2000 17:31:10 -0500
  • Des Nutt Thu, 6 Apr 2000 00:44:17 -0700 (PDT)
• Human Error and Medical Systems (Safety Related)
  • johnson(at)dcs.gla.ac.uk Fri, 11 Feb 2000 15:47:30 GMT
• Human Factors and Safety Critical Systems
  • Felix Redmill Mon, 17 Jan 2000 22:49:50 +0000
  • Torok, Ray Mon, 17 Jan 2000 09:16:17 -0800
  • Cockram, Trevor J Fri, 14 Jan 2000 08:49:02 -0000
  • Felix Redmill Thu, 13 Jan 2000 21:37:26 +0000
  • Gorman, Bob Thu, 13 Jan 2000 10:30:04 -0600
  • kiran rathod Thu, 13 Jan 2000 14:57:47 +0000
• Human Rights Act
  • Spriggs, John Tue, 3 Oct 2000 07:55:56 +0100
• IEC 61508 & IEC 61511 STATUS
  • bill black Wed, 31 May 2000 09:19:48 +0100
  • Paul Gruhn, P.E. Tue, 30 May 2000 20:29:36 -0500
  • Peter Bishop Tue, 30 May 2000 23:17:08 +0100
  • Yolanda Gonzalez Tue, 30 May 2000 12:54:18 +0200
• IEC 61508 passes final IEC vote
  • simon.brown(at)hse.gsi.gov.uk Wed, 16 Feb 2000 9:24:36 +0000
• IEC 61511
  • UK72 Fri, 14 Jul 2000 16:58:29 +0100
  • Alan Banks Fri, 14 Jul 2000 10:49:07 -0400
• IEC 61511 (functional safety - process control )
  • UK72 Mon, 17 Jul 2000 18:05:26 +0100
• IEC 61511-1
  • UK72 Tue, 28 Nov 2000 03:44:14 -0600
  • brian wichmann Mon, 27 Nov 2000 18:50:03 +0000
  • MCLELLAN Alexander Mon, 27 Nov 2000 09:45:12 +0100
  • Peter B. Ladkin Sun, 26 Nov 2000 18:11:14 +0100
  • Des Nutt Sun, 26 Nov 2000 09:01:46 -0800 (PST)
  • brian wichmann Sat, 25 Nov 2000 15:29:02 +0000
• IEC61508 Training
  • Des Nutt Mon, 27 Mar 2000 23:32:35 -0800 (PST)
• IEC61508 Type A and B Sub System Examples
  • Paul Gruhn, P.E. Mon, 3 Apr 2000 17:18:38 -0500
  • bill black Mon, 3 Apr 2000 18:42:02 +0100
  • Des Nutt Mon, 3 Apr 2000 09:41:08 -0700 (PDT)
• IEE Ninth Vacation School on Safety Crit
  • nnancarrow(at)iee.org.uk Fri, 28 Jul 2000 9:34:52 +0000
• IEE Tutorial on "The use of Ada in real-
  • Brian Wichmann Thu, 13 Jan 2000 10:25:48 GMT
• IEE Tutorial on the use of ADA in real t
  • Peter B. Ladkin Fri, 03 Mar 2000 14:06:39 +0100
  • Iain Bate Fri, 03 Mar 2000 11:49:47 +0000
  • Nigel Tracey Fri, 03 Mar 2000 11:31:25 +0000
  • leveson(at)sunnyday.mit.edu Fri, 03 Mar 2000 06:17:14 -0500
• IEEE Std 1228, IEEE Standard for Software Safety Plans
  • James Bret Michael Tue, 17 Oct 2000 10:16:13 -0700 (PDT)
• Impressive marketspeak (Standards).
  • Pete Fenelon Tue, 25 Jul 2000 13:55:30 +0100
• Industrial use of safety-related expert systems
  • mark.bowell(at)hse.gsi.gov.uk Thu, 16 Nov 2000 13:15:52 +0000
• Intelligent Systems
  • leveson(at)sunnyday.mit.edu Fri, 29 Sep 2000 19:09:49 -0400
  • Peter B. Ladkin Fri, 29 Sep 2000 23:44:40 +0200
  • joseph.g.d.ambrosio(at)delphiauto.com Fri, 29 Sep 2000 14:56:32 -0400
  • James Bret Michael Fri, 29 Sep 2000 10:09:59 -0700 (PDT)
  • Ken Frith Fri, 29 Sep 2000 16:47:09 +0100
  • Bev Littlewood Fri, 29 Sep 2000 15:07:44 +0000
  • Peter B. Ladkin Fri, 29 Sep 2000 15:39:15 +0200
  • Mike Ellims Fri, 29 Sep 2000 14:15:58 +0100
  • Neil Hudson Fri, 29 Sep 2000 13:40:18 +0100
  • Ken Frith Fri, 29 Sep 2000 12:20:09 +0100
  • Martyn Thomas Fri, 29 Sep 2000 11:25:11 +0100
  • Ken Frith Fri, 29 Sep 2000 11:09:35 +0100
• Intelligent Systems (safety of AHS)
  • James Bret Michael Fri, 29 Sep 2000 15:10:15 -0700 (PDT)
• Intelligent Systems (safety of computer-controlled cars)
  • leveson(at)sunnyday.mit.edu Fri, 29 Sep 2000 22:46:30 -0400
  • James Bret Michael Fri, 29 Sep 2000 17:10:19 -0700 (PDT)
• Interesting link
  • Baal, Joep van Wed, 29 Mar 2000 08:43:20 +0200
• Investigation and Reproduction of Incidents in Safety Systems
  • mtmiller(at)collins.rockwell.com Mon, 9 Oct 2000 10:24:15 -0500
  • Neil Hudson Sun, 8 Oct 2000 10:03:15 +0100
• Is cost-benefit analysis itself "irrational"?
  • Jonathan Moffett Fri, 08 Sep 2000 09:54:14 +0100
• Is cost-benefit analysis itself "irrational"? [safety]
  • Pete Mellor Fri, 8 Sep 2000 14:04:22 +0100 (BST)
  • leveson(at)sunnyday.mit.edu Fri, 08 Sep 2000 06:18:45 -0400
  • Mark Werenowski Fri, 08 Sep 2000 10:13:10 +0100
  • Des Nutt Fri, 8 Sep 2000 01:18:45 -0700 (PDT)
  • Ganter, John H Thu, 7 Sep 2000 13:15:44 -0600
  • joseph.g.d.ambrosio(at)delphiauto.com Thu, 7 Sep 2000 13:33:16 -0400
  • E. Douglas Jensen Thu, 7 Sep 2000 12:44:25 -0400
  • leveson(at)sunnyday.mit.edu Thu, 07 Sep 2000 12:20:51 -0400
• J-code generators: are the Silver Bullets here?
  • Pete Mellor Sat, 9 Dec 2000 16:42:01 +0000 (GMT)
  • leveson(at)sunnyday.mit.edu Fri, 01 Dec 2000 06:56:41 -0500
  • Michael.Schmidt(at)industrialrisk.com Thu, 30 Nov 2000 09:04:17 -0600
  • Spriggs, John Thu, 30 Nov 2000 08:51:09 -0000
  • Peter B. Ladkin Thu, 30 Nov 2000 09:41:34 +0100
  • Ganter, John H Wed, 29 Nov 2000 16:30:52 -0700
• Java license disclaims use in hazardous environments
  • Ganter, John H Thu, 30 Nov 2000 11:35:41 -0700
• Java versus Ada for safety critical command and control appli cation
  • Garlington, Kennie E Thu, 30 Nov 2000 12:34:46 -0600
• Java versus Ada for safety critical command and control appli cation
  • Peter Amey Thu, 30 Nov 2000 08:21:10 -0000
• Java versus Ada for safety critical command and control application
  • brian wichmann Wed, 29 Nov 2000 22:41:43 +0000
  • Ronald V Mausser Wed, 29 Nov 2000 16:49:16 -0500
• Java versus Ada for safety critical command and controlapplic ation
  • gwdaughe(at)collins.rockwell.com Thu, 30 Nov 2000 13:29:06 -0600
  • Michael.Schmidt(at)industrialrisk.com Thu, 30 Nov 2000 09:23:35 -0600
  • Michael.Schmidt(at)industrialrisk.com Thu, 30 Nov 2000 07:55:37 -0600
  • Peter Amey Thu, 30 Nov 2000 10:04:11 -0000
  • Peter Amey Thu, 30 Nov 2000 09:03:29 -0000
  • Peter Amey Thu, 30 Nov 2000 08:37:32 -0000
• Java versus Ada for safety critical command and controlapplication
  • Peter B. Ladkin Thu, 30 Nov 2000 15:40:33 +0100
  • Steven Crook-Dawkins Thu, 30 Nov 2000 10:20:33 -0000
  • Peter B. Ladkin Thu, 30 Nov 2000 10:49:15 +0100
  • John McDermid Thu, 30 Nov 2000 08:53:54 -0000
  • Peter B. Ladkin Wed, 29 Nov 2000 23:18:40 +0100
• legal status of ICE 61508
  • mtmiller(at)collins.rockwell.com Wed, 29 Nov 2000 08:06:47 -0600
  • leveson(at)sunnyday.mit.edu Wed, 29 Nov 2000 05:54:17 -0500
  • bill black Wed, 29 Nov 2000 09:47:54 -0000
  • Peter Croll Wed, 29 Nov 2000 10:25:56 +1100
  • Spiker, Rolf Tue, 28 Nov 2000 22:39:07 +0100
  • Michael.Schmidt(at)industrialrisk.com Tue, 28 Nov 2000 09:49:19 -0600
  • Mark Werenowski Tue, 28 Nov 2000 12:01:58 +0000
  • johnson(at)dcs.gla.ac.uk Tue, 28 Nov 2000 16:37:31 GMT
  • leveson(at)sunnyday.mit.edu Tue, 28 Nov 2000 11:44:59 -0500
  • Pete Fenelon Tue, 28 Nov 2000 15:47:43 +0000
  • Pete Fenelon Tue, 28 Nov 2000 15:43:54 +0000
  • mtmiller(at)collins.rockwell.com Tue, 28 Nov 2000 09:11:46 -0600
  • Robinson, Paul Tue, 28 Nov 2000 14:49:52 -0000
  • Pete Fenelon Tue, 28 Nov 2000 14:26:43 +0000
  • Michael.Schmidt(at)industrialrisk.com Tue, 28 Nov 2000 07:24:15 -0600
  • Spriggs, John Tue, 28 Nov 2000 10:38:43 -0000
  • Mike Ellims Tue, 28 Nov 2000 10:21:19 -0000
• legal status of IEC 61508
  • bill black Wed, 29 Nov 2000 18:59:59 -0000
  • John McDermid Wed, 29 Nov 2000 16:12:54 -0000
  • Peter B. Ladkin Wed, 29 Nov 2000 17:00:55 +0100
  • UK72 Wed, 29 Nov 2000 08:21:49 -0700
• Low demand systems
  • Meine van der Meulen Tue, 31 Oct 2000 09:40:37 +0100
  • Martyn Thomas Tue, 17 Oct 2000 07:59:30 +0100
  • Meine van der Meulen Mon, 16 Oct 2000 20:09:29 +0200
• low demand systems.
  • Bev Littlewood Mon, 9 Oct 2000 09:42:31 +0000
  • bill black Sun, 8 Oct 2000 20:06:24 +0100
  • Martyn Thomas Sat, 7 Oct 2000 10:23:12 +0100
• Manuscript
  • Spriggs, John Mon, 3 Jul 2000 08:13:36 +0100
  • Jonathan Moffett Fri, 30 Jun 2000 17:15:30 +0100
• MC/DC testing (and safety)
  • leveson(at)sunnyday.mit.edu Sat, 10 Jun 2000 12:31:21 -0400
• MIL-STD-882C vs. MIL-STD-882D
  • Dewi Daniels Thu, 13 Apr 2000 14:50:10 +0100
  • John McDermid Tue, 11 Apr 2000 18:32:35 +0100
  • Garlington, Kennie E Tue, 11 Apr 2000 07:48:17 -0500
  • Garlington, Kennie E Mon, 10 Apr 2000 19:57:14 -0500
  • leveson(at)sunnyday.mit.edu Mon, 10 Apr 2000 19:30:59 -0400
  • John McDermid Mon, 10 Apr 2000 22:01:00 +0100
  • Ian B Pirie Mon, 10 Apr 2000 16:15:53 -0400
• My talk
  • Peter B. Ladkin Wed, 20 Sep 2000 21:53:34 +0200
• Navy carrier to run Win 2000
  • James Bret Michael Fri, 29 Sep 2000 10:47:24 -0700 (PDT)
  • Ganter, John H Fri, 29 Sep 2000 11:38:13 -0600
  • Andy Ashworth Wed, 20 Sep 2000 12:19:09 +0100
  • Paul Gruhn, P.E. Tue, 19 Sep 2000 19:50:53 -0500
  • leveson(at)sunnyday.mit.edu Tue, 19 Sep 2000 18:29:26 -0400
  • Peter B. Ladkin Tue, 19 Sep 2000 20:44:18 +0200
  • Ganter, John H Tue, 19 Sep 2000 11:54:44 -0600
• Ninth Safety Critical Systems Vacation S
  • nnancarrow(at)iee.org.uk Tue, 15 Feb 2000 11:38:39 +0000
• Notes on a Workshop
  • John McDermid Mon, 7 Aug 2000 14:12:31 +0100
  • Peter B. Ladkin Mon, 31 Jul 2000 08:34:24 +0200
  • Peter B. Ladkin Sun, 30 Jul 2000 10:26:32 +0200
  • Dewi Daniels Thu, 27 Jul 2000 17:24:05 +0100
  • Spriggs, John Wed, 26 Jul 2000 09:00:54 +0100
  • Martyn Thomas Wed, 26 Jul 2000 08:53:39 +0100
  • Felix Redmill Wed, 26 Jul 2000 06:56:09 +0000
• Notes on a Workshop - The definition of hazard
  • E. Douglas Jensen Mon, 31 Jul 2000 08:15:48 -0400
  • Martyn Thomas Sat, 29 Jul 2000 11:29:28 +0100
  • Jonathan Moffett Fri, 28 Jul 2000 16:34:02 +0100
  • Felix Redmill Fri, 28 Jul 2000 14:52:00 +0000
  • Brian Jepson Fri, 28 Jul 2000 13:57:00 +0000
  • Martyn Thomas Thu, 27 Jul 2000 20:10:36 +0100
  • Pete Fenelon Thu, 27 Jul 2000 17:06:53 +0100
  • leveson(at)sunnyday.mit.edu Thu, 27 Jul 2000 11:07:39 -0400
  • Spriggs, John Thu, 27 Jul 2000 15:47:54 +0100
  • Pete Fenelon Thu, 27 Jul 2000 15:30:14 +0100
  • Brian Jepson Thu, 27 Jul 2000 11:08:11 +0000
• Online guidelines
  • Spriggs,John Wed, 5 Apr 2000 16:17:55 +0100
  • Peter B. Ladkin Wed, 05 Apr 2000 10:21:59 +0200
• Operating Systems
  • Pete Fenelon Wed, 16 Aug 2000 15:45:13 +0100
  • BLAKELEY Anne Wed, 16 Aug 2000 14:15:45 +0100
• Oz safety workshop - extended deadline for papers
  • Peter Lindsay Fri, 21 Jul 2000 18:01:27 +1000 (EST)
• paper on verif of adaptive agents
  • Simon Hughes Thu, 5 Oct 2000 08:54:10 +0100
• Probability of "bit-toppling" in SRAMs
  • pgb(at)adelard.co.uk Wed, 23 Aug 2000 11:59:18 +0100
  • Pete Mellor Wed, 23 Aug 2000 10:16:04 +0100 (BST)
  • Martyn Thomas Tue, 22 Aug 2000 17:19:53 +0100
  • Rod Chapman Tue, 22 Aug 2000 16:41:15 +0100
  • Moulding, Danny Tue, 22 Aug 2000 17:41:07 +0200
  • pgb(at)adelard.co.uk Tue, 22 Aug 2000 15:19:37 +0100
  • Moulding, Danny Tue, 22 Aug 2000 09:54:21 +0200
  • Garlington, Kennie E Sat, 19 Aug 2000 18:07:53 -0500
  • Pete Mellor Sat, 19 Aug 2000 03:32:53 +0100 (BST)
  • Pete Mellor Fri, 18 Aug 2000 15:52:28 +0100 (BST)
  • ABARTOLI Fri, 18 Aug 2000 10:31:36 -0400
  • Peter B. Ladkin Fri, 18 Aug 2000 16:09:38 +0200
  • actribbl(at)collins.rockwell.com Fri, 18 Aug 2000 08:43:34 -0500
  • ABARTOLI Fri, 18 Aug 2000 09:40:04 -0400
  • Martyn Thomas Fri, 18 Aug 2000 14:06:11 +0100
  • Elmar Maas Fri, 18 Aug 2000 14:15:09 +0200 (MEST)
• Probability of failure as a result of testing
  • Paul Gruhn, P.E. Wed, 31 May 2000 17:29:05 -0500
  • Ian B Pirie Wed, 31 May 2000 16:55:39 -0400
• Proof of absence of run time errors
  • pgb(at)adelard.co.uk Tue, 27 Jun 2000 09:35:06 +0100
  • Andrew Davies Mon, 26 Jun 2000 22:00:34 +0100
• References on the application of System Safety during early syste m life cycle phase
  • WOODS, JORGE Wed, 28 Jun 2000 14:26:21 +1000
• Request for courses / books / information on Preliminary System S afety Assessment (PSSA)
  • OLIVER Mervyn Fri, 29 Sep 2000 10:08:11 +0200
• Request to be added to list server
  • Lenz, Chuck Tue, 29 Feb 2000 15:30:20 +0000
• Resources
  • Tim Kelly Wed, 02 Aug 2000 13:36:42 +0100
  • Dr. William Goble Mon, 31 Jul 2000 06:50:42 -0400
  • Andreas Gerstinger Sun, 30 Jul 2000 22:49:23 +0200
• Risk Reduction and Maintenance Overrides
  • Ian.Gibson(at)fluor.com Thu, 11 May 2000 22:10:16 +1100
  • bill black Thu, 11 May 2000 09:21:13 +0100
  • Des Nutt Thu, 11 May 2000 00:05:38 -0700 (PDT)
  • Paul Gruhn, P.E. Wed, 10 May 2000 18:15:45 -0500
  • Paul Gruhn, P.E. Wed, 10 May 2000 18:12:55 -0500
  • Raj Sreenevasan Wed, 10 May 2000 11:52:40 +1000
  • Des Nutt Mon, 8 May 2000 23:57:01 -0700 (PDT)
  • Raj Sreenevasan Tue, 9 May 2000 09:28:32 +1000
  • Des Nutt Mon, 8 May 2000 05:26:32 -0700 (PDT)
• RTOS Responsibilities for Scheduling
  • Gerard Le_Lann Wed, 22 Mar 2000 18:06:35 +0100
  • Garlington, Kennie E Mon, 20 Mar 2000 14:47:07 -0600
  • Gerard Le_Lann Mon, 20 Mar 2000 20:43:21 +0100
  • Gerard Le_Lann Mon, 20 Mar 2000 20:04:17 +0100
  • Gerard Le_Lann Mon, 20 Mar 2000 18:25:44 +0100
  • Garlington, Kennie E Thu, 16 Mar 2000 10:17:20 -0600
  • Peter B. Ladkin Thu, 16 Mar 2000 10:32:09 +0100
  • Garlington, Kennie E Wed, 15 Mar 2000 14:36:57 -0600
  • Peter B. Ladkin Wed, 15 Mar 2000 20:01:44 +0100
• RTOS Responsibilities for Scheduling (was: IEE Tutorial...)
  • Spriggs,John Mon, 27 Mar 2000 07:47:37 +0100
  • Pete Fenelon Fri, 24 Mar 2000 17:29:43 +0000
  • Pete Mellor Fri, 24 Mar 2000 17:06:41 GMT
  • Peter B. Ladkin Tue, 21 Mar 2000 13:04:31 +0100
  • Jonathan Moffett Tue, 21 Mar 2000 09:03:49 +0000
  • Martyn Thomas Tue, 21 Mar 2000 08:14:58 -0000
  • Garlington, Kennie E Mon, 20 Mar 2000 14:21:57 -0600
  • Gerard Le_Lann Mon, 20 Mar 2000 20:59:34 +0100
  • Gerard Le_Lann Mon, 20 Mar 2000 19:43:45 +0100
  • Neil Audsley Wed, 15 Mar 2000 22:26:00 +0000
  • Gerard Le_Lann Wed, 15 Mar 2000 19:19:25 +0100
  • Garlington, Kennie E Tue, 14 Mar 2000 12:48:57 -0600
  • Gerard Le_Lann Tue, 14 Mar 2000 18:07:19 +0100
  • Iain Bate Tue, 14 Mar 2000 16:12:51 +0000
  • Gerard Le_Lann Tue, 14 Mar 2000 15:57:16 +0100
  • Gerard Le_Lann Tue, 14 Mar 2000 12:02:05 +0100
  • Peter B. Ladkin Tue, 14 Mar 2000 11:06:19 +0100
  • Iain Bate Mon, 13 Mar 2000 18:47:30 +0000
  • Gerard Le_Lann Mon, 13 Mar 2000 19:10:17 +0100
  • Gerard Le_Lann Mon, 13 Mar 2000 18:51:54 +0100
  • Garlington, Kennie E Mon, 13 Mar 2000 11:49:39 -0600
  • Gerard Le_Lann Mon, 13 Mar 2000 18:30:43 +0100
  • Gerard Le_Lann Mon, 13 Mar 2000 17:44:43 +0100
  • Iain Bate Thu, 09 Mar 2000 09:19:33 +0000
  • Garlington, Kennie E Wed, 08 Mar 2000 15:58:43 -0600
  • Neil Audsley Wed, 08 Mar 2000 21:01:09 +0000
  • Garlington, Kennie E Wed, 08 Mar 2000 12:49:45 -0600
  • Armstrong, Jim Wed, 8 Mar 2000 18:44:45 -0000
  • Gerard Le_Lann Wed, 08 Mar 2000 19:30:07 +0100
  • John McDermid Wed, 8 Mar 2000 17:44:08 -0000
  • Iain Bate Wed, 08 Mar 2000 16:57:42 +0000
  • Gerard Le_Lann Wed, 08 Mar 2000 17:39:19 +0100
  • Gerard Le_Lann Wed, 08 Mar 2000 13:19:04 +0100
  • Peter B. Ladkin Tue, 07 Mar 2000 10:17:51 +0100
  • Garlington, Kennie E Mon, 06 Mar 2000 13:41:33 -0600
  • Gerard Le_Lann Mon, 06 Mar 2000 19:05:39 +0100
  • Iain Bate Mon, 06 Mar 2000 16:21:11 +0000
  • Garlington, Kennie E Mon, 06 Mar 2000 09:31:16 -0600
  • Peter B. Ladkin Mon, 06 Mar 2000 14:22:08 +0100
  • Garlington, Kennie E Fri, 03 Mar 2000 16:51:19 -0600
  • Garlington, Kennie E Fri, 03 Mar 2000 15:32:12 -0600
  • Garlington, Kennie E Fri, 03 Mar 2000 14:19:36 -0600
  • Garlington, Kennie E Fri, 03 Mar 2000 13:56:17 -0600
  • Peter B. Ladkin Fri, 03 Mar 2000 19:45:08 +0100
  • Nigel Tracey Fri, 03 Mar 2000 18:28:51 +0000
  • Garlington, Kennie E Fri, 03 Mar 2000 11:37:53 -0600
  • Peter B. Ladkin Fri, 03 Mar 2000 18:00:52 +0100
  • Nigel Tracey Fri, 03 Mar 2000 16:06:09 +0000
  • Garlington, Kennie E Fri, 03 Mar 2000 09:28:05 -0600
• Safecomp 2000 - Programme + Registration
  • Jonathan Moffett Fri, 30 Jun 2000 08:53:47 +0100
• Safety and C
  • gfm101(at)cs.york.ac.uk Wed, 23 Aug 2000 12:00:37 +0100
• Safety clauses in SW licenses
  • Bertrand Ricque Fri, 6 Oct 2000 22:27:33 +0200
  • Ganter, John H Fri, 6 Oct 2000 10:30:28 -0600
• Safety Critical Mailing List application
  • ronald.weir(at)baesystems.com Wed, 27 Sep 2000 12:03:33 +0100
• Safety Definitions
  • Peter B. Ladkin Wed, 01 Mar 2000 10:54:53 +0100
  • Felix Redmill Wed, 1 Mar 2000 08:47:20 +0000
  • Ian B. Pirie Tue, 29 Feb 2000 20:40:01 EST
  • Felix Redmill Tue, 29 Feb 2000 22:24:24 +0000
  • Ian B Pirie Tue, 29 Feb 2000 13:00:14 -0500
• safety drafts
  • Martyn Thomas Thu, 16 Mar 2000 08:23:58 -0000
• Safety Engineers, Leatherhead, South-East E ngland, £18-45K + benefits
  • Simon Hughes Wed, 15 Nov 2000 17:19:40 -0000
• Safety Integrity Level Selection Course
  • Dr. William Goble Fri, 28 Jul 2000 07:55:52 -0400
• safety of AHS
  • Peter B. Ladkin Mon, 02 Oct 2000 23:16:19 +0200
• safety of AHS, NRC report, etc.
  • James Bret Michael Mon, 2 Oct 2000 10:45:51 -0700 (PDT)
• Safety of ASICs
  • Pete Mellor Mon, 17 Jul 2000 17:40:02 +0100 (BST)
  • Spriggs, John Tue, 18 Jul 2000 07:35:21 +0100
  • Pete Fenelon Mon, 17 Jul 2000 18:23:15 +0100
  • Peter Bishop Fri, 7 Jan 2000 10:12:26 -0000
  • Peter B. Ladkin Thu, 06 Jan 2000 11:49:21 +0100
  • paul.breslin(at)lr.org Thu, 6 Jan 2000 09:45:26 +0000
  • Peter B. Ladkin Wed, 05 Jan 2000 12:12:50 +0100
  • John McDermid Wed, 5 Jan 2000 08:15:48 -0000
  • Cockram, Trevor J Tue, 4 Jan 2000 08:51:07 -0000
• safety of automated vehicles
  • James Bret Michael Fri, 29 Sep 2000 16:42:54 -0700 (PDT)
• Safety of Data Redundant Systems
  • Neil Hudson Mon, 3 Jul 2000 14:19:11 +0100
• safety qualified screen building tool
  • mtmiller(at)collins.rockwell.com Tue, 11 Jul 2000 09:26:43 -0500
  • Ken Frith Tue, 11 Jul 2000 11:14:16 +0100
  • johnson(at)dcs.gla.ac.uk Tue, 11 Jul 2000 08:22:36 +0100 (BST)
  • mark.coates(at)baesystems.com Tue, 11 Jul 2000 06:26:12 +0100
  • tom(at)faaconsulting.com Mon, 10 Jul 2000 14:19:52 -0700
  • ABARTOLI Mon, 10 Jul 2000 15:32:26 -0400
  • mtmiller(at)collins.rockwell.com Mon, 10 Jul 2000 10:51:21 -0500
  • Paul Gruhn, P.E. Sun, 9 Jul 2000 12:02:14 -0500
  • bill black Fri, 7 Jul 2000 10:58:17 +0100
  • Peter B. Ladkin Fri, 07 Jul 2000 11:25:09 +0200
  • Chuan-Chung Chen Fri, 7 Jul 2000 18:04:22 +0800
  • Spriggs, John Fri, 7 Jul 2000 09:34:03 +0100
  • daren.m.keates(at)westsig.co.uk Fri, 7 Jul 2000 09:37:49 +0100
  • Des Nutt Fri, 7 Jul 2000 00:49:23 -0700 (PDT)
  • Spriggs, John Fri, 7 Jul 2000 08:38:39 +0100
  • Chuan-Chung Chen Fri, 7 Jul 2000 10:17:15 +0800
  • Paul Gruhn, P.E. Thu, 6 Jul 2000 18:56:11 -0500
  • Dr. William Goble Thu, 06 Jul 2000 09:43:51 -0400
  • Bahadur Sihota Thu, 6 Jul 2000 08:25:51 -0400
• Safety Related: FastAbstracts at ICDSN
  • Chuck Weinstock Tue, 8 Feb 2000 13:00:21 -0500
• Safety Requirement Spec template
  • Ian.Gibson(at)Fluor.com Thu, 28 Sep 2000 09:41:28 +1100
  • Spiker, Rolf Wed, 27 Sep 2000 10:12:45 +0200
• Safety Survey
  • actribbl(at)collins.rockwell.com Mon, 21 Aug 2000 08:25:34 -0500
  • John McDermid Mon, 21 Aug 2000 12:05:19 +0100
  • actribbl(at)collins.rockwell.com Wed, 17 May 2000 14:17:37 -0500
  • John McDermid Tue, 16 May 2000 13:00:05 +0100
  • actribbl(at)collins.rockwell.com Thu, 11 May 2000 09:14:01 -0500
• Safety-critical mailing list
  • Juan F. Rodriguez Mon, 06 Mar 2000 09:51:06 +0000
• Safety-Critical News Group
  • DLSF Systems Inc. Thu, 05 Oct 2000 14:10:17 +0100
• Safeware Review
  • Peter B. Ladkin Wed, 06 Dec 2000 12:26:01 +0100
• Self drive cars
  • Arthur M III Dowell Tue, 17 Oct 2000 15:39:09 -0400
  • mtmiller(at)collins.rockwell.com Tue, 17 Oct 2000 09:04:34 -0500
  • Spriggs, John Tue, 17 Oct 2000 13:41:02 +0100
  • Phil Williams Tue, 17 Oct 2000 12:57:10 +0100
  • Steven Crook-Dawkins Tue, 17 Oct 2000 11:59:55 +0100
  • Peter B. Ladkin Tue, 17 Oct 2000 12:44:27 +0200
  • Robinson, Paul Tue, 17 Oct 2000 11:17:06 +0100
  • Penny John Tue, 17 Oct 2000 11:05:57 +0100
• Self drive cars -- Police van story
  • Ganter, John H Tue, 17 Oct 2000 09:48:16 -0600
• Self drive cars, and safety of ITS for non-specialty vehicles
  • James Bret Michael Tue, 17 Oct 2000 08:35:20 -0700 (PDT)
• SIL classification problems
  • Bertrand Ricque Thu, 28 Sep 2000 14:00:53 +0200
  • leveson(at)sunnyday.mit.edu Thu, 28 Sep 2000 05:12:59 -0400
  • leveson(at)sunnyday.mit.edu Thu, 28 Sep 2000 04:50:36 -0400
  • pgb(at)adelard.co.uk Thu, 28 Sep 2000 09:45:48 +0100
  • bill black Thu, 28 Sep 2000 09:32:12 +0100
  • Marc Pijnenburg Thu, 28 Sep 2000 09:40:00 +0200
  • John McDermid Wed, 27 Sep 2000 19:22:50 +0100
  • leveson(at)sunnyday.mit.edu Wed, 27 Sep 2000 12:06:35 -0400
  • Bertrand Ricque Wed, 27 Sep 2000 18:04:58 +0200
• SIL of software
  • Bev Littlewood Wed, 13 Sep 2000 10:37:51 +0000
  • Martyn Thomas Wed, 13 Sep 2000 08:49:36 +0100
  • Paul Gruhn, P.E. Wed, 6 Sep 2000 18:56:50 -0500
  • Armstrong, Jim Thu, 7 Sep 2000 12:34:31 +0100
• SIL of software (safety)
  • leveson(at)sunnyday.mit.edu Thu, 07 Sep 2000 12:35:48 -0400
• SIL of software - 2nd try
  • Pete Mellor Thu, 7 Sep 2000 19:11:07 +0100 (BST)
  • Martyn Thomas Thu, 7 Sep 2000 18:50:52 +0100
  • John McDermid Thu, 7 Sep 2000 18:12:14 +0100
  • Tyler G Cox Thu, 07 Sep 2000 09:52:00 Z
• SIL of software - 2nd try (reply to nikola kanuritch)
  • Martyn Thomas Thu, 14 Sep 2000 18:21:12 +0100
• SILs
  • Peter B. Ladkin Fri, 06 Oct 2000 16:51:02 +0200
  • Peter B. Ladkin Fri, 06 Oct 2000 14:45:11 +0200
  • bill black Fri, 6 Oct 2000 11:05:35 +0100
  • OLIVER Mervyn Fri, 6 Oct 2000 09:34:47 +0200
  • Peter B. Ladkin Thu, 05 Oct 2000 15:13:58 +0200
  • leveson(at)sunnyday.mit.edu Thu, 05 Oct 2000 07:17:40 -0400
  • bill black Thu, 5 Oct 2000 10:50:47 +0100
  • John McDermid Thu, 5 Oct 2000 10:17:47 +0100
  • UK72 Thu, 5 Oct 2000 10:00:15 +0100
  • bill black Thu, 5 Oct 2000 09:40:37 +0100
  • Peter Amey Thu, 5 Oct 2000 09:41:36 +0100
  • Martyn Thomas Thu, 5 Oct 2000 09:18:51 +0100
  • David Tombs Thu, 05 Oct 2000 17:05:52 +1000
  • Martyn Thomas Wed, 4 Oct 2000 20:51:50 +0100
• SILs (safety)
  • Des Nutt Thu, 5 Oct 2000 05:45:00 -0700 (PDT)
  • UK72 Thu, 5 Oct 2000 10:21:55 +0100
• SILs, measurement of product and process
  • Peter B. Ladkin Tue, 12 Sep 2000 17:32:00 +0200
  • Brian Wichmann Tue, 12 Sep 2000 09:56:47 +0100
  • E. Douglas Jensen Fri, 8 Sep 2000 09:28:45 -0400
  • Bev Littlewood Fri, 8 Sep 2000 11:04:00 +0000
  • Martyn Thomas Fri, 8 Sep 2000 08:31:48 +0100
• SILs, measurement of product and process
  • Bev Littlewood Sat, 9 Sep 2000 10:24:28 +0000
  • Jonathan Moffett Sat, 09 Sep 2000 09:38:24 +0100
  • Martyn Thomas Sat, 9 Sep 2000 08:09:44 +0100
  • Bev Littlewood Fri, 8 Sep 2000 19:12:11 +0000
  • Armstrong, Jim Fri, 8 Sep 2000 18:47:43 +0100
  • leveson(at)sunnyday.mit.edu Fri, 08 Sep 2000 11:59:09 -0400
  • Bev Littlewood Fri, 8 Sep 2000 15:02:13 +0000
  • John McDermid Fri, 8 Sep 2000 14:08:31 +0100
  • leveson(at)sunnyday.mit.edu Fri, 08 Sep 2000 08:44:50 -0400
  • John McDermid Fri, 8 Sep 2000 13:29:14 +0100
  • leveson(at)sunnyday.mit.edu Fri, 08 Sep 2000 08:20:10 -0400
  • Tom Anderson Fri, 8 Sep 2000 13:02:13 +0100
  • leveson(at)sunnyday.mit.edu Fri, 08 Sep 2000 07:49:52 -0400
  • Bev Littlewood Fri, 8 Sep 2000 11:41:35 +0000
  • leveson(at)sunnyday.mit.edu Fri, 08 Sep 2000 06:26:24 -0400
• Single Event Upsets and use of VxWorks in a safety-critical system
  • James Bret Michael Fri, 18 Aug 2000 10:22:07 -0700 (PDT)
• SIS in batch processes
  • Rachel Amkreutz Mon, 20 Nov 2000 09:42:24 -0500
• software and system safety class
  • leveson(at)sunnyday.mit.edu Wed, 03 May 2000 13:48:08 -0400
• Software Safety Courses
  • leveson(at)sunnyday.mit.edu Tue, 15 Feb 2000 05:44:54 -0500
  • Simon Hughes Tue, 15 Feb 2000 10:05:02 -0000
  • Ross Hannan Tue, 15 Feb 2000 08:24:26 -0000
  • John McDermid Tue, 15 Feb 2000 07:17:41 -0000
  • tom(at)faaconsulting.com Mon, 14 Feb 2000 18:49:42 -0800
  • Ross Hannan Mon, 14 Feb 2000 21:45:14 -0000
• Standards
  • brian wichmann Wed, 29 Nov 2000 18:04:42 +0000
• Status of Annual Reports (DO-178B/ED-12B)
  • Ross Hannan Wed, 31 May 2000 11:29:00 +0100
• Status of IEC 61508
  • simon.brown(at)hse.gsi.gov.uk Tue, 5 Dec 2000 9:45:11 +0000
  • Jon Hind Thu, 30 Nov 2000 11:22:07 +0000
  • John McDermid Wed, 29 Nov 2000 16:21:00 -0000
  • simon.brown(at)hse.gsi.gov.uk Wed, 29 Nov 2000 15:47:05 +0000
  • Michael.Schmidt(at)industrialrisk.com Tue, 28 Nov 2000 06:52:43 -0600
  • Des Nutt Tue, 28 Nov 2000 04:37:37 -0800 (PST)
  • Jonathan Moffett Tue, 28 Nov 2000 10:15:24 +0000
  • Victoria Stavridou Mon, 27 Nov 2000 14:13:25 -0800
• SV: safety drafts
  • Inga-Lill Bratteby-Ribbing Sat, 18 Mar 2000 20:55:06 +0100
• systems safety training courses
  • Simon Hughes Tue, 18 Apr 2000 10:17:27 +0100
• The cost of being in the SOUP
  • Armstrong, Jim Thu, 9 Mar 2000 13:32:24 -0000
  • leveson(at)sunnyday.mit.edu Thu, 09 Mar 2000 06:41:23 -0500
  • John McDermid Thu, 9 Mar 2000 09:37:53 -0000
  • David Tombs Thu, 09 Mar 2000 18:23:33 +1000
  • Spriggs,John Thu, 9 Mar 2000 08:02:12 -0000
  • Garlington, Kennie E Wed, 08 Mar 2000 12:54:13 -0600
  • Armstrong, Jim Wed, 8 Mar 2000 18:29:57 -0000
  • John McDermid Wed, 8 Mar 2000 08:05:58 -0000
  • Garlington, Kennie E Tue, 07 Mar 2000 16:25:23 -0600
  • John McDermid Tue, 7 Mar 2000 20:29:01 -0000
• The cost of being in the SOUP (safety)
  • pgb(at)adelard.co.uk Thu, 22 Jun 2000 19:44:56 +0100
  • pgb(at)adelard.co.uk Thu, 15 Jun 2000 16:37:07 +0100
  • Martyn Thomas Wed, 8 Mar 2000 09:44:26 -0000
• The liabilities of being in the SOUP (safety)
  • Armstrong, Jim Wed, 8 Mar 2000 17:34:31 -0000
• The NASA Adminstrator's Interesting Belief
  • Peter B. Ladkin Wed, 24 May 2000 15:35:29 +0100
• Third Information Survivability Workshop (ISW-2000)
  • Chuck Weinstock Wed, 26 Jul 2000 14:49:28 -0400
• Tool qualification accdg. DO-178B
  • Ross Hannan Fri, 14 Jul 2000 12:29:38 +0100
  • Gneiting Fri, 14 Jul 2000 11:28:40 +0200
• Tools and causal dependency
  • Martyn Thomas Sat, 15 Jan 2000 17:22:33 -0000
• Using DCS hardware as the Burner Management System for Pulverized Coal Fired Boilers
  • Raj Sreenevasan Sat, 29 Apr 2000 21:46:12 +0100
• USS Yorktown Incident
  • Simon Carter Tue, 09 May 2000 19:01:11 +1000
  • Armstrong, Jim Tue, 9 May 2000 09:59:18 +0100
  • Armstrong, Jim Tue, 9 May 2000 09:05:05 +0100
• Vacancies
  • bill black Tue, 15 Feb 2000 12:15:15 -0000
  • Robin Bloomfield Mon, 14 Feb 2000 19:37:52 -0000
• What Price Safe SOUP ?
  • Armstrong, Jim Fri, 25 Feb 2000 18:41:32 -0000
• When is a software tool safety related?
  • david.h.smith(at)gecm.com Wed, 12 Jan 2000 12:15:52 +0100 (CET)
• When is a software tool safety-related?
  • Simon Hughes Fri, 14 Jan 2000 16:19:49 -0000
  • Peter B. Ladkin Fri, 14 Jan 2000 17:04:47 +0100
  • Simon Hughes Fri, 14 Jan 2000 10:55:14 -0000
  • steven dawkins Thu, 13 Jan 2000 10:29:29 +0000
  • Peter Bishop Thu, 13 Jan 2000 09:45:52 -0000
  • Brian Wichmann Thu, 13 Jan 2000 09:44:40 GMT
  • Peter B. Ladkin Wed, 12 Jan 2000 20:26:31 +0100
  • Peter B. Ladkin Wed, 12 Jan 2000 20:11:24 +0100
  • Peter B. Ladkin Wed, 12 Jan 2000 19:31:21 +0100
  • stuart.palin(at)gecm.com Wed, 12 Jan 2000 18:26:00 +0000 (GMT)
  • Simon Hughes Wed, 12 Jan 2000 16:42:58 -0000
  • Peter B. Ladkin Wed, 12 Jan 2000 14:41:36 +0100
  • jdavies(at)iee.org Wed, 12 Jan 2000 04:02:03 -0800
  • Peter B. Ladkin Wed, 12 Jan 2000 12:21:45 +0100
  • NELEC Wed, 12 Jan 2000 08:59:45 +0000
  • by way of Jonathan Moffett Tue, 11 Jan 2000 09:43:55 +0000
  • John McDermid Tue, 11 Jan 2000 07:35:38 -0000
  • Charles Waite Mon, 10 Jan 2000 22:24:56 -0500
  • tom(at)faaconsulting.com Mon, 10 Jan 2000 17:36:27 -0800
  • Paul Gruhn, P.E. Mon, 10 Jan 2000 18:13:41 -0600
  • bill black Mon, 10 Jan 2000 20:15:42 -0000
  • Home Mon, 10 Jan 2000 11:12:05 -0800 (PST)
  • mark.bowell(at)hse.gsi.gov.uk Mon, 10 Jan 2000 16:54:37 +0000
• When is a software tool safety-related? (NK)
  • Phil Williams Wed, 12 Jan 2000 14:27:12 -0000
  • Jonathan Moffett Wed, 12 Jan 2000 14:21:36 +0000
  • nikola.kanuritch(at)bae.co.uk Wed, 12 Jan 2000 12:55:45 +0000
• when is a tool safety-related?
  • mark.bowell(at)hse.gsi.gov.uk Tue, 11 Jan 2000 10:27:12 +0000
• Whether CS has "failed" SE
  • Peter B. Ladkin Thu, 14 Sep 2000 10:40:56 +0100
  • Garlington, Kennie E Fri, 15 Sep 2000 09:40:21 -0500
  • johnson(at)dcs.gla.ac.uk Fri, 15 Sep 2000 14:43:35 +0100 (BST)
  • tom(at)faaconsulting.com Fri, 15 Sep 2000 06:57:32 -0700
  • leveson(at)sunnyday.mit.edu Fri, 15 Sep 2000 08:51:42 -0400
  • Andy Ashworth Fri, 15 Sep 2000 13:42:07 +0100
  • leveson(at)sunnyday.mit.edu Fri, 15 Sep 2000 08:18:39 -0400
  • Peter B. Ladkin Fri, 15 Sep 2000 14:08:39 +0200
  • Peter B. Ladkin Fri, 15 Sep 2000 13:48:29 +0200
  • Andy Ashworth Fri, 15 Sep 2000 11:11:18 +0100
  • Spriggs, John Fri, 15 Sep 2000 10:38:06 +0100
  • Simon Hughes Fri, 15 Sep 2000 09:17:21 +0100
  • Peter B. Ladkin Fri, 15 Sep 2000 07:55:42 +0200
  • Peter B. Ladkin Fri, 15 Sep 2000 07:25:42 +0200
  • Martyn Thomas Thu, 14 Sep 2000 20:20:07 +0100
  • John McDermid Thu, 14 Sep 2000 19:53:24 +0100
• Win 2000- slideware
  • Home Sat, 23 Sep 2000 02:30:47 +0100
• Windows NT and Safety Related Applications
  • John Simpson Mon, 24 Jul 2000 16:14:58 +0100

This archive was generated by hypermail 2.0b3 on Tue 21 Aug 2001 - 16:43:13 BST