Safety-Critical Mailing List Archive 2002
By Thread

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

689 Messages
Starting:	Tue 01 Jan 2002 - 20:55:30 GMT	Ending:	Tue 31 Dec 2002 - 13:28:02 GMT

Critical Hard Real Time Systems and the use of Dynamic Memory Mgmt Wellertybrin(at)aol.com (Tue 01 Jan 2002 - 20:54:45 GMT)
Re: [sc] Critical Hard Real Time Systems and the use of Dynamic Memory Mgmt brian wichmann (Thu 03 Jan 2002 - 13:12:17 GMT)
- [sc] UK HSE's decision process (R2P2) Tony Foord (Tue 08 Jan 2002 - 12:32:44 GMT)
  - RE: [sc] UK HSE's decision process (R2P2) UK72 (Tue 08 Jan 2002 - 14:25:50 GMT)
R: [sc] SILs - the return Pier Luigi Guida 2 (Mon 07 Jan 2002 - 15:52:37 GMT)
NTSB Study on Public Aircraft Safety leveson(at)sunnyday.mit.edu (Mon 07 Jan 2002 - 22:20:27 GMT)
Mercedes A class Elk test Steven Crook-Dawkins (Tue 08 Jan 2002 - 15:44:16 GMT)
Registration for February U.S. Software Safety WG Meeting leveson(at)sunnyday.mit.edu (Tue 08 Jan 2002 - 19:32:38 GMT)
RE: [sc] SILs - the return Robin Cook (Wed 09 Jan 2002 - 10:08:59 GMT)
[sc] topical discussion in comp.risks Martyn Thomas (Wed 09 Jan 2002 - 09:49:34 GMT)
- RE: [sc] topical discussion in comp.risks Rod Chapman (Wed 09 Jan 2002 - 10:12:40 GMT)
- RE: [sc] topical discussion in comp.risks David Crocker (Thu 10 Jan 2002 - 13:21:48 GMT)
  - RE: [sc] topical discussion in comp.risks Pete Fenelon (Thu 10 Jan 2002 - 13:42:12 GMT)
AW: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Braband Jens (Thu 10 Jan 2002 - 14:06:18 GMT)
- Re: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Jim Armstrong (Fri 11 Jan 2002 - 16:04:11 GMT)
RE: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Spiker, Rolf (Thu 10 Jan 2002 - 14:59:09 GMT)
- RE: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Robin Cook (Thu 10 Jan 2002 - 17:03:37 GMT)
- RE: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Robin Cook (Tue 29 Jan 2002 - 10:42:40 GMT)
AW: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Braband Jens (Fri 11 Jan 2002 - 09:44:02 GMT)
- Re: AW: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Peter Bishop (Fri 11 Jan 2002 - 13:19:01 GMT)
AW: [sc] SIL ranges in ENV50129, prEN50129 and Yellow Book 3 Braband Jens (Fri 11 Jan 2002 - 11:47:38 GMT)
SILs - Does Theory Meet Reality Peter Sheppard (Fri 11 Jan 2002 - 16:33:34 GMT)
Maintenance of IEC 61508 bill black (Wed 16 Jan 2002 - 16:23:46 GMT)
Maintenance of IEC 61508 bill black (Wed 16 Jan 2002 - 17:03:58 GMT)
Safety Critical Mailing List Description and Charter Tim Kelly (Mon 21 Jan 2002 - 16:41:42 GMT)
Use of assertions brian wichmann (Mon 21 Jan 2002 - 22:14:53 GMT)
- Re: [sc] Use of assertions Jayakanth Srinivasan (Tue 22 Jan 2002 - 01:32:52 GMT)
  - Re: [sc] Use of assertions brian wichmann (Thu 31 Jan 2002 - 18:28:09 GMT)
- Re: [sc] Use of assertions Partha (Tue 22 Jan 2002 - 11:22:26 GMT)
- RE: [sc] Use of assertions David Crocker (Wed 23 Jan 2002 - 12:31:34 GMT)
- Re: [sc] Use of assertions Chris Harper (Wed 30 Jan 2002 - 15:44:24 GMT)
RE: [sc] Use of assertions Raistrick, Paul (Tue 22 Jan 2002 - 10:46:29 GMT)
- RE: [sc] Use of assertions Andy Farnsworth (Tue 22 Jan 2002 - 12:14:54 GMT)
  - Re: [sc] Use of assertions Francois Taiani (Thu 24 Jan 2002 - 11:35:42 GMT)
  - RE: [sc] Use of assertions Martyn Thomas (Thu 24 Jan 2002 - 12:22:56 GMT)
- RE: [sc] Use of assertions David Crocker (Wed 23 Jan 2002 - 14:45:53 GMT)
Re: Call for Participation. Key Challenges in Safety Requirements Engineering, Bath, Feb. 27th Dr Tim Kelly (Wed 23 Jan 2002 - 11:53:14 GMT)
Use of assertions - defensive programming Mike Ellims (Thu 24 Jan 2002 - 16:59:20 GMT)
CFP: SAFECOMP 2002 & ECCE-11 Massimo Felici (Mon 28 Jan 2002 - 18:28:09 GMT)
High integrity subset of Java? Jagun Kwon (Thu 31 Jan 2002 - 12:57:34 GMT)
- Re: [sc] High integrity subset of Java? Dock Allen (Thu 31 Jan 2002 - 16:05:30 GMT)
  - Re: [sc] High integrity subset of Java? brian wichmann (Fri 01 Feb 2002 - 21:40:38 GMT)
- RE: [sc] High integrity subset of Java? David Crocker (Fri 01 Feb 2002 - 19:28:56 GMT)
RE: [sc] High integrity subset of Java? Rod Chapman (Thu 31 Jan 2002 - 13:06:03 GMT)
- RE: [sc] High integrity subset of Java? Raistrick, Paul (Thu 31 Jan 2002 - 13:58:25 GMT)
- RE: [sc] High integrity subset of Java? Derek Mannering (Thu 31 Jan 2002 - 14:00:54 GMT)
RE: Formal methods Mike Ellims (Mon 04 Feb 2002 - 16:34:29 GMT)
- Re: Formal methods Pete Fenelon (Mon 04 Feb 2002 - 18:51:13 GMT)
- RE: Formal methods Mike Ellims (Wed 06 Feb 2002 - 17:28:46 GMT)
- RE: Formal methods Michael.Schmidt(at)industrialrisk.com (Thu 07 Feb 2002 - 13:19:43 GMT)
- RE: Formal methods Mike Ellims (Thu 07 Feb 2002 - 14:28:02 GMT)
  - Re: Formal methods Peter B. Ladkin (Thu 07 Feb 2002 - 15:33:23 GMT)
