Safety-Critical Mailing List Archive 2003
By Thread

End of Messages	Date view	Subject view	Author view	Attachment view	Other mail archives

651 Messages
Starting:	Wed 08 Oct 2003 - 16:05:56 BST	Ending:	Thu 18 Dec 2003 - 20:16:57 GMT

(no subject) Nancy Leveson (Wed 01 Jan 2003 - 00:00:23 GMT)
- RE: [sc] David Crocker (Wed 01 Jan 2003 - 13:03:26 GMT)
- Re: [sc] OO design Brian Wichmann (Wed 01 Jan 2003 - 16:02:36 GMT)
RTOS - extended to O-O felix redmill (Wed 01 Jan 2003 - 13:24:39 GMT)
- RE: [sc] RTOS - extended to O-O David Crocker (Wed 01 Jan 2003 - 15:17:38 GMT)
SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Sandro Bologna (Wed 01 Jan 2003 - 19:08:50 GMT)
- RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Martyn Thomas (Wed 01 Jan 2003 - 19:27:30 GMT)
- RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS David Crocker (Thu 02 Jan 2003 - 13:15:56 GMT)
Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS tom(at)faaconsulting.com (Thu 02 Jan 2003 - 11:48:41 GMT)
- Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Clive Pygott (Fri 03 Jan 2003 - 06:54:45 GMT)
  - Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Andrew Brydon (Fri 03 Jan 2003 - 12:35:40 GMT)
- Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Clive Pygott (Mon 06 Jan 2003 - 06:53:35 GMT)
  - Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Peter B. Ladkin (Mon 06 Jan 2003 - 11:17:43 GMT)
- Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Jsflynt(at)aol.com (Mon 06 Jan 2003 - 23:58:53 GMT)
- Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Ian.Gibson(at)Fluor.com (Thu 18 Sep 2003 - 08:00:14 BST)
  - Re: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Peter B. Ladkin (Thu 18 Sep 2003 - 09:36:56 BST)
  - RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Martyn Thomas (Thu 18 Sep 2003 - 09:46:59 BST)
