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