- RE: Formal methods Mike Ellims (Thu 07 Feb 2002 - 17:09:09 GMT)
  - Re: Formal methods Peter B. Ladkin (Thu 07 Feb 2002 - 18:21:09 GMT)
- RE: Formal methods Mike Ellims (Fri 08 Feb 2002 - 10:57:14 GMT)
  - Re: Formal methods Peter B. Ladkin (Fri 08 Feb 2002 - 11:54:23 GMT)
- RE: Formal methods Simon Hughes (Mon 11 Feb 2002 - 11:52:02 GMT)
  - RE: Formal methods Martyn Thomas (Sun 17 Feb 2002 - 16:25:49 GMT)
- RE: Formal methods Spriggs, John (Mon 11 Feb 2002 - 12:35:48 GMT)
  - Re: Formal methods Dock Allen (Mon 11 Feb 2002 - 13:05:54 GMT)
  - RE: Formal methods Martyn Thomas (Sun 17 Feb 2002 - 16:15:31 GMT)
- RE: Formal methods Simon Hughes (Mon 18 Feb 2002 - 12:08:03 GMT)
- RE: Formal methods Peter Amey (Mon 18 Feb 2002 - 13:04:11 GMT)
  - Re: Formal methods Peter B. Ladkin (Mon 18 Feb 2002 - 15:06:58 GMT)
- RE: Formal methods Peter Amey (Mon 18 Feb 2002 - 18:31:56 GMT)
  - Re: Formal methods Peter B. Ladkin (Tue 19 Feb 2002 - 08:28:50 GMT)
- RE: Formal methods Meine van der Meulen (Tue 19 Feb 2002 - 08:44:37 GMT)
- RE: Formal methods Spriggs, John (Tue 19 Feb 2002 - 09:40:12 GMT)
RE: [sc] Chinook Mike Ellims (Tue 05 Feb 2002 - 12:19:55 GMT)
- Re: [sc] Chinook Peter B. Ladkin (Tue 05 Feb 2002 - 12:39:17 GMT)
- RE: [sc] Chinook Michael.Schmidt(at)industrialrisk.com (Wed 06 Feb 2002 - 15:47:35 GMT)
Ian Gibson is on leave Ian.Gibson(at)Fluor.com (Wed 06 Feb 2002 - 14:00:28 GMT)
TFT v CRT displays Eaton Andrew (Fri 08 Feb 2002 - 09:28:40 GMT)
RE: [sc] TFT v CRT displays Spriggs, John (Fri 08 Feb 2002 - 11:50:32 GMT)
- RE: [sc] TFT v CRT displays Peter Sheppard (Fri 08 Feb 2002 - 12:19:13 GMT)
- RE: [sc] TFT v CRT displays David Crocker (Fri 08 Feb 2002 - 12:34:33 GMT)
- RE: [sc] TFT v CRT displays UK72 (Thu 21 Feb 2002 - 16:16:59 GMT)
Stressing Peter B. Ladkin (Sun 10 Feb 2002 - 17:57:04 GMT)
- RE: [sc] Stressing David Crocker (Sun 10 Feb 2002 - 18:22:50 GMT)
  - Re: [sc] Stressing Dock Allen (Mon 11 Feb 2002 - 12:28:10 GMT)
event chain models of accidents Nancy Leveson (Tue 12 Feb 2002 - 12:14:41 GMT)
- Re: [sc] event chain models of accidents Gerard Le Lann (Tue 12 Feb 2002 - 14:12:04 GMT)
- Re: [sc] event chain models of accidents jim armstrong (Tue 12 Feb 2002 - 17:21:56 GMT)
  - Re: [sc] event chain models of accidents Peter B. Ladkin (Tue 12 Feb 2002 - 18:21:25 GMT)
RE: [sc] event chain models of accidents Mike Ellims (Tue 12 Feb 2002 - 16:43:39 GMT)
- RE: [sc] event chain models of accidents Simon Hughes (Tue 12 Feb 2002 - 16:55:33 GMT)
  - RE: [sc] event chain models of accidents Pete Fenelon (Tue 12 Feb 2002 - 17:39:55 GMT)
- Re: [sc] event chain models of accidents Nancy Leveson (Tue 12 Feb 2002 - 17:04:16 GMT)
- RE: [sc] event chain models of accidents Felix Redmill (Tue 12 Feb 2002 - 22:12:12 GMT)
- RE: [sc] event chain models of accidents Mike Ellims (Wed 13 Feb 2002 - 11:00:55 GMT)
SV: [sc] event chain models of accidents Gunhild Halvorsrud (Wed 13 Feb 2002 - 07:39:39 GMT)
Economic aspects in the "N-version vs. one good version" debate Braband Jens (Wed 13 Feb 2002 - 09:54:14 GMT)
- Re: [sc] Economic aspects in the "N-version vs. one good version" debate Nancy Leveson (Wed 13 Feb 2002 - 11:15:24 GMT)
[Fwd: ] Tim Kelly (Tue 19 Feb 2002 - 16:19:08 GMT)
Apologies for Last Message Tim Kelly (Tue 19 Feb 2002 - 16:23:46 GMT)
Safety Critical Software in Measurement Systems Graeme Parkin (Wed 20 Feb 2002 - 09:34:47 GMT)
RE: Formal methods / what is "proof" etc Robin Cook (Wed 20 Feb 2002 - 12:02:04 GMT)
- RE: Formal methods / what is "proof" etc Michael.Schmidt(at)gegapservices.com (Fri 22 Feb 2002 - 12:35:38 GMT)
IEC 61508 - Module Testing requirements Aruna Ranaweera (Wed 20 Feb 2002 - 16:22:32 GMT)
- RE: [sc] IEC 61508 - Module Testing requirements John C. Grebe Jr. (Wed 20 Feb 2002 - 18:05:24 GMT)
  - Re: [sc] IEC 61508 - Module Testing requirements Wolfgang Ehrenberger (Thu 21 Feb 2002 - 10:28:51 GMT)