Re: [sc] Safety related use of Linux and other open-source software Francois Taiani (Fri 03 Jan 2003 - 20:09:32 GMT)
RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEM S Chris Caines (Mon 06 Jan 2003 - 11:27:10 GMT)
- RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS David Crocker (Mon 06 Jan 2003 - 12:16:10 GMT)
- RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEM S Spriggs, John (Mon 06 Jan 2003 - 15:27:33 GMT)
Fault Tree Semantics Kaiser Bernhard (Mon 06 Jan 2003 - 17:16:31 GMT)
- RE: [sc] Fault Tree Semantics Paul Gruhn (Mon 06 Jan 2003 - 19:12:43 GMT)
- Re: [sc] Fault Tree Semantics Pete Fenelon (Mon 06 Jan 2003 - 20:01:19 GMT)
SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Sandro Bologna (Mon 06 Jan 2003 - 17:29:03 GMT)
Re: [sc] Selection Criteria for RTOS Jsflynt(at)aol.com (Mon 06 Jan 2003 - 22:20:39 GMT)
RE: [sc] Fault Tree Semantics[Scanned] Robin Cook (Tue 07 Jan 2003 - 12:11:46 GMT)
- Bieleschweig Workshop Proceedings Peter B. Ladkin (Tue 07 Jan 2003 - 13:55:38 GMT)
- RE: [sc] Fault Tree Semantics[Scanned] Kaiser Bernhard (Thu 09 Jan 2003 - 11:42:36 GMT)
- RE: [sc] Fault Tree Semantics[Scanned] Robin Cook (Fri 10 Jan 2003 - 17:50:37 GMT)
Failure and Reliability definitions (was [sc] Origins of 10**-4 S W Failure Rate) Bridal Olof (Tue 07 Jan 2003 - 13:31:38 GMT)
RE: [sc] RTOS etc. - unpardonably long Peter Amey (Tue 07 Jan 2003 - 15:17:05 GMT)
RE: Failure and Reliability definitions (was [sc] Origins of 10**-4 SW Failure Rate) Robin Cook (Tue 07 Jan 2003 - 17:14:56 GMT)
RE: SIL Claims (was: RE: [sc] SAFETY RELATED USE OF WINDOWS FAMIL Y OF OPERATING SYSTEMS ) Fotis Fotopoulos (Wed 08 Jan 2003 - 19:30:44 GMT)
Process v. Product standards(was Re: SIL Claims (was: ... ) C. Michael Holloway (Wed 08 Jan 2003 - 19:43:28 GMT)
- RE: Process v. Product standards(was Re: SIL Claims (was: ... ) John C. Grebe Jr. (Wed 08 Jan 2003 - 20:33:14 GMT)
- RE: Process v. Product standards(was Re: SIL Claims (was: ... ) Peter Amey (Thu 09 Jan 2003 - 09:03:28 GMT)
- RE: Process v. Product standards(was Re: SIL Claims (was: ... ) Alan Simpson (Thu 09 Jan 2003 - 09:56:23 GMT)
- fellowship johnson(at)dcs.gla.ac.uk (Thu 09 Jan 2003 - 12:14:33 GMT)
  - Re: [sc] previous mail johnson(at)dcs.gla.ac.uk (Thu 09 Jan 2003 - 12:19:57 GMT)
Re: SIL Claims (was: RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATI... Jsflynt(at)aol.com (Wed 08 Jan 2003 - 20:16:14 GMT)
RE: SIL Claims felix redmill (Thu 09 Jan 2003 - 09:48:36 GMT)
Process v. Product standards tom(at)faaconsulting.com (Thu 09 Jan 2003 - 11:52:39 GMT)
- Re: [sc] Process v. Product standards Peter B. Ladkin (Thu 09 Jan 2003 - 12:36:58 GMT)
  - Re: [sc] Process v. Product standards Jsflynt(at)aol.com (Fri 10 Jan 2003 - 00:10:22 GMT)
  - Re: [sc] Process v. Product standards Ian.Gibson(at)Fluor.com (Fri 10 Jan 2003 - 02:17:47 GMT)
- Re: [sc] Process v. Product standards jim armstrong (Thu 09 Jan 2003 - 12:59:37 GMT)
- Re: [sc] Process v. Product standards Nancy Leveson (Thu 09 Jan 2003 - 13:01:24 GMT)
- RE: Process v. Product standards Reynolds, Barrie (UK72) (Fri 17 Jan 2003 - 11:09:15 GMT)
  - Re: IEC 61508 Process v. Product standards Peter B. Ladkin (Mon 20 Jan 2003 - 15:36:28 GMT)
  - RE: IEC 61508 Process v. Product standards Martyn Thomas (Mon 20 Jan 2003 - 16:12:11 GMT)
- RE: Process v. Product standards bill black (Fri 17 Jan 2003 - 20:46:09 GMT)
FW: [sc] Process v. Product standards WOODS, JORGE (Thu 09 Jan 2003 - 23:01:22 GMT)
- Re: [sc] Process v. Product standards John McDermid (Fri 10 Jan 2003 - 05:36:12 GMT)
  - Re: [sc] Process v. Product standards Wise Technics Limited (Fri 10 Jan 2003 - 12:09:53 GMT)
- Re: FW: [sc] Process v. Product standards Dock Allen (Fri 10 Jan 2003 - 15:55:36 GMT)
FW: SIL Claims (was: RE: [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS ) Martyn Thomas (Fri 10 Jan 2003 - 08:39:21 GMT)
Recommended reading for beginners... Per-Tore Aasestrand (Fri 10 Jan 2003 - 11:02:50 GMT)
- Re: [sc] Recommended reading for beginners... Peter B. Ladkin (Fri 10 Jan 2003 - 11:32:48 GMT)
- Re: [sc] Recommended reading for beginners... Steve Crook-Dawkins (Fri 10 Jan 2003 - 15:27:56 GMT)
- Re: [sc] Recommended reading for beginners... Chris Harper (Sat 11 Jan 2003 - 13:48:55 GMT)
  - Re: [sc] Recommended reading for beginners... Per-Tore Aasestrand (Fri 17 Jan 2003 - 07:49:27 GMT)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Fri 10 Jan 2003 - 15:19:29 GMT)
RE: [sc] Recommended reading for beginners... Mike Ellims (Fri 10 Jan 2003 - 16:00:58 GMT)
- Re: [sc] Recommended reading for beginners... Peter B. Ladkin (Fri 10 Jan 2003 - 17:10:20 GMT)
- RE: [sc] Recommended reading for beginners... Mike Ellims (Fri 10 Jan 2003 - 17:33:28 GMT)
  - Re: [sc] Recommended reading for beginners... Peter B. Ladkin (Fri 10 Jan 2003 - 17:43:14 GMT)
- RE: [sc] Recommended reading for beginners... Fotis Fotopoulos (Fri 10 Jan 2003 - 17:53:02 GMT)
- RE: [sc] Recommended reading for beginners... Mike Ellims (Mon 13 Jan 2003 - 09:59:34 GMT)
  - Re: [sc] Recommended reading for beginners... Peter B. Ladkin (Mon 13 Jan 2003 - 14:57:27 GMT)
RE: [sc] The (In?)Tangibility of SW Royalty, Chuck (Mon 13 Jan 2003 - 02:50:37 GMT)
- Re: [sc] The (In?)Tangibility of SW Peter B. Ladkin (Mon 13 Jan 2003 - 05:56:11 GMT)
R: [sc] Recommended reading for beginners... Toso Andrea (Mon 13 Jan 2003 - 15:09:16 GMT)
RE: Process v. Product standards(was Re: SIL Claims (was: ... )[Scanned] Robin Cook (Tue 14 Jan 2003 - 09:59:31 GMT)
- RE: Process v. Product standards(was Re: SIL Claims (was: ... )[ Dr. Wolfgang Ehrenberger (Wed 15 Jan 2003 - 18:08:04 GMT)
- The Usual Dichotomy (was Re: Process v. Product standards) Peter B. Ladkin (Thu 16 Jan 2003 - 09:07:23 GMT)
Railway Safety Systems Peter B. Ladkin (Tue 14 Jan 2003 - 11:00:16 GMT)
- Re: [sc] Railway Safety Systems James Moreland (Wed 15 Jan 2003 - 14:23:11 GMT)
Request for ideas for research Simon.Brown(at)hse.gsi.gov.uk (Wed 15 Jan 2003 - 15:44:53 GMT)
Request for ideas for research (improved format) Simon.Brown(at)hse.gsi.gov.uk (Wed 15 Jan 2003 - 15:55:55 GMT)
- Re: [sc] Request for ideas for research (improved format) Dock Allen (Wed 15 Jan 2003 - 16:32:30 GMT)
RE: [sc] Request for ideas for research (improved format) Spriggs, John (Wed 15 Jan 2003 - 16:04:06 GMT)
AW: Process v. Product standards Braband Jens (Thu 16 Jan 2003 - 07:03:25 GMT)
RE: [sc] Railway Safety Systems Don Newing (Fri 17 Jan 2003 - 13:52:35 GMT)
RE: IEC 61508 Process v. Product standards bill black (Mon 20 Jan 2003 - 16:13:36 GMT)
- RE: IEC 61508 Process v. Product standards Spiker, Rolf (Mon 20 Jan 2003 - 21:12:22 GMT)
[sc]: admin Don Newing (Wed 22 Jan 2003 - 08:15:39 GMT)
The history of SILs Peter Sheppard (Thu 23 Jan 2003 - 12:17:20 GMT)
- RE: [sc] The history of SILs Bertrand Ricque (Thu 23 Jan 2003 - 13:19:22 GMT)
- Re: [sc] The history of SILs Dr. Wolfgang Ehrenberger (Fri 24 Jan 2003 - 16:26:50 GMT)
  - Re: [sc] The history of SILs Simon.Brown(at)hse.gsi.gov.uk (Mon 27 Jan 2003 - 09:49:49 GMT)
The benifits of SIL Assessment Alan Finn (Thu 23 Jan 2003 - 13:53:54 GMT)
- RE: [sc] The benifits of SIL Assessment Paul Gruhn (Fri 24 Jan 2003 - 01:44:14 GMT)
CFP: SAFECOMP 2003 - remind Massimo Felici (Mon 27 Jan 2003 - 12:07:55 GMT)
The history of SILs Tony Foord (Mon 27 Jan 2003 - 15:59:29 GMT)
More Serious Problem than Urban Legend Peter B. Ladkin (Thu 30 Jan 2003 - 06:26:12 GMT)
- RE: [sc] More Serious Problem than Urban Legend Martyn Thomas (Thu 30 Jan 2003 - 10:49:26 GMT)
R: [sc] More Serious Problem than Urban Legend Toso Andrea (Thu 30 Jan 2003 - 15:30:12 GMT)
Ross Anderson talk, London 11/2/3 (fwd) Peter Bishop (Fri 31 Jan 2003 - 13:24:06 GMT)
Off-Topic but relevant for academics Peter B. Ladkin (Sat 01 Feb 2003 - 08:51:56 GMT)
- So silent... Per-Tore Aasestrand (Mon 03 Mar 2003 - 08:36:30 GMT)
another Shuttle tragedy Nancy Leveson (Sat 01 Feb 2003 - 14:49:54 GMT)
- RE: [sc] another Shuttle tragedy Martyn Thomas (Sat 01 Feb 2003 - 15:10:54 GMT)
- Re: [sc] another Shuttle tragedy Mauricio Peixoto (Sun 02 Feb 2003 - 21:55:39 GMT)
  - Re: [sc] another Shuttle tragedy Mauricio Peixoto (Mon 03 Feb 2003 - 09:48:35 GMT)
  - Re: Re: [sc] another Shuttle tragedy tom(at)faaconsulting.com (Sun 02 Feb 2003 - 13:21:54 GMT)
Natural gas, LNG, etc Peter B. Ladkin (Thu 06 Feb 2003 - 12:00:48 GMT)
- Re: [sc] Natural gas, LNG, etc johnson(at)dcs.gla.ac.uk (Thu 06 Feb 2003 - 13:05:47 GMT)
- RE: [sc] Natural gas, LNG, etc Edward M. Marszal, P.E. (Thu 06 Feb 2003 - 14:55:17 GMT)
A general question on safety. Arun (Thu 06 Feb 2003 - 12:17:04 GMT)
Re:[sc] A general question on safety. mpeixot (Thu 06 Feb 2003 - 14:40:22 GMT)
(NEW DEADLINE) - LADC 2003 - Latin-American Symposium on Dependable Computing Rogerio de Lemos (Fri 28 Feb 2003 - 16:59:05 GMT)
RE: [sc] So silent... david.biddulph(at)baesystems.com (Mon 03 Mar 2003 - 12:54:21 GMT)
Final CFP: Workshop on Investigation & Reporting of Incidents & Accidents C. Michael Holloway (Thu 06 Mar 2003 - 15:10:17 GMT)
New SPARK Book Sample Chapter now on-line free Rod Chapman (Tue 11 Mar 2003 - 16:21:52 GMT)
Free Ada High Integrity Standard Brian Wichmann (Fri 21 Mar 2003 - 17:43:23 GMT)
RE: [sc] Free Ada High Integrity Standard tom_haskins ��z (Mon 24 Mar 2003 - 02:04:44 GMT)
- RE: [sc] Free Ada High Integrity Standard Ian.Gibson(at)Fluor.com (Mon 24 Mar 2003 - 02:07:17 GMT)
  - Re: [sc] Free Ada High Integrity Standard Partha (Fri 28 Mar 2003 - 12:11:32 GMT)
- RE: [sc] Free Ada High Integrity Standard Mark.Bowell(at)hse.gsi.gov.uk (Mon 24 Mar 2003 - 10:31:25 GMT)
MISRA-C Brian Wichmann (Wed 26 Mar 2003 - 12:08:47 GMT)
- Re: [sc] MISRA-C Pete Fenelon (Wed 26 Mar 2003 - 13:00:17 GMT)
RE: [sc] MISRA-C Rivett, Roger (R.S.) (Fri 28 Mar 2003 - 13:28:30 GMT)
Announcement: MISRA C v2 draft for comment McCall, Gavin (G.F.) (Mon 31 Mar 2003 - 14:14:56 BST)
Comments on STAMP Peter B. Ladkin (Mon 31 Mar 2003 - 16:45:01 BST)
- Re: [sc] Comments on STAMP Nancy Leveson (Mon 31 Mar 2003 - 19:39:59 BST)
IRIA 2003 Deadline extension C. Michael Holloway (Mon 31 Mar 2003 - 21:08:11 BST)
STAMP and friendly fire johnson(at)dcs.gla.ac.uk (Tue 01 Apr 2003 - 09:27:28 BST)
"Time-out" on STAMP Discussion Tim Kelly (Tue 01 Apr 2003 - 09:44:40 BST)
Not you too! Peter B. Ladkin (Tue 01 Apr 2003 - 09:37:38 BST)
IEC61511 - assistance required Peter Sheppard (Fri 04 Apr 2003 - 13:09:44 BST)
Re: [sc] IEC61511 - assistance required Mark.Bowell(at)hse.gsi.gov.uk (Fri 04 Apr 2003 - 14:47:00 BST)
- RE: [sc] IEC61511 - assistance required David Crocker (Fri 04 Apr 2003 - 15:16:15 BST)
  - RE: [sc] IEC61511 - assistance required Paul Gruhn (Fri 04 Apr 2003 - 15:42:50 BST)
  - Limited variability language Brian Wichmann (Mon 07 Apr 2003 - 20:38:03 BST)
IEC61511 language definitions Mark.Bowell(at)hse.gsi.gov.uk (Fri 04 Apr 2003 - 15:39:52 BST)
Comparison of root cause analysis methods Braband Jens (Mon 07 Apr 2003 - 06:56:39 BST)
[Sc]: 10 or so Research Jobs/Studentships johnson(at)dcs.gla.ac.uk (Mon 07 Apr 2003 - 08:58:48 BST)
- Friendly fire johnson(at)dcs.gla.ac.uk (Mon 07 Apr 2003 - 12:03:43 BST)
- PPS [sc] friendly fire johnson(at)dcs.gla.ac.uk (Mon 07 Apr 2003 - 12:17:54 BST)
RE: [sc] Limited variability language Andy Farnsworth (Mon 07 Apr 2003 - 21:14:25 BST)
- RE: [sc] Limited variability language John C. Grebe Jr. (Mon 07 Apr 2003 - 22:17:57 BST)
RE: [sc] Radar Safety Paper Philip Worrall (Tue 08 Apr 2003 - 14:26:36 BST)
2003 Australian Safety Critical Systems & Software workshop CFP Peter Lindsay (Mon 14 Apr 2003 - 07:23:01 BST)
Fratricide Peter B. Ladkin (Mon 14 Apr 2003 - 12:48:13 BST)
[sc] demand mode vs continuous mode SILs Martyn Thomas (Wed 16 Apr 2003 - 20:09:05 BST)
- RE: [sc] demand mode vs continuous mode SILs Edward M. Marszal, P.E. (Wed 16 Apr 2003 - 20:23:45 BST)
- RE: [sc] demand mode vs continuous mode SILs Paul Gruhn (Wed 16 Apr 2003 - 19:38:06 BST)
- Re: [sc] demand mode vs continuous mode SILs Peter B. Ladkin (Wed 16 Apr 2003 - 20:51:48 BST)
[sc] demand mode vs continuous mode SILs Braband Jens (Thu 17 Apr 2003 - 09:37:28 BST)
- Re: [sc] demand mode vs continuous mode SILs John McDermid (Wed 16 Apr 2003 - 22:08:17 BST)
- Re: [sc] demand mode vs continuous mode SILs Ian.Gibson(at)Fluor.com (Thu 17 Apr 2003 - 01:27:52 BST)
  - Re: [sc] demand mode vs continuous mode SILs Peter Bishop (Thu 17 Apr 2003 - 09:03:30 BST)
- RE: [sc] demand mode vs continuous mode SILs Spiker, Rolf (Thu 17 Apr 2003 - 09:39:55 BST)
- RE: [sc] demand mode vs continuous mode SILs Mark.Bowell(at)hse.gsi.gov.uk (Thu 17 Apr 2003 - 10:45:51 BST)
  - Re: demand mode vs continuous mode SILs Peter B. Ladkin (Tue 22 Apr 2003 - 16:11:03 BST)
- RE: [sc] demand mode vs continuous mode SILs bill black (Fri 18 Apr 2003 - 09:16:52 BST)
  - RE: [sc] claim limits for proof test coverage (was ...SILs) Martyn Thomas (Fri 18 Apr 2003 - 10:52:22 BST)
RE: [sc] demand mode vs continuous mode SILs[Scanned] Robin Cook (Thu 17 Apr 2003 - 09:49:11 BST)
(no subject) pijnenburg(at)safety-sc.com (Tue 22 Apr 2003 - 11:09:38 BST)
- RE: (no subject) Grazebrook, Alvery (Thu 16 Oct 2003 - 16:20:37 BST)
  - Re: (no subject) Peter B. Ladkin (Thu 16 Oct 2003 - 16:47:15 BST)
RE: demand mode vs continuous mode SILs Spiker, Rolf (Tue 22 Apr 2003 - 21:51:33 BST)
- RE: demand mode vs continuous mode SILs Dr. Wolfgang Ehrenberger (Thu 24 Apr 2003 - 20:22:39 BST)
- RE: demand mode vs continuous mode SILs bill black (Wed 30 Apr 2003 - 09:34:49 BST)
  - RE: demand mode vs continuous mode SILs Peter Bishop (Wed 30 Apr 2003 - 20:05:40 BST)
Memoryless property in Markov models Braband Jens (Tue 29 Apr 2003 - 10:51:45 BST)
- Re: [sc] Memoryless property in Markov models johnson(at)dcs.gla.ac.uk (Tue 29 Apr 2003 - 11:49:01 BST)
  - Re: [sc] Memoryless property in Markov models Braband Jens (Mon 05 May 2003 - 13:55:17 BST)
  - Re: Re: [sc] Memoryless property in Markov models tom(at)faaconsulting.com (Tue 29 Apr 2003 - 19:39:19 BST)
- Re: [sc] Memoryless property in Markov models Marc Pijnenburg (Thu 01 May 2003 - 09:33:58 BST)
- RE: [sc] Memoryless property in Markov models John C. Grebe Jr. (Thu 01 May 2003 - 23:51:11 BST)
Forthcoming IEE Event: Developing Embedded Real-Time Systems Ross Dow, Barrie (Tue 13 May 2003 - 10:58:26 BST)
, RE: [sc] Forthcoming IEE Event: Developing Embedded Real- Time Systems Culpin, David (Wed 14 May 2003 - 00:14:13 BST)
- Re: , RE: [sc] Forthcoming IEE Event: Developing Embedded Real- Time Systems Peter Bishop (Wed 14 May 2003 - 10:36:16 BST)
- Re: , RE: [sc] Forthcoming IEE Event: Developing Embedded Real- Time Systems Peter B. Ladkin (Wed 14 May 2003 - 12:04:33 BST)
- RE: [sc] Critical/non-critical processes on same processor David Crocker (Wed 14 May 2003 - 15:14:52 BST)
A one day training course on software validation in the measureme nt systems area. Graeme Parkin (Wed 14 May 2003 - 16:55:18 BST)
RE: , RE: [sc] Forthcoming IEE Event: Developing Embedded Real- Time Systems Peter Amey (Wed 14 May 2003 - 17:04:50 BST)
[SC] Workshop on Root Cause Analysis (free to attend) johnson(at)dcs.gla.ac.uk (Tue 27 May 2003 - 13:16:39 BST)
SoSym Special Issue on Critical Systems Development with UML-like Languages (CSDUML) Jan Jurjens (Tue 27 May 2003 - 14:16:27 BST)
- 2. Cfp Modellierung 2004 (Einsendeschluss: 20.10.) Jan Jurjens (Mon 22 Sep 2003 - 07:37:03 BST)
[sc] Fwd: Corporate coverup exposed divers to grave risk / Company kept computerdefect secret for 7 years, according to Oakland lawsuit (fwd)] Dock Allen (Thu 29 May 2003 - 05:22:22 BST)
Re: [sc] Fwd: Corporate coverup exposed divers to grave risk / Company kept computerdefect secret for 7 years, according to Oakland lawsuit (fwd)] Ian.Gibson(at)Fluor.com (Thu 29 May 2003 - 05:44:31 BST)
- Re: [sc] Fwd: Corporate coverup exposed divers to grave risk /Company kept computerdefect secret for 7 years, according to Oaklandlawsuit (fwd)] Dock Allen (Thu 29 May 2003 - 06:52:16 BST)
Re: Corporate coverup exposed divers to grave risk / Company kept computerdefect secret for 7 years, according to Oakland lawsuit (fwd)] Dock Allen (Thu 29 May 2003 - 06:50:22 BST)
RE: Corporate coverup exposed divers to grave risk / Company kept computerdefect secret for 7 years, according to Oakland lawsuit (fwd)][Scanned] Robin Cook (Wed 04 Jun 2003 - 12:48:58 BST)
- RE: Corporate coverup exposed divers to grave risk / Company kept computerdefect secret for 7 years, according to Oakland lawsuit (fwd)][Scanned] Martyn Thomas (Wed 04 Jun 2003 - 13:41:04 BST)
- Re: Corporate coverup exposed divers to grave risk / Company kept computerdefect secret for 7 years, according to Oakland lawsuit (fwd)][Scanned] Dock Allen (Wed 04 Jun 2003 - 14:00:06 BST)
RE: Corporate coverup exposed divers to grave risk / Company kept computerdefect secret for 7 years, according to Oakland lawsuit (fwd)][S canned] Grazebrook, Alvery (Wed 04 Jun 2003 - 14:39:40 BST)
Sydney launch of Australian Safety Critical Systems Club Peter Lindsay (Fri 06 Jun 2003 - 04:19:22 BST)
- [sc] 61508 and power stations Tony Foord (Fri 13 Jun 2003 - 18:31:57 BST)
Nigel Tracey/NRTA is out of the office. nigel.tracey(at)livedevices.com (Fri 13 Jun 2003 - 22:02:57 BST)
Cali: "planned track error" would be another recommendation ? mpeixot (Sun 20 Jul 2003 - 16:40:16 BST)
- Re: Cali: "planned track error" would be another recommendation ? Peter B. Ladkin (Mon 21 Jul 2003 - 07:24:25 BST)
- RE: Cali: "planned track error" would be another recommendation ? Neale.Fulton(at)csiro.au (Mon 21 Jul 2003 - 08:41:51 BST)
  - Re: Cali: "planned track error" would be another recommendation ? Peter B. Ladkin (Mon 21 Jul 2003 - 10:30:44 BST)