RE: [safety] Documented Cell Phone Fire Paul Gruhn (Wed 27 Feb 2002 - 00:33:16 GMT)
(no subject) Christopher Robinson-Mallett (Fri 01 Mar 2002 - 13:42:01 GMT)
- Re: object-orientation vs. safety-critical Axel Poign (Fri 01 Mar 2002 - 14:25:12 GMT)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Fri 01 Mar 2002 - 16:16:29 GMT)
RE: OOP and safety Gary T. Leavens (Sat 02 Mar 2002 - 18:02:34 GMT)
- Re: OOP and safety Nancy Leveson (Sat 02 Mar 2002 - 21:07:28 GMT)
  - Re: OOP and safety brian wichmann (Sun 03 Mar 2002 - 18:11:09 GMT)
  - RE: OOP and safety David Crocker (Mon 04 Mar 2002 - 10:36:57 GMT)
- RE: OOP and safety David Crocker (Mon 04 Mar 2002 - 10:42:16 GMT)
- RE: OOP and safety Mike Ellims (Mon 04 Mar 2002 - 10:41:23 GMT)
CFP: HASE2002 Rogerio de Lemos (Sun 03 Mar 2002 - 09:41:22 GMT)
Re: empirical evidence for OO productivity? Gary T. Leavens (Mon 04 Mar 2002 - 21:59:50 GMT)
Re: functional cohesion of OO systems; do they have specifications? Gary T. Leavens (Mon 04 Mar 2002 - 23:57:37 GMT)
Tests for Validation of Compilers Ranaweera, Aruna (Tue 05 Mar 2002 - 20:39:46 GMT)
- Re: [sc] Tests for Validation of Compilers Peter Bishop (Tue 05 Mar 2002 - 21:44:40 GMT)
21st Euro. Conf. on Decision Making and Control [sc] johnson(at)dcs.gla.ac.uk (Wed 20 Mar 2002 - 14:39:48 GMT)
Accident and Incident workshop johnson(at)dcs.gla.ac.uk (Wed 20 Mar 2002 - 14:40:26 GMT)
Incident and Accident Investigation (re-posting) Prof. Chris Johnson (Wed 20 Mar 2002 - 14:14:28 GMT)
21st European Conf. on Decision Making and Control (re-send) Prof. Chris Johnson (Wed 20 Mar 2002 - 14:16:11 GMT)
[sc] - V&V Training Courses jacqui.newbegin(at)invensys.com (Fri 22 Mar 2002 - 05:51:31 GMT)
- Re: [sc] - V&V Training Courses Ian.Gibson(at)Fluor.com (Fri 22 Mar 2002 - 06:13:58 GMT)
- RE: [sc] - V&V Training Courses escharpf(at)exida.com (Fri 22 Mar 2002 - 07:17:49 GMT)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Fri 22 Mar 2002 - 15:28:13 GMT)
Forthcoming Event - 'SILs - Does Reality Meet Theory?' Peter Sheppard (Mon 25 Mar 2002 - 11:08:48 GMT)
RE: [sc] Forthcoming Event - 'SILs - Does Reality Meet Theory?' tom_haskins �� (Tue 26 Mar 2002 - 04:29:12 GMT)
Diagnostic coverage of Shutdown valves Wise Technics Limited (Thu 11 Apr 2002 - 08:41:15 BST)
- Re: [sc] Diagnostic coverage of Shutdown valves Dr. William Goble (Thu 11 Apr 2002 - 11:29:57 BST)
Re: [sc] Diagnostic coverage of Shutdown valves Ian.Gibson(at)Fluor.com (Thu 11 Apr 2002 - 09:51:08 BST)
Jacqui Newbegin/AU/WSA/Rail is out of the office. jacqui.newbegin(at)invensys.com (Thu 11 Apr 2002 - 16:01:07 BST)
unsubscribe Rachel Harrison (Fri 12 Apr 2002 - 14:37:17 BST)
Research Work Kevin Rose (Sun 14 Apr 2002 - 09:48:48 BST)
CFC: ICCBSS 2003 - Ottawa, Canada L.Beus-Dukic (Mon 22 Apr 2002 - 15:58:51 BST)
CFP on ESCODES'02 Iain Bate (Mon 29 Apr 2002 - 10:21:50 BST)
Static Analysis of Code : Procedures Wanted Wise Technics Limited (Mon 29 Apr 2002 - 12:39:50 BST)
- Re: [sc] Static Analysis of Code : Procedures Wanted Trevor Cockram (Mon 29 Apr 2002 - 18:20:29 BST)
  - Re: [sc] Static Analysis of Code : Procedures Wanted Pete Fenelon,,, (Mon 29 Apr 2002 - 18:47:43 BST)
Jacqui Newbegin/AU/WSA/Rail is out of the office. jacqui.newbegin(at)invensys.com (Mon 29 Apr 2002 - 16:01:25 BST)
Railway safety systems Kevin Rose (Mon 29 Apr 2002 - 19:22:14 BST)
RE: [sc] Static Analysis of Code : Procedures Wanted Baradits Sr. Gy�rgy (Tue 30 Apr 2002 - 08:25:31 BST)
RE: [sc] Railway safety systems Robin Cook (Tue 30 Apr 2002 - 09:48:06 BST)
- RE: [sc] Railway safety systems tom_haskins �� (Tue 30 Apr 2002 - 09:49:52 BST)
  - RE: [sc] Railway safety systems Andy Reynolds (Thu 02 May 2002 - 16:23:15 BST)
  - Re: [sc] Railway safety systems Nancy Leveson (Thu 02 May 2002 - 17:01:28 BST)
- RE: [sc] Railway safety systems Baradits Sr. Gy�rgy (Tue 30 Apr 2002 - 10:13:51 BST)
- Re: [sc] Railway safety systems Pete Fenelon (Tue 30 Apr 2002 - 10:17:48 BST)
  - Re: [sc] Railway safety systems Ian.Gibson(at)Fluor.com (Sat 04 May 2002 - 04:34:40 BST)
  - Re: [sc] Railway safety systems Chris Harper (Wed 08 May 2002 - 12:51:18 BST)
- RE: [sc] Railway safety systems Peter Sheppard (Tue 30 Apr 2002 - 10:39:57 BST)
- RE: [sc] Railway safety systems Gary.McGuire(at)Invensys.com (Fri 03 May 2002 - 09:46:37 BST)
- Re: [sc] Railway safety systems Chris Harper (Tue 07 May 2002 - 11:24:23 BST)
Structural testing brian wichmann (Tue 30 Apr 2002 - 15:53:55 BST)
- Re: [sc] Structural testing Wolfgang Ehrenberger (Wed 01 May 2002 - 13:01:04 BST)
  - Re: [sc] Structural testing brian wichmann (Thu 02 May 2002 - 14:30:42 BST)
Call for papers - MISRA C Forum - 31st October 2002 - Technocentr e, Coventry UK G.F. (Wed 01 May 2002 - 14:03:29 BST)
Managing standard compliance Larry Cheung (Tue 28 May 2002 - 18:52:30 BST)
- Re: [sc] Managing standard compliance Pete Mellor (Wed 29 May 2002 - 07:49:58 BST)
RE: [sc] Managing standard compliance david.biddulph(at)baesystems.com (Wed 29 May 2002 - 17:20:42 BST)
- Re: [sc] Managing standard compliance Peter B. Ladkin (Wed 29 May 2002 - 17:55:25 BST)
- RE: [sc] Managing standard compliance Baradits Sr. Gy�rgy (Thu 30 May 2002 - 15:51:50 BST)
  - RE: [sc] Managing standard compliance Mauricio Peixoto Pacheco da Rocha (Wed 29 May 2002 - 07:52:25 BST)
  - RE: [sc] Managing standard compliance Charles M Waite (Thu 30 May 2002 - 21:52:42 BST)
- RE: [sc] Managing standard compliance Mauricio Peixoto Pacheco da Rocha (Wed 29 May 2002 - 09:06:43 BST)
  - Re: [sc] Managing standard compliance John McDermid (Fri 31 May 2002 - 11:56:27 BST)
SV: [sc] Managing standard compliance Gunhild Halvorsrud (Thu 30 May 2002 - 07:32:17 BST)
- Re: SV: [sc] Managing standard compliance Pete Mellor (Thu 30 May 2002 - 11:39:43 BST)
Unsubscribe James Hall (Thu 30 May 2002 - 11:16:06 BST)
FW: [sc] Managing standard compliance Andy Reynolds (Thu 30 May 2002 - 14:31:02 BST)
Managing standard compliance Larry Cheung (Thu 30 May 2002 - 15:28:49 BST)
- Re: [sc] Managing standard compliance Pete Mellor (Thu 30 May 2002 - 21:03:05 BST)
  - Re: [sc] Managing standard compliance Peter Bishop (Fri 31 May 2002 - 10:43:40 BST)
(sc) Generation of safety function requirements bill black (Fri 31 May 2002 - 13:02:05 BST)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Fri 31 May 2002 - 16:17:50 BST)
Evaluation of hazard analysis and safety requirements derivation processes Fotis Fotopoulos (Wed 05 Jun 2002 - 11:39:35 BST)
Software Tool Evaluation zalewski(at)pegasus.cc.ucf.edu (Wed 05 Jun 2002 - 15:28:37 BST)
[SC] 21st European Annual Conference on Human Decision Making and Control Prof. Chris Johnson (Wed 05 Jun 2002 - 15:00:01 BST)
[SC] Workshop on the Investigation and Reporting of Incidents and Accidents Prof. Chris Johnson (Wed 05 Jun 2002 - 15:00:04 BST)
Re: [sc] Software Tool Evaluation tom(at)faaconsulting.com (Wed 05 Jun 2002 - 16:13:36 BST)
- Re: [sc] Software Tool Evaluation zalewski(at)pegasus.cc.ucf.edu (Fri 07 Jun 2002 - 22:19:10 BST)
  - Re: [sc] Software Tool Evaluation Nancy Leveson (Fri 07 Jun 2002 - 22:54:17 BST)
  - Re: [sc] Software Tool Evaluation John McDermid (Sun 09 Jun 2002 - 17:12:49 BST)
- Re: [sc] Software Tool Evaluation zalewski(at)pegasus.cc.ucf.edu (Fri 07 Jun 2002 - 23:31:51 BST)
  - RE: [sc] Software Tool Evaluation Martyn Thomas (Sat 08 Jun 2002 - 12:20:16 BST)
[sc] The Logic of Scientific Discovery, and its application to SCS Chris Harper (Wed 05 Jun 2002 - 18:11:16 BST)
- Re: [sc] The Logic of Scientific Discovery, and its application to SCS Peter B. Ladkin (Wed 05 Jun 2002 - 23:19:44 BST)
- Re: [sc] The Logic of Scientific Discovery, and its application to SCS Ian.Gibson(at)Fluor.com (Thu 06 Jun 2002 - 01:09:35 BST)
- Re: [sc] The Logic of Scientific Discovery, and its application to SCS John McDermid (Thu 06 Jun 2002 - 08:40:32 BST)
- Re: [sc] The Logic of Scientific Discovery jim armstrong (Thu 06 Jun 2002 - 12:58:54 BST)
RE: [sc] The Logic of Scientific Discovery Sniezek, Daniel (Thu 06 Jun 2002 - 14:01:07 BST)
- Re: [sc] The Logic of Scientific Discovery jim armstrong (Thu 06 Jun 2002 - 16:36:01 BST)
  - Re: [sc] The Logic of Scientific Discovery Peter B. Ladkin (Thu 06 Jun 2002 - 17:09:35 BST)
Dim STARS Peter B. Ladkin (Fri 07 Jun 2002 - 18:15:36 BST)
Re: Swanwick (Brady, Risks 22.09) Peter B. Ladkin (Fri 07 Jun 2002 - 18:16:26 BST)
- Re: [ata-watchers] Re: Swanwick (Brady, Risks 22.09) Nancy Leveson (Fri 07 Jun 2002 - 19:04:49 BST)
COTS versus Bespoke ATC Systems Peter B. Ladkin (Fri 07 Jun 2002 - 18:17:18 BST)
- Re: [ata-watchers] COTS versus Bespoke ATC Systems Nancy Leveson (Fri 07 Jun 2002 - 19:16:12 BST)
RE: [sc] Software Tool Evaluation tom_haskins ��z (Sat 08 Jun 2002 - 01:58:22 BST)
- RE: [sc] Software Tool Evaluation zalewski(at)pegasus.cc.ucf.edu (Sat 08 Jun 2002 - 14:58:28 BST)
  - RE: [sc] Software Tool Evaluation Martyn Thomas (Sat 08 Jun 2002 - 16:04:40 BST)