- RE: [sc] Cali: "planned track error" would be another recommendation ? David Crocker (Mon 21 Jul 2003 - 09:32:43 BST)
  - Re: [sc] Cali: "planned track error" would be another recommendation ? Peter B. Ladkin (Mon 21 Jul 2003 - 10:34:15 BST)
  - RE: [sc] Cali: "planned track error" would be another recommendation ? David Crocker (Mon 21 Jul 2003 - 11:34:19 BST)
PLEASE OMIT FROM THIS MAILING LIST tom_haskins (???) (Mon 21 Jul 2003 - 09:37:23 BST)
CSDUML(at)UML'03: Deadline coming up Jan Jurjens (Mon 21 Jul 2003 - 23:22:44 BST)
CSDUML(at)UML'03: Extension of deadline 3 Aug Jan Jurjens (Mon 28 Jul 2003 - 10:41:42 BST)
SAFECOMP 2003 Rob Collyer (Tue 05 Aug 2003 - 16:02:02 BST)
Real-Time Executives Brian Wichmann (Sun 31 Aug 2003 - 21:15:49 BST)
RE: [sc] Real-Time Executives Rod Chapman (Mon 01 Sep 2003 - 08:58:10 BST)
- RE: [sc] Real-Time Executives Pygott Clive (Thu 04 Sep 2003 - 12:38:20 BST)
Definitions OLIVER Mervyn (Mon 08 Sep 2003 - 13:55:37 BST)
- Re: [sc] Definitions Nancy Leveson (Mon 08 Sep 2003 - 14:21:32 BST)
RE: [sc] Definitions Spriggs, John (Mon 08 Sep 2003 - 14:51:41 BST)
Columbia Report Contradictions jim armstrong (Tue 09 Sep 2003 - 18:11:37 BST)
- Re: [sc] Columbia Report Contradictions Dave Smith (Tue 09 Sep 2003 - 19:41:21 BST)
- Re: [sc] Columbia Report Contradictions Peter B. Ladkin (Wed 10 Sep 2003 - 09:48:50 BST)
Re:[sc] Columbia Report Contradictions mpeixot (Wed 10 Sep 2003 - 00:54:05 BST)
R: [sc] Columbia Report Contradictions Joaquim Marco (Wed 10 Sep 2003 - 13:03:09 BST)
AW: [sc] Columbia Report Contradictions Braband Jens (Wed 10 Sep 2003 - 15:06:26 BST)
SpecTRM tools available Nancy Leveson (Wed 17 Sep 2003 - 13:39:19 BST)
RE(PBL): [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Klaus Brunnstein (Wed 17 Sep 2003 - 17:22:24 BST)
- RE: RE(PBL): [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS David Crocker (Wed 17 Sep 2003 - 18:41:47 BST)
- Re: RE(PBL): [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Peter B. Ladkin (Wed 17 Sep 2003 - 19:45:33 BST)
- RE: RE(PBL): [sc] SAFETY RELATED USE OF WINDOWS FAMILY OF OPERATING SYSTEMS Royalty, Chuck (Fri 19 Sep 2003 - 00:18:36 BST)
[sc] Definition of dependability Braband Jens (Mon 22 Sep 2003 - 14:13:51 BST)
- RE: [sc] Definition of dependability Meine (Mon 22 Sep 2003 - 14:29:02 BST)
  - RE: [sc] Definition of dependability[Scanned by Nutec] Andy.Reynolds (Mon 22 Sep 2003 - 14:58:13 BST)
  - RE: [sc] Definition of dependability[Scanned by Nutec] Meine (Mon 22 Sep 2003 - 15:06:32 BST)
RE: [sc] SILs Reynolds, Barrie (UK72) (Mon 22 Sep 2003 - 19:25:06 BST)
- Re: [sc] SILs John McDermid (Tue 23 Sep 2003 - 07:17:03 BST)
- Re: [sc] SILs Wolfgang Ehrenberger (Tue 23 Sep 2003 - 11:00:12 BST)
- RE: [sc] SILs Bridal Olof (Tue 23 Sep 2003 - 12:09:45 BST)
  - RE: [sc] SILs Peter Bishop (Tue 23 Sep 2003 - 13:48:24 BST)
- RE: [sc] SILs Reynolds, Barrie (UK72) (Tue 23 Sep 2003 - 14:32:03 BST)
- RE: [sc] SILs Phil Williams (Wed 24 Sep 2003 - 09:25:53 BST)
- RE: [sc] SILs Dewi Daniels (Thu 25 Sep 2003 - 12:23:11 BST)
- RE: [sc] SILs Grazebrook, Alvery (Thu 25 Sep 2003 - 15:11:32 BST)
Important information for those wishing to post to the list Tim Kelly (Tue 23 Sep 2003 - 09:29:42 BST)
Cheating MCDC Tom Hawkins (Tue 23 Sep 2003 - 16:53:53 BST)
[sc] Incidents related to displays Braband Jens (Wed 24 Sep 2003 - 07:18:30 BST)
- RE: [sc] Incidents related to displays Reynolds, Barrie (UK72) (Wed 24 Sep 2003 - 11:24:22 BST)
- Re: [sc] Incidents related to displays Ian H. Gibson (Wed 24 Sep 2003 - 11:48:11 BST)
- RE: [sc] Incidents related to displays Weir, Ron (UK) (Wed 24 Sep 2003 - 12:27:08 BST)
  - Re: [sc] Incidents related to displays John McDermid (Thu 25 Sep 2003 - 05:01:44 BST)
- Re: [sc] Incidents related to displays tom(at)faaconsulting.com (Wed 24 Sep 2003 - 22:41:19 BST)
- Re: [sc] Incidents related to displays Jon Davies (Thu 25 Sep 2003 - 09:29:32 BST)
- RE: [sc] Incidents related to displays Eaton Andrew (Mon 06 Oct 2003 - 16:38:17 BST)
RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Maier Thomas (Wed 24 Sep 2003 - 08:59:39 BST)
- Re: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Nancy Leveson (Wed 24 Sep 2003 - 09:54:59 BST)
- RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Mike Ellims (Wed 24 Sep 2003 - 11:52:52 BST)
  - RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPER Dr. Wolfgang Ehrenberger (Thu 25 Sep 2003 - 16:44:17 BST)
- RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Maier Thomas (Wed 24 Sep 2003 - 13:16:36 BST)
- RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Bridal Olof (Fri 26 Sep 2003 - 13:44:51 BST)
  - Re: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Peter B. Ladkin (Fri 26 Sep 2003 - 14:09:34 BST)
- RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Bridal Olof (Tue 30 Sep 2003 - 18:12:00 BST)
  - Re: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Peter B. Ladkin (Tue 30 Sep 2003 - 20:23:45 BST)
SILs Wong, Chi (Wed 24 Sep 2003 - 09:30:17 BST)
AW: [sc] Incidents related to displays Braband Jens (Thu 25 Sep 2003 - 09:49:03 BST)
RE: [sc] Incidents related to displays Tony Hopwood (Thu 25 Sep 2003 - 11:54:00 BST)
- RE: [sc] Incidents related to displays Mike Ellims (Thu 25 Sep 2003 - 11:42:02 BST)
RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPER Dewi Daniels (Thu 25 Sep 2003 - 12:37:24 BST)
- RE: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPER Dr. Wolfgang Ehrenberger (Thu 25 Sep 2003 - 14:24:46 BST)
SILs Mike Ellims (Thu 25 Sep 2003 - 13:33:58 BST)
AW: [sc] SILs (was: SAFETY RELATED USE OF WINDOWS FAMILY OF OPERA TING SYSTEMS) Hamidi Karim (external) (Fri 26 Sep 2003 - 19:20:49 BST)
Playing with Statistics Peter B. Ladkin (Fri 03 Oct 2003 - 09:59:52 BST)
Certification Assessment Grazebrook, Alvery (Mon 06 Oct 2003 - 17:20:02 BST)
- [sc] Book on Incident and Accident Reporting johnson(at)dcs.gla.ac.uk (Tue 07 Oct 2003 - 08:54:43 BST)
- Re: [sc] Certification Assessment Dr. Wolfgang Ehrenberger (Thu 01 Jan 1970 - 00:59:59 BST)
- Re: [sc] Certification Assessment paul.musson(at)echelonltd.com (Wed 08 Oct 2003 - 17:52:04 BST)
  - Re: [sc] Certification Assessment jim armstrong (Wed 08 Oct 2003 - 19:17:46 BST)
[sc] Safety Critical Opportunities at WRSL Gary.McGuire(at)Invensys.com (Wed 08 Oct 2003 - 10:32:20 BST)
RE: [sc] Certification Assessment Grazebrook, Alvery (Wed 08 Oct 2003 - 15:58:54 BST)
- RE: [sc] Certification Assessment Grazebrook, Alvery (Thu 09 Oct 2003 - 10:13:47 BST)
  - RE: [sc] Certification Assessment paul.musson(at)echelonltd.com (Thu 09 Oct 2003 - 11:47:28 BST)
- RE: [sc] Certification Assessment Spriggs, John (Thu 09 Oct 2003 - 10:35:36 BST)
- RE: [sc] Certification Assessment Dr. Wolfgang Ehrenberger (Thu 09 Oct 2003 - 17:40:44 BST)
- RE: [sc] Certification Assessment Grazebrook, Alvery (Fri 10 Oct 2003 - 11:42:15 BST)
  - Re: [sc] Certification Assessment jim armstrong (Fri 10 Oct 2003 - 16:53:06 BST)
Re: [sc] Cheating MCDC Tom Hawkins (Thu 09 Oct 2003 - 17:52:18 BST)
RE: [sc] Cheating MCDC Grazebrook, Alvery (Mon 13 Oct 2003 - 10:57:28 BST)
- RE: [sc] Cheating MCDC Martyn Thomas (Mon 13 Oct 2003 - 12:17:26 BST)
- RE: [sc] Cheating MCDC Rod Chapman (Mon 13 Oct 2003 - 12:30:27 BST)
- RE: [sc] Cheating MCDC Peter Amey (Mon 13 Oct 2003 - 12:46:24 BST)
  - Re: [sc] Cheating MCDC Nancy Leveson (Mon 13 Oct 2003 - 12:58:46 BST)
- RE: [sc] Cheating MCDC Peter Amey (Mon 13 Oct 2003 - 13:20:08 BST)
  - Re: [sc] Cheating MCDC Nancy Leveson (Mon 13 Oct 2003 - 14:07:38 BST)
  - Re: MCDC Brian Wichmann (Mon 13 Oct 2003 - 17:33:57 BST)
- RE: [sc] Cheating MCDC Simon Hughes (Wed 15 Oct 2003 - 16:54:51 BST)
oops Nancy Leveson (Mon 13 Oct 2003 - 14:11:08 BST)
Request advice from members DOCROBGAR(at)aol.com (Mon 13 Oct 2003 - 20:54:32 BST)
RE: [sc] Request advice from members Grazebrook, Alvery (Tue 14 Oct 2003 - 09:47:56 BST)
Re: [sc] Request advice from members DOCROBGAR(at)aol.com (Wed 15 Oct 2003 - 09:45:32 BST)
- Re: [sc] Request advice from members felix redmill (Wed 15 Oct 2003 - 11:10:14 BST)
IRIA2004 Call for Papers Peter B. Ladkin (Wed 15 Oct 2003 - 10:42:05 BST)
- RE: [sc] IRIA2004 Call for Papers Steve Crook-Dawkins (Wed 15 Oct 2003 - 10:52:56 BST)
MCDC again Peter B. Ladkin (Wed 15 Oct 2003 - 11:41:30 BST)
- Re: [sc] MCDC again and again ... and again ... etc ... jim armstrong (Wed 15 Oct 2003 - 16:21:34 BST)
Test Philosophy Kenneth.Kvinnesland(at)dnv.com (Wed 15 Oct 2003 - 13:31:17 BST)
RE: [sc] Test Philosophy Mike Ellims (Wed 15 Oct 2003 - 13:58:19 BST)
- RE: [sc] Test Philosophy Peter Amey (Wed 15 Oct 2003 - 14:20:21 BST)
  - Re: [sc] Test Philosophy Brian Wichmann (Wed 15 Oct 2003 - 14:43:06 BST)
- RE: [sc] Test Philosophy Mike Ellims (Wed 15 Oct 2003 - 14:22:41 BST)
  - Re: [sc] Test Philosophy Pete Fenelon (Wed 15 Oct 2003 - 14:43:36 BST)
- RE: [sc] Test Philosophy Mike Ellims (Wed 15 Oct 2003 - 15:51:01 BST)
  - Re: [sc] Test Philosophy Pete Fenelon (Wed 15 Oct 2003 - 16:03:04 BST)
- RE: [sc] Test Philosophy Mike Ellims (Wed 15 Oct 2003 - 16:06:56 BST)
- RE: [sc] Test Philosophy Grazebrook, Alvery (Wed 15 Oct 2003 - 17:31:11 BST)
- RE: [sc] Test Philosophy Peter Amey (Thu 16 Oct 2003 - 08:25:16 BST)
- RE: [sc] Test Philosophy Mike Ellims (Thu 16 Oct 2003 - 10:08:30 BST)
Re: [sc] Test Philosophy bihari(at)amtsys.com (Wed 15 Oct 2003 - 14:00:25 BST)
RE: [sc] MCDC again Peter Amey (Wed 15 Oct 2003 - 14:24:28 BST)
RE: [sc] MCDC again and again ... and again ... etc ... Grazebrook, Alvery (Wed 15 Oct 2003 - 17:02:38 BST)
- Re: [sc] MCDC again and again ... and again ... etc ... Peter B. Ladkin (Wed 15 Oct 2003 - 19:01:37 BST)
- RE: [sc] MCDC again and again ... and again ... etc ... Grazebrook, Alvery (Thu 16 Oct 2003 - 11:08:54 BST)
- Re: [sc] MCDC again and again ... and again ... etc ... jim armstrong (Thu 16 Oct 2003 - 12:49:40 BST)
- RE: [sc] MCDC again and again ... and again ... etc ... Penny John (Thu 16 Oct 2003 - 14:22:45 BST)
- RE: [sc] MCDC again and again ... and again ... etc ... Penny John (Thu 16 Oct 2003 - 14:26:12 BST)
R: [sc] Test Philosophy Joaquim Marco (Wed 15 Oct 2003 - 17:20:21 BST)
- RE: [sc] Test Philosophy Martyn Thomas (Wed 15 Oct 2003 - 20:39:39 BST)
RE: Specification skills (was: Test Philosophy) Grazebrook, Alvery (Thu 16 Oct 2003 - 10:56:06 BST)
- RE: Specification skills (was: Test Philosophy) Mike Ellims (Thu 16 Oct 2003 - 11:22:32 BST)
- Re: Specification skills (was: Test Philosophy) Peter B. Ladkin (Thu 16 Oct 2003 - 13:56:41 BST)
- RE: Specification skills (was: Test Philosophy) Grazebrook, Alvery (Thu 16 Oct 2003 - 14:21:27 BST)
RE: Requirements and context (was: MCDC again and again ... ) Grazebrook, Alvery (Thu 16 Oct 2003 - 14:40:31 BST)
- RE: Requirements and context (was: MCDC again and again ... ) Grazebrook, Alvery (Thu 16 Oct 2003 - 15:06:13 BST)
RE: Requirements and Context (was: no subject) Grazebrook, Alvery (Thu 16 Oct 2003 - 17:41:11 BST)
- RE: Requirements and Context (was: no subject) Schwabenland, William (Thu 16 Oct 2003 - 17:53:47 BST)
mc/dc test Mark Nicholson (Tue 21 Oct 2003 - 10:18:10 BST)
- RE: [sc] mc/dc test Martyn Thomas (Tue 21 Oct 2003 - 10:32:49 BST)
job opportunity Joerg.Wolfrum(at)diehl-avionik.de (Fri 24 Oct 2003 - 08:07:06 BST)
Textbooks for courses in Safety Critical System + Formal Methods Dr. Jaffar-ur-Rehman (Sat 25 Oct 2003 - 10:20:18 BST)
- RE: [sc] Textbooks for courses in Safety Critical System + Formal Methods Meine (Mon 27 Oct 2003 - 10:08:03 GMT)
RE: [sc] Textbooks for courses in Safety Critical System + Formal Methods Dr. Jaffar-ur-Rehman (Tue 28 Oct 2003 - 07:27:28 GMT)
- RE: [sc] Textbooks for courses in Safety Critical System + Formal Methods Dr. Jaffar-ur-Rehman (Tue 28 Oct 2003 - 07:28:24 GMT)
Applications of HAZOP-like analysis techniques Oleg Lisagor (Tue 28 Oct 2003 - 22:22:09 GMT)
- Applications of HAZOP in non-software and/or non-digital domains Oleg Lisagor (Sun 09 Nov 2003 - 21:28:34 GMT)
Invitation: Workshop on Human error prevention and organisational learning, Paderborn, Germany 6-7 January 2004 Tim Kelly (Tue 04 Nov 2003 - 13:52:08 GMT)
RTOS James Moreland (Tue 04 Nov 2003 - 16:30:29 GMT)
- RE: [sc] RTOS David Crocker (Tue 04 Nov 2003 - 17:17:29 GMT)
RE: [sc] RTOS - now languages Peter Amey (Thu 06 Nov 2003 - 14:43:12 GMT)
- RE: [sc] RTOS - now languages David Crocker (Fri 07 Nov 2003 - 17:40:32 GMT)
- RE: [sc] RTOS - now languages Peter Amey (Mon 10 Nov 2003 - 09:18:41 GMT)
- RE: [sc] RTOS - now languages Peter Amey (Mon 10 Nov 2003 - 14:50:31 GMT)
- RE: [sc] RTOS - now languages Palin, Stuart (Wed 12 Nov 2003 - 09:15:36 GMT)
IEC 61508 FAQs Mark.Bowell(at)hse.gsi.gov.uk (Wed 12 Nov 2003 - 17:35:17 GMT)
SAFECOMP 2004 Call for papers Peter B. Ladkin (Tue 18 Nov 2003 - 17:35:08 GMT)
Nigel Tracey/NRTA is out of the office. nigel.tracey(at)livedevices.com (Tue 18 Nov 2003 - 22:02:28 GMT)
Request for Help - Online Safety Project tom(at)faaconsulting.com (Thu 20 Nov 2003 - 15:04:25 GMT)
RE: [sc] Request for Help - Online Safety Project Neale.Fulton(at)csiro.au (Thu 20 Nov 2003 - 22:18:49 GMT)
Re: [sc] Request for Help - Online Safety Project tom(at)faaconsulting.com (Fri 21 Nov 2003 - 00:51:23 GMT)
Did ATC contribute to the confusion of the crew? AeroPeru B757 Accident Georgios Despotou (Fri 21 Nov 2003 - 17:09:10 GMT)
- Re: [sc] Did ATC contribute to the confusion of the crew? AeroPeru B757 Accident Peter B. Ladkin (Fri 21 Nov 2003 - 17:52:46 GMT)
  - Re: [sc] AeroPeru B757 Accident Peter B. Ladkin (Sat 22 Nov 2003 - 08:36:07 GMT)
- RE: [sc] Did ATC contribute to the confusion of the crew? AeroPeru B757 Accident David Crocker (Fri 21 Nov 2003 - 20:58:02 GMT)
RE: [sc] AeroPeru B757 Accident Spriggs, John (Mon 24 Nov 2003 - 08:42:50 GMT)
- Re: [sc] AeroPeru B757 Accident Peter B. Ladkin (Mon 24 Nov 2003 - 09:22:53 GMT)
  - RE: [sc] Mode S transponders David Crocker (Mon 24 Nov 2003 - 10:14:19 GMT)
- RE: [sc] AeroPeru B757 Accident Frith, Ken (Mon 24 Nov 2003 - 10:01:50 GMT)
- RE: [sc] AeroPeru B757 Accident Spriggs, John (Mon 24 Nov 2003 - 10:03:33 GMT)
  - Re: [sc] AeroPeru B757 Accident Peter B. Ladkin (Mon 24 Nov 2003 - 12:41:37 GMT)
configuration management etc. for safety-critical software BARBOUR Timothy (Mon 24 Nov 2003 - 23:00:16 GMT)
- Re: [sc] configuration management etc. for safety-critical software Dr. Wolfgang Ehrenberger (Tue 25 Nov 2003 - 15:03:06 GMT)
  - Re: [sc] configuration management etc. for safety-critical software tom(at)faaconsulting.com (Tue 25 Nov 2003 - 19:46:48 GMT)
RE: [sc] configuration management etc. for safety-critical software Mike Ainsworth (Tue 25 Nov 2003 - 09:40:51 GMT)
SEFM 2004: CALL FOR PAPERS Gianna Reggio (Tue 25 Nov 2003 - 14:44:24 GMT)
[sc] Static analysis techniques Jeremy Reed (Tue 25 Nov 2003 - 15:06:18 GMT)
- Re: [sc] Static analysis techniques Peter B. Ladkin (Tue 25 Nov 2003 - 18:54:10 GMT)
  - Re: [sc] Static analysis techniques John McDermid (Tue 25 Nov 2003 - 19:05:59 GMT)
- RE: [sc] Static analysis techniques Simon Hughes (Wed 26 Nov 2003 - 13:54:14 GMT)
- RE: [sc] Static analysis techniques Peter Amey (Tue 02 Dec 2003 - 11:32:21 GMT)
- RE: [sc] Static analysis techniques Pavey Deryk (Tue 02 Dec 2003 - 14:26:02 GMT)
- RE: [sc] Static analysis techniques David Crocker (Tue 02 Dec 2003 - 21:54:09 GMT)
- RE: [sc] Static analysis techniques Jolliffe Graham (Wed 26 Nov 2003 - 08:30:24 GMT)
- RE: - RE: [sc] Static analysis techniques Martyn Thomas (Wed 26 Nov 2003 - 08:47:43 GMT)
  - Re: - RE: [sc] Static analysis techniques John McDermid (Wed 26 Nov 2003 - 08:50:14 GMT)
- RE: - RE: [sc] Static analysis techni ques Jolliffe Graham (Wed 26 Nov 2003 - 09:12:53 GMT)
RE: Static code analysis Trevor Cockram (Wed 26 Nov 2003 - 16:04:36 GMT)
- RE: Static code analysis Mathai Joseph (Thu 27 Nov 2003 - 10:33:54 GMT)
Nigel Tracey/NRTA is out of the office. nigel.tracey(at)livedevices.com (Fri 05 Dec 2003 - 08:39:56 GMT)
Software proven in use Morgan, Huw (Fri 05 Dec 2003 - 10:58:53 GMT)
- Re: [sc] Software proven in use Peter B. Ladkin (Fri 05 Dec 2003 - 11:15:33 GMT)
- Re: [sc] Software proven in use Nancy Leveson (Fri 05 Dec 2003 - 11:44:57 GMT)
  - Re: [sc] Software proven in use Gerard Le Lann (Fri 05 Dec 2003 - 13:33:34 GMT)
- Re: [sc] Software proven in use Wise Technics Limited (Mon 08 Dec 2003 - 09:56:08 GMT)
RE: [sc] Software proven in use Spriggs, John (Fri 05 Dec 2003 - 11:31:22 GMT)
- RE: [sc] Software proven in use Grazebrook, Alvery (Fri 05 Dec 2003 - 11:28:17 GMT)
- RE: [sc] Software proven in use Martyn Thomas (Fri 05 Dec 2003 - 11:50:02 GMT)
- RE: [sc] Software proven in use Palin, Stuart (Mon 08 Dec 2003 - 15:57:11 GMT)
  - Re: RE: [sc] Software proven in use tom(at)faaconsulting.com (Fri 05 Dec 2003 - 13:09:39 GMT)
- RE: [sc] Software proven in use Jolliffe Graham (Fri 05 Dec 2003 - 11:36:21 GMT)
Re: [sc] DIRC Workshop on software quality and the legal system, 13 Feb. 2004 Meine (Mon 08 Dec 2003 - 16:08:57 GMT)
alternatives to IEC 61508 ? BARBOUR Timothy (Tue 09 Dec 2003 - 00:25:43 GMT)
- RE: [sc] alternatives to IEC 61508 ? Paul Gruhn (Tue 09 Dec 2003 - 00:41:19 GMT)
- Re: [sc] alternatives to IEC 61508 ? Nancy Leveson (Tue 09 Dec 2003 - 01:01:37 GMT)
SEC: unclassified. [sc] alternatives to IEC 61508 ? Doohan, Bradley (Tue 09 Dec 2003 - 02:09:34 GMT)
- Re: unclassified. [sc] alternatives to IEC 61508 ? David Tombs (Wed 10 Dec 2003 - 08:45:51 GMT)
. RE: [sc] alternatives to IEC 61508 ? Cant, Tony (Tue 09 Dec 2003 - 07:41:53 GMT)
- Re: [sc] alternatives to IEC 61508 ? John McDermid (Tue 09 Dec 2003 - 08:10:48 GMT)
RE: Alternatives to IEC 61508 ? - 882C? Robin Cook (Wed 10 Dec 2003 - 15:02:53 GMT)
- RE: Alternatives to IEC 61508 ? - 882C? Weir, Ron (UK) (Wed 10 Dec 2003 - 15:12:11 GMT)
  - Re: Alternatives to IEC 61508 ? - 882C? Nancy Leveson (Wed 10 Dec 2003 - 16:58:41 GMT)
- RE: Alternatives to IEC 61508 ? - 882C? Robin Cook (Wed 10 Dec 2003 - 15:53:03 GMT)
  - Re: Alternatives to IEC 61508 ? - 882C? Peter B. Ladkin (Thu 11 Dec 2003 - 07:30:28 GMT)
- RE: Alternatives to IEC 61508 ? - 882C? Weir, Ron (UK) (Wed 10 Dec 2003 - 16:10:20 GMT)
- RE: Alternatives to IEC 61508 ? - 882C? Zoe.Alderman(at)invensys.com (Wed 10 Dec 2003 - 16:51:43 GMT)
- Re: Alternatives to IEC 61508 ? - 882C? Nancy Leveson (Wed 10 Dec 2003 - 16:54:50 GMT)
Standard Way or Best Practice SIL Determination Wong, Chi (Wed 10 Dec 2003 - 15:09:56 GMT)
- Re: [sc] Standard Way or Best Practice SIL Determination Dr. William Goble (Wed 10 Dec 2003 - 15:25:35 GMT)
- RE: [sc] Standard Way or Best Practice SIL Determination Paul Gruhn (Wed 10 Dec 2003 - 15:55:46 GMT)
  - RE: [sc] Standard Way or Best Practice SIL Determination Osborne, John (Wed 10 Dec 2003 - 16:03:53 GMT)
[sc] Myths about MEM Braband Jens (Thu 11 Dec 2003 - 07:57:50 GMT)
- Re: [sc] Myths about MEM Gary.McGuire(at)Invensys.com (Thu 11 Dec 2003 - 10:39:46 GMT)
Software Partitioning John McDermid (Thu 11 Dec 2003 - 16:14:55 GMT)
Fw: [sc] alternatives to IEC 61508 ? John McDermid (Fri 12 Dec 2003 - 07:47:08 GMT)
RE: [sc] Standard Way or Best Practice SIL Determination[Scanned] andy reynolds (Fri 12 Dec 2003 - 09:41:30 GMT)
FW: [sc] Software Partitioning Paul Musson (Fri 12 Dec 2003 - 11:26:44 GMT)
RE: [sc] Software Partitioning Peter Amey (Fri 12 Dec 2003 - 12:40:12 GMT)
- Open versus Closed systems Brian Wichmann (Tue 16 Dec 2003 - 17:19:32 GMT)
  - Re: [sc] Open versus Closed systems Peter B. Ladkin (Wed 17 Dec 2003 - 08:59:07 GMT)
  - Re: [sc] Open versus Closed systems Philippa Conmy (Wed 17 Dec 2003 - 10:55:58 GMT)
ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS Massimo Felici (Tue 16 Dec 2003 - 13:41:48 GMT)
RE: Alternatives to IEC 61508 ? BARBOUR Timothy (Tue 16 Dec 2003 - 22:50:39 GMT)
RE: [sc] Open versus Closed systems STIEN Malte (Tue 16 Dec 2003 - 23:20:42 GMT)
help Glenn Coates (Wed 17 Dec 2003 - 14:18:59 GMT)
Online scheduling and Priority Ceiling Protocol Glenn Coates (Wed 17 Dec 2003 - 15:15:35 GMT)
- Re: [sc] Online scheduling and Priority Ceiling Protocol Iain Bate (Wed 17 Dec 2003 - 15:36:23 GMT)
- Re: [sc] Online scheduling and Priority Ceiling Protocol Gerard Le Lann (Wed 17 Dec 2003 - 16:13:59 GMT)
  - Re: [sc] Online scheduling and Priority Ceiling Protocol Peter B. Ladkin (Thu 18 Dec 2003 - 06:02:28 GMT)
RE: [sc] Online scheduling and Priority Ceiling Protocol Grazebrook, Alvery (Wed 17 Dec 2003 - 16:09:21 GMT)
Third Bieleschweig Workshop, 12-13 February 2004 Peter B. Ladkin (Thu 18 Dec 2003 - 20:19:14 GMT)

Last message date:	Thu 18 Dec 2003 - 20:16:57 GMT	Archived on:	Thu 18 Dec 2003 - 20:17:07 GMT

Start of Messages	Date view	Subject view	Author view	Attachment view	Other mail archives

This archive was generated by hypermail 2.1.4 on Thu 18 Dec 2003 - 20:17:07 GMT

tpk(at)cs.york.ac.uk

Safety-Critical Mailing List Archive 2003By Thread

Safety-Critical Mailing List Archive 2003
By Thread