- RE: [sc] Software Tool Evaluation zalewski(at)pegasus.cc.ucf.edu (Sat 08 Jun 2002 - 16:57:46 BST)
sc: languages Martyn Thomas (Mon 10 Jun 2002 - 20:30:11 BST)
- Re: [sc] sc: languages Pete Fenelon (Mon 10 Jun 2002 - 20:36:37 BST)
- Re: sc: languages brian wichmann (Wed 12 Jun 2002 - 23:10:01 BST)
help Victor Prieto (Fri 10 May 2002 - 21:23:59 BST)
[Fwd: Safety and Human Factors in ATC] Tim Kelly (Fri 14 Jun 2002 - 16:12:42 BST)
Safety and Human Factors in ATC Tim Kelly (Fri 14 Jun 2002 - 16:23:47 BST)
- RE: [sc] Safety and Human Factors in ATC Martyn Thomas (Fri 14 Jun 2002 - 17:05:33 BST)
Unsubscribe James Hall (Mon 17 Jun 2002 - 10:35:04 BST)
NPL Guide and languages brian wichmann (Fri 21 Jun 2002 - 18:33:43 BST)
- RE: [sc] NPL Guide and languages David Crocker (Mon 24 Jun 2002 - 10:23:10 BST)
  - RE: [sc] NPL Guide and languages Peter Amey (Mon 24 Jun 2002 - 10:34:29 BST)
Nigel Tracey/NRTA is out of the office. nigel.tracey(at)livedevices.com (Wed 26 Jun 2002 - 09:42:41 BST)
"Bugs in ASN.1" Peter B. Ladkin (Fri 28 Jun 2002 - 14:10:51 BST)
- RE: [sc] "Bugs in ASN.1" Martyn Thomas (Fri 28 Jun 2002 - 14:28:35 BST)
CFP: SAFECOMP 2002 & ECCE-11 - Call For Participation Massimo Felici (Mon 08 Jul 2002 - 15:43:58 BST)
Safety of Automotive Systems Ranaweera, Aruna (Mon 08 Jul 2002 - 18:24:51 BST)
[sc] The Judas effect Pete Mellor (Wed 10 Jul 2002 - 08:47:00 BST)
- RE: [sc] The Judas effect Spriggs, John (Wed 10 Jul 2002 - 09:05:09 BST)
- RE: [sc] The Judas effect Michael.Schmidt(at)gegapservices.com (Wed 10 Jul 2002 - 13:21:06 BST)
  - Re: [sc] The Judas effect Pete Fenelon (Wed 10 Jul 2002 - 13:35:33 BST)
- Re: [sc] The Judas effect Nancy Leveson (Wed 10 Jul 2002 - 13:39:46 BST)
  - Re: [sc] The Judas effect Peter Bishop (Wed 10 Jul 2002 - 14:43:41 BST)
  - Re: [sc] The Judas effect Nancy Leveson (Wed 10 Jul 2002 - 15:27:54 BST)
- Re: [sc] The Judas effect Peter Bishop (Wed 10 Jul 2002 - 15:30:14 BST)
- Re: [sc] The Judas effect Jon Hind (Thu 11 Jul 2002 - 13:10:20 BST)
RE: [sc] Safety of Automotive Systems Rivett, Roger (R.S.) (Wed 10 Jul 2002 - 12:58:47 BST)
- RE: [sc] Safety of Automotive Systems Mike Ellims (Wed 10 Jul 2002 - 13:32:20 BST)
  - Re: [sc] Safety of Automotive Systems Pete Fenelon (Wed 10 Jul 2002 - 13:45:18 BST)
- [sc] Comparison between CMMI & DO-178B Narasimha Swamy T R (Wed 10 Jul 2002 - 14:39:41 BST)
[sc] judas effect - sources Prof. Chris Johnson (Wed 10 Jul 2002 - 13:29:01 BST)
- Re: [sc] judas effect - sources ronald.weir(at)baesystems.com (Wed 10 Jul 2002 - 15:21:13 BST)
[sc] Judas effect johnson(at)dcs.gla.ac.uk (Wed 10 Jul 2002 - 15:39:20 BST)
Proceedings johnson(at)dcs.gla.ac.uk (Wed 10 Jul 2002 - 15:48:40 BST)
, RE: [sc] Comparison between CMMI & DO-178B Culpin, David (Thu 11 Jul 2002 - 03:07:35 BST)
[sc] FMEA for wiring? Martyn Thomas (Fri 12 Jul 2002 - 09:04:31 BST)
- Re: [sc] FMEA for wiring? Pete Mellor (Mon 05 Aug 2002 - 12:17:38 BST)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Mon 15 Jul 2002 - 01:01:25 BST)
A Flaw in ACAS Peter B. Ladkin (Wed 31 Jul 2002 - 14:33:40 BST)
Re: [ata-watchers] RE: A Flaw in ACAS Peter B. Ladkin (Thu 08 Aug 2002 - 17:07:39 BST)
[sc] Minority Report Pete Mellor (Fri 09 Aug 2002 - 01:19:45 BST)
- Re: [sc] Minority Report Peter B. Ladkin (Fri 09 Aug 2002 - 06:22:07 BST)
[SC] AA flight 587 Sept 2002 Vanity Fair article Ian B Pirie (Fri 09 Aug 2002 - 14:14:53 BST)
ACAS and the South German Midair Peter B. Ladkin (Mon 12 Aug 2002 - 16:22:42 BST)
- RE: [sc] FMEA for wiring? Jolliffe Graham (Tue 13 Aug 2002 - 14:45:24 BST)
- RE: - RE: [sc] FMEA for wiring? Martyn Thomas (Tue 13 Aug 2002 - 16:06:29 BST)
Sneak Circuit Analysis (SCA) for software brian wichmann (Tue 13 Aug 2002 - 19:11:39 BST)
RE: [sc] Sneak Circuit Analysis (SCA) for software Spriggs, John (Wed 14 Aug 2002 - 08:10:33 BST)
- Re: [sc] Sneak Circuit Analysis (SCA) for software Peter B. Ladkin (Wed 14 Aug 2002 - 08:55:08 BST)
  - Food David Tombs (Wed 14 Aug 2002 - 09:06:37 BST)
- RE: [sc] Sneak Circuit Analysis (SCA) for software Peter Amey (Wed 14 Aug 2002 - 11:22:27 BST)
- RE: [sc] Sneak Circuit Analysis (SCA) for software Phil Williams (Wed 14 Aug 2002 - 11:43:04 BST)
  - Re: [sc] Sneak Circuit Analysis (SCA) for software Nancy Leveson (Wed 14 Aug 2002 - 14:59:42 BST)
- RE: [sc] Sneak Circuit Analysis (SCA) for software Peter Amey (Thu 15 Aug 2002 - 10:44:46 BST)
Apology David Tombs (Wed 14 Aug 2002 - 09:12:06 BST)
- RE: [sc] Sneak Circuit Analysis (SCA) for software Jolliffe Graham (Wed 14 Aug 2002 - 14:06:17 BST)
- RE: [sc] Sneak Circuit Analysis (SCA) for software Jolliffe Graham (Wed 14 Aug 2002 - 15:22:28 BST)
- Re: - RE: [sc] Sneak Circuit Analysis (SCA) for software Pete Mellor (Wed 14 Aug 2002 - 22:46:11 BST)
ECCE-11 & SAFECOMP 2002 - CFP Massimo Felici (Tue 20 Aug 2002 - 17:17:00 BST)
Chain-Reaction RAs Peter B. Ladkin (Thu 22 Aug 2002 - 17:41:30 BST)
RVSM Safety Case Considered Harmful (RIP EWD) Peter B. Ladkin (Sun 25 Aug 2002 - 17:14:23 BST)
- RE: [sc] RVSM Safety Case Considered Harmful (RIP EWD) David Crocker (Tue 27 Aug 2002 - 08:58:37 BST)
A320 crash at Habsheim. Smith Mark (Wed 28 Aug 2002 - 09:50:24 BST)
- Re: [sc] A320 crash at Habsheim. Pete Mellor (Wed 28 Aug 2002 - 14:39:51 BST)
- Re: [sc] A320 crash at Habsheim. Peter B. Ladkin (Wed 28 Aug 2002 - 15:01:25 BST)
Technical Note RVS-Occ-02-03 Peter B. Ladkin (Thu 29 Aug 2002 - 17:35:26 BST)
[sc] Well, that's all right, then! Pete Mellor (Sat 31 Aug 2002 - 11:11:11 BST)
- RE: [sc] Well, that's all right, then! Martyn Thomas (Sat 31 Aug 2002 - 11:30:43 BST)
- Re: [sc] Well, that's all right, then! Peter B. Ladkin (Sat 31 Aug 2002 - 17:16:54 BST)
7th Australian Workshop on Safety Critical Systems and Software Tim Kelly (Sun 01 Sep 2002 - 12:58:34 BST)
New Accident Model Based on System Theory (safety) Nancy Leveson (Wed 11 Sep 2002 - 13:52:55 BST)
- Re: [sc] New Accident Model Based on System Theory (safety) Mauricio Peixoto Pacheco da Rocha (Thu 05 Sep 2002 - 06:36:04 BST)
  - Re: [sc] New Accident Model Based on System Theory (safety) Nancy Leveson (Thu 12 Sep 2002 - 14:02:26 BST)
  - Re: [sc] New Accident Model Based on System Theory (safety) Mauricio Peixoto Pacheco da Rocha (Thu 05 Sep 2002 - 11:03:04 BST)
[sc] - Software self-tests for software running on a PC under Windows OS jacqui.newbegin(at)invensys.com (Fri 13 Sep 2002 - 01:02:02 BST)
- RE: [sc] - Software self-tests for software running on a PC under Windows OS David Crocker (Fri 13 Sep 2002 - 10:47:00 BST)
Public domain raw HAZOP data? Shamus (Fri 13 Sep 2002 - 15:18:12 BST)
Re: [sc] Public domain raw HAZOP data? kcl(at)dcs.kcl.ac.uk (Sat 14 Sep 2002 - 07:20:02 BST)
Reference source required for the safety assessment of the design phase of aircraft . OLIVER Mervyn (Tue 17 Sep 2002 - 12:50:23 BST)
RE: [sc] Reference source required for the safety assessment of t he design phase of aircraft . Spriggs, John (Tue 17 Sep 2002 - 14:11:25 BST)
- Re: [sc] Reference source required for the safety assessment of the design phase of aircraft . John McDermid (Tue 17 Sep 2002 - 19:27:46 BST)
- RE: [sc] Reference source required for the safety assessment of t he design phase of aircraft . OLIVER Mervyn (Wed 18 Sep 2002 - 09:26:55 BST)
  - Re: [sc] Reference source required for the safety assessment of the design phase of aircraft . Johnson (Tue 17 Sep 2002 - 22:04:26 BST)
  - Re: [sc] Reference source required for the safety assessment of the design phase of aircraft . John McDermid (Wed 18 Sep 2002 - 20:42:28 BST)
Re: RE: [sc] Reference source required for the safety assessment of t he design phase of aircraft . tom(at)faaconsulting.com (Wed 18 Sep 2002 - 12:55:37 BST)
STAMP - Accident Analysis Paper Johnson (Thu 19 Sep 2002 - 03:30:11 BST)
Microsoft "pushing" Service Packs onto systems without notificati on: System safety implications? Ganter, John H (Sun 22 Sep 2002 - 05:23:55 BST)
- RE: [sc] Microsoft "pushing" Service Packs onto systems without notificati on: System safety implications? Martyn Thomas (Sun 22 Sep 2002 - 12:24:58 BST)
Microsoft "pushing" Service Packs: Prohibitions? Ganter, John H (Sun 22 Sep 2002 - 18:00:50 BST)
RE: [sc] Microsoft OS license restrictions Midforth, Richard (Mon 23 Sep 2002 - 10:41:52 BST)
- RE: [sc] Microsoft OS license restrictions Fotis Fotopoulos (Mon 23 Sep 2002 - 11:44:04 BST)
  - Re: [sc] Microsoft OS license restrictions Peter B. Ladkin (Mon 23 Sep 2002 - 12:30:57 BST)
- RE: [sc] Microsoft OS license restrictions Mike Ellims (Mon 23 Sep 2002 - 13:58:07 BST)
  - Re: [sc] Microsoft OS license restrictions Peter B. Ladkin (Mon 23 Sep 2002 - 15:13:59 BST)
Microsoft OS license restrictions: Windows XP Embedded Ganter, John H (Mon 23 Sep 2002 - 20:44:54 BST)
PRAs and bogusity Peter B. Ladkin (Wed 25 Sep 2002 - 09:13:00 BST)
SAM (Safety Argument Manager) - via York SE Ltd Henderson, James (J.G.) (Thu 26 Sep 2002 - 10:30:03 BST)
- Re: [sc] SAM (Safety Argument Manager) - via York SE Ltd Peter Bishop (Thu 26 Sep 2002 - 11:28:11 BST)
- Re: [sc] SAM (Safety Argument Manager) - via York SE Ltd Tim Kelly (Fri 27 Sep 2002 - 11:03:50 BST)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Fri 27 Sep 2002 - 15:46:03 BST)
Operational AUtocode Systems Steve Crook-Dawkins (Thu 10 Oct 2002 - 17:22:21 BST)
First Bieleschweig Workshop on Systems Engineering Peter B. Ladkin (Fri 11 Oct 2002 - 17:27:41 BST)
Use of floating point arithmetic in embedded control software Rivett, Roger (R.S.) (Mon 28 Oct 2002 - 17:32:48 GMT)
- Re: [sc] Use of floating point arithmetic in embedded control software Pete Fenelon (Mon 28 Oct 2002 - 18:08:48 GMT)
  - Re: [sc] Use of floating point arithmetic in embedded control software brian wichmann (Mon 28 Oct 2002 - 22:15:08 GMT)
  - RE: [sc] Use of floating point arithmetic in embedded control software David Crocker (Tue 29 Oct 2002 - 00:31:20 GMT)
- Poor Software Peter B. Ladkin (Mon 28 Oct 2002 - 18:33:21 GMT)
- RE: [sc] Use of floating point arithmetic in embedded control software David Crocker (Tue 29 Oct 2002 - 00:24:39 GMT)
- Re: [sc] Use of floating point arithmetic in embedded control software Peter B. Ladkin (Tue 29 Oct 2002 - 09:20:29 GMT)
RE: [sc] Use of floating point arithmetic in embedded control sof tware Rod Chapman (Mon 28 Oct 2002 - 17:55:08 GMT)
Call for papers: Symposium on Formal Methods for Railway Operatio n and Control Systems (FORMS2003), 15-16 May 2003 Braband Jens (Thu 31 Oct 2002 - 07:36:01 GMT)
Safety Case construction and reuse using patterns Fotis Fotopoulos (Fri 15 Nov 2002 - 15:47:29 GMT)
- Re: [sc] Safety Case construction and reuse using patterns Peter B. Ladkin (Fri 15 Nov 2002 - 16:06:01 GMT)
- Re: [sc] Safety Case construction and reuse using patterns Tim Kelly (Fri 15 Nov 2002 - 17:00:41 GMT)
- Re: [sc] Safety Case construction and reuse using patterns Peter B. Ladkin (Fri 15 Nov 2002 - 17:06:55 GMT)
RE: [sc] Safety Case construction and reuse using patterns Fotis Fotopoulos (Fri 15 Nov 2002 - 17:16:32 GMT)
- RE: [sc] Safety Case construction and reuse using patterns tom_haskins ��z (Mon 18 Nov 2002 - 01:53:07 GMT)
  - Re: [sc] Safety Case construction and reuse using patterns Tim Kelly (Mon 18 Nov 2002 - 07:58:54 GMT)
Moral Dimensions of SC-System Development Peter B. Ladkin (Sun 17 Nov 2002 - 13:46:29 GMT)
- Re: [sc] Moral Dimensions of SC-System Development jim armstrong (Fri 23 Jan 1970 - 08:11:26 BST)
Readability of ATC displays at the London Area Control Centre Peter B. Ladkin (Tue 19 Nov 2002 - 07:23:58 GMT)
[sc] Are four eyes better than two? Gunhild Halvorsrud (Tue 19 Nov 2002 - 07:38:20 GMT)
- RE: [sc] Are four eyes better than two? Martyn Thomas (Tue 19 Nov 2002 - 08:42:23 GMT)
- Re: [sc] Are four eyes better than two? Peter B. Ladkin (Tue 19 Nov 2002 - 09:07:10 GMT)
- RE: [sc] Are four eyes better than two? David Crocker (Tue 19 Nov 2002 - 09:57:03 GMT)
  - RE: [sc] Are four eyes better than two? Steve Crook-Dawkins (Tue 19 Nov 2002 - 10:19:10 GMT)
- RE: [sc] Are four eyes better than two? Fotis Fotopoulos (Tue 19 Nov 2002 - 10:59:09 GMT)
  - Re: [sc] Are four eyes better than two? Nancy Leveson (Tue 19 Nov 2002 - 11:10:31 GMT)
- [sc] Are four eyes better than two? Jolliffe Graham (Tue 19 Nov 2002 - 11:21:20 GMT)
- Re: - [sc] Are four eyes better than two? Peter B. Ladkin (Tue 19 Nov 2002 - 11:38:49 GMT)
  - RE: - [sc] Are four eyes better than two? Steve Crook-Dawkins (Tue 19 Nov 2002 - 11:51:04 GMT)
First Bieleschweig Workshop Peter B. Ladkin (Thu 21 Nov 2002 - 15:37:04 GMT)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Fri 22 Nov 2002 - 16:25:46 GMT)
Origins of 10**-4 SW Failure Rate D'Ambrosio, Joseph G (Mon 25 Nov 2002 - 17:43:49 GMT)
- Re: [sc] Origins of 10**-4 SW Failure Rate Nancy Leveson (Mon 25 Nov 2002 - 18:29:51 GMT)
RE: [sc] Origins of 10**-4 SW Failure Rate Neale.Fulton(at)csiro.au (Mon 25 Nov 2002 - 22:16:11 GMT)
- RE: [sc] Origins of 10**-4 SW Failure Rate Bridal Olof (Tue 26 Nov 2002 - 11:48:55 GMT)
- RE: [sc] Origins of 10**-4 SW Failure Rate Spiker, Rolf (Tue 26 Nov 2002 - 12:27:14 GMT)
- RE: [sc] Origins of 10**-4 SW Failure Rate Spiker, Rolf (Tue 26 Nov 2002 - 13:16:57 GMT)
- RE: [sc] Origins of 10**-4 SW Failure Rate Neale.Fulton(at)csiro.au (Wed 27 Nov 2002 - 06:03:45 GMT)
  - Re: [sc] Origins of 10**-4 SW Failure Rate Peter B. Ladkin (Wed 27 Nov 2002 - 07:33:28 GMT)
  - Re: [sc] Origins of 10**-4 SW Failure Rate Peter B. Ladkin (Wed 27 Nov 2002 - 09:13:32 GMT)
AW: [sc] Origins of 10**-4 SW Failure Rate Hamidi Karim (external) (Tue 26 Nov 2002 - 13:52:13 GMT)
unsubscription Larry Cheung (Tue 26 Nov 2002 - 14:17:49 GMT)
Common Cause Failure Hamidi Karim (external) (Tue 26 Nov 2002 - 14:55:53 GMT)
- Re: [sc] Common Cause Failure Wise Technics Limited (Thu 28 Nov 2002 - 12:18:32 GMT)
Fwd: Re: [sc] Common Cause Failure Wise Technics Limited (Thu 28 Nov 2002 - 11:53:03 GMT)
AW: [sc] Origins of 10**-4 SW Failure Rate Braband Jens (Fri 29 Nov 2002 - 08:36:28 GMT)
Clause 13.4.5 of EN50128:2001 David.Quastel(at)dnv.com (Fri 29 Nov 2002 - 08:47:34 GMT)
RE: [sc] Origins of 10**-4 SW Failure Rate [Scanned] Robin Cook (Fri 29 Nov 2002 - 11:22:35 GMT)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Fri 29 Nov 2002 - 12:55:48 GMT)
Cell Phones and Forecourts Again Peter B. Ladkin (Tue 03 Dec 2002 - 13:31:23 GMT)
CFP: Workshop on Investigation & Reporting of Incidents & Accidents C. Michael Holloway (Tue 03 Dec 2002 - 13:36:28 GMT)
Jet fuel Tank Fire - Smoke Dispersion CKWONG(at)ctrl.co.uk (Tue 03 Dec 2002 - 13:42:05 GMT)
Re: [sc] Cell Phones and Forecourts Again JSCOTT900(at)aol.com (Tue 03 Dec 2002 - 18:56:05 GMT)
- [sc] Campaign for Plain English Andy Reynolds (Wed 04 Dec 2002 - 10:10:19 GMT)
Recall: [sc] Campaign for Plain English Alan Simpson (Wed 04 Dec 2002 - 14:08:43 GMT)
Safety and MDA Steve Crook-Dawkins (Wed 04 Dec 2002 - 15:00:57 GMT)
RE: [sc] safety language Was:Campaign for Plain English[Scanned] Robin Cook (Wed 04 Dec 2002 - 17:27:26 GMT)
- Re: [sc] safety language Was:Campaign for Plain English[Scanned] jim armstrong (Wed 04 Dec 2002 - 18:35:26 GMT)
AW: [sc] Campaign for Plain English Hamidi Karim (external) (Thu 05 Dec 2002 - 15:18:07 GMT)
- Re: AW: [sc] Campaign for Plain English Peter B. Ladkin (Thu 05 Dec 2002 - 15:43:13 GMT)
- Re: AW: [sc] Campaign for Plain English Gerard Le Lann (Thu 05 Dec 2002 - 16:28:11 GMT)
AW: AW: [sc] Campaign for Plain English Hamidi Karim (external) (Thu 05 Dec 2002 - 17:13:59 GMT)
- RE: AW: [sc] Campaign for Plain English Bertrand Ricque (Thu 05 Dec 2002 - 21:54:01 GMT)
- Re: AW: AW: [sc] Campaign for Plain English Gerard Le Lann (Fri 06 Dec 2002 - 10:26:51 GMT)
- Re: AW: AW: [sc] Campaign for Plain English Gerard Le Lann (Fri 06 Dec 2002 - 10:33:31 GMT)
- RE: AW: AW: [sc] Campaign for Plain English MCLELLAN Alexander (Fri 06 Dec 2002 - 13:44:27 GMT)
- Re: AW: AW: [sc] Campaign for Plain English zalewski(at)pegasus.cc.ucf.edu (Fri 06 Dec 2002 - 15:50:53 GMT)
FWD: [sc] Campaign for Plain English Peter B. Ladkin (Mon 09 Dec 2002 - 07:21:52 GMT)
Error detection in Floating Point Units Rob Collins (Mon 09 Dec 2002 - 15:20:50 GMT)
Are some floating point numbers exact? Rob Collins (Mon 09 Dec 2002 - 15:18:51 GMT)
- Re: [sc] Are some floating point numbers exact? Peter B. Ladkin (Mon 09 Dec 2002 - 15:42:49 GMT)
  - Re: [sc] Are some floating point numbers exact? Peter Bishop (Mon 09 Dec 2002 - 18:03:33 GMT)
  - Re: [sc] Are some floating point numbers exact? Brian Wichmann (Mon 09 Dec 2002 - 19:18:44 GMT)
RE: [sc] Are some floating point numbers exact?[Scanned] Robin Cook (Tue 10 Dec 2002 - 10:35:08 GMT)
- [sc] Interlock Functional Requirements Andy Reynolds (Thu 12 Dec 2002 - 10:43:29 GMT)
CFP: SAFECOMP 2003 Massimo Felici (Fri 13 Dec 2002 - 14:36:45 GMT)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Mon 16 Dec 2002 - 01:01:38 GMT)
Safety related use of Linux and other open-source software Clive Pygott (Thu 19 Dec 2002 - 11:40:52 GMT)
- Re: [sc] Safety related use of Linux and other open-source software Peter B. Ladkin (Thu 19 Dec 2002 - 16:04:03 GMT)
  - Re: [sc] Safety related use of Linux and other open-source software Philippa Conmy (Thu 19 Dec 2002 - 16:08:50 GMT)
  - Re: [sc] Safety related use of Linux and other open-source software Peter B. Ladkin (Thu 19 Dec 2002 - 16:38:47 GMT)
- Re: [sc] Safety related use of Linux and other open-source software Pete Fenelon (Thu 19 Dec 2002 - 16:29:35 GMT)
- Re: [sc] Safety related use of Linux and other open-source software Brian Wichmann (Fri 20 Dec 2002 - 19:02:52 GMT)
RE: [sc] Safety related use of Linux and other open-source softwa re tom_haskins ��z (Fri 20 Dec 2002 - 00:27:29 GMT)
- Re: [sc] Safety related use of Linux and other open-source softwa re Peter B. Ladkin (Fri 20 Dec 2002 - 05:53:50 GMT)
Steve Frost/BOOTLE/HSE is out of the office. Steve.Frost(at)hse.gsi.gov.uk (Tue 31 Dec 2002 - 01:01:23 GMT)

Last message date:	Tue 31 Dec 2002 - 13:28:02 GMT	Archived on:	Tue 31 Dec 2002 - 13:28:06 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 Tue 31 Dec 2002 - 13:28:06 GMT

tpk(at)cs.york.ac.uk

Safety-Critical Mailing List Archive 2002By Thread

Safety-Critical Mailing List Archive 2002
By Thread