Safety-Critical Mailing List Archive 2007
by thread
- RE: [sc] Safety in Conflict/Wartime MellorPeter_at_xxxxxx (Tue 09 Jan 2007 - 01:09:20 GMT)
- Maglev Accident Peter B. Ladkin (Thu 11 Jan 2007 - 10:23:51 GMT)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Thu 11 Jan 2007 - 10:53:15 GMT)
- Hazard analysis VS Risk analysis GyuChan Thomas Jun (Thu 11 Jan 2007 - 11:30:27 GMT)
- [sc] Baker report on BP released Roberto.Scimia_at_xxxxxx (Wed 17 Jan 2007 - 13:01:33 GMT)
- [sc] Baker report on BP released steven.d.smith_at_xxxxxx (Wed 17 Jan 2007 - 13:19:47 GMT)
- UC: [sc] Baker report on BP released Drabble Steve (Wed 17 Jan 2007 - 13:56:22 GMT)
- Safety in Conflict/Wartime David Legg (Wed 17 Jan 2007 - 14:59:07 GMT)
- RE: [sc] Safety in Conflict/Wartime Robin Cook (Wed 17 Jan 2007 - 15:46:40 GMT)
- What is a SIL 3 certified RTOS? daichi.mizuguchi_at_xxxxxx (Thu 25 Jan 2007 - 08:47:35 GMT)
- [sc] What is a SIL 3 certified RTOS? Mark.Bowell_at_xxxxxx (Thu 25 Jan 2007 - 09:44:17 GMT)
- RE: [sc] What is a SIL 3 certified RTOS?[Scanned] Keith Harrison (Thu 25 Jan 2007 - 10:13:45 GMT)
- RE: [sc] What is a SIL 3 certified RTOS? - unclassified King, Martin \(NNPPI\) (Thu 25 Jan 2007 - 12:27:08 GMT)
- Call for Papers: The 2nd IET International Conference on System Safety, 22-24 October 2007, Savoy Place, London UK Tim Kelly (Wed 31 Jan 2007 - 21:03:58 GMT)
- Call for Papers: SPIN 2007 with CAV in Berlin Susanne Graf (Tue 06 Feb 2007 - 20:46:26 GMT)
- SAFECOMP 2007 - reminder / extended Francesca Saglietti (Mon 12 Feb 2007 - 10:45:18 GMT)
- Re: [sc] What is a SIL 3 certified RTOS? - unclassified MellorPeter_at_xxxxxx (Tue 13 Feb 2007 - 00:05:42 GMT)
- Réf. : [sc] Changing the safety culture (was: What is a SIL 3 certified RTOS?) Bertrand RICQUE (Mon 19 Feb 2007 - 08:11:23 GMT)
- cost of software safety for non-human-rated missions Baker, Trace (Mon 19 Feb 2007 - 17:00:37 GMT)
- [IET Events] Call for Papers - The IET Seminar on Managing Obsolescence in Embedded Systems McLellan,Tanya (Mon 26 Feb 2007 - 16:19:55 GMT)
- Windows for Warships nears frontline service Derek M Jones (Tue 27 Feb 2007 - 01:56:47 GMT)
- Highest software SIL possible to achieve Meine van der Meulen (Tue 27 Feb 2007 - 09:29:23 GMT)
- Ignore last message (was Re: [sc] Highest software SIL possible to achieve) MellorPeter_at_xxxxxx (Tue 27 Feb 2007 - 22:57:11 GMT)
- Highest software SIL possible Meine van der Meulen (Wed 28 Feb 2007 - 11:48:32 GMT)
- RE: [sc] Highest software SIL possible GRAZEBROOK, Alvery N (Wed 28 Feb 2007 - 17:14:10 GMT)
- Highest software SIL possible to achieve Les Chambers (Thu 01 Mar 2007 - 00:35:37 GMT)
- unsubscribe Paul Finnigan (Thu 01 Mar 2007 - 01:07:33 GMT)
- FW: [sc] Highest software SIL possible Martyn Thomas (Fri 02 Mar 2007 - 13:53:42 GMT)
- [sc] Standard 26262 - What is it? MellorPeter_at_xxxxxx (Wed 07 Mar 2007 - 15:03:50 GMT)
- FW: [IET Events] - SIL Determination: Principles and Practical Experience Seminar MCLELLAN Alexander (Wed 07 Mar 2007 - 20:25:47 GMT)
- [sc] FW: [IET Events] - SIL Determination: Principles and Practical Experience Seminar Roberto.Scimia_at_xxxxxx (Thu 08 Mar 2007 - 08:11:27 GMT)
- [sc] FW: [IET Events] - SIL Determination: Principles and Practical Experience Seminar steven.d.smith_at_xxxxxx (Thu 08 Mar 2007 - 11:32:38 GMT)
- Batten-passing David W. Legg (Thu 08 Mar 2007 - 18:40:29 GMT)
- Call for papers deadline looming McLellan,Tanya (Mon 12 Mar 2007 - 16:05:21 GMT)
- 1st Call for Papers: ATVA 2007 Susanne Graf (Tue 13 Mar 2007 - 06:33:48 GMT)
- help Erhan YÜCEER (Wed 14 Mar 2007 - 09:41:43 GMT)
- Ninth Bieleschweig Workshop Peter B. Ladkin (Fri 16 Mar 2007 - 10:03:14 GMT)
- RE: [sc] Severity scale deltas GRAZEBROOK, Alvery N (Thu 22 Mar 2007 - 12:17:10 GMT)
- Call for Papers ** DEADLINE EXTENDED to 26 March ** : The 2nd IET International Conference on System Safety, 22-24 October 2007, Savoy Place, London UK Tim Kelly (Fri 23 Mar 2007 - 07:32:28 GMT)
- [sc] Baker report on BP released Jens Algner (Fri 23 Mar 2007 - 07:46:52 GMT)
- [sc] Unsubscribe Tamer Awed (Tue 27 Mar 2007 - 09:32:09 BST)
- Call for Papers - The IET Seminar on Managing Obsolescence in Embedded Systems McLellan,Tanya (Tue 27 Mar 2007 - 11:20:48 BST)
- Typing saves your skin Peter B. Ladkin (Thu 29 Mar 2007 - 08:26:08 BST)
- Jens Wolff is out of the office. Jens Wolff (Thu 29 Mar 2007 - 09:21:09 BST)
- RE: [sc] Typing saves your skin GRAZEBROOK, Alvery N (Tue 03 Apr 2007 - 14:42:44 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Tue 10 Apr 2007 - 10:12:22 BST)
- DO-178B Certifiable Graphics Packages Benito, Robert P [AMSRD-AAR-AEF-S] (Tue 10 Apr 2007 - 14:48:49 BST)
- RE: [sc] Typing saves your skin/ Input validation -- some languages do most of the work for you.. Paul.Stachour_at_xxxxxx (Tue 10 Apr 2007 - 16:36:32 BST)
- RE: [sc] DO-178B Certifiable Graphics Packages: reuse, correctness, and risk. Paul.Stachour_at_xxxxxx (Tue 10 Apr 2007 - 20:29:31 BST)
- RE: [sc] In-flight Upset due to "Latent Software Error" Rod Chapman (Wed 11 Apr 2007 - 09:30:20 BST)
- SIL2 rational CAgersbaek_at_xxxxxx (Fri 13 Apr 2007 - 08:10:12 BST)
- DO-178C GRAZEBROOK, Alvery N (Fri 13 Apr 2007 - 10:56:37 BST)
- RE: [sc] SIL2 rational - unclassified King, Martin \(NNPPI\) (Mon 16 Apr 2007 - 09:34:24 BST)
- [sc] US Nuclear Power and Targets for Probability of Dangerous Failures Herrell, Dave (Mon 16 Apr 2007 - 15:51:00 BST)
- tramp then algorithmic Lenny (Thu 19 Apr 2007 - 01:05:24 BST)
- Managing Obsolescence in Embedded Systems McLellan,Tanya (Thu 19 Apr 2007 - 10:31:18 BST)
- common mode failure vs. single point of failure Benito, Robert P [AMSRD-AAR-AEF-S] (Fri 20 Apr 2007 - 18:04:28 BST)
- Fw: [sc] common mode failure vs. single point of failure Jonathan.Storey_at_xxxxxx (Mon 23 Apr 2007 - 10:42:46 BST)
- Re: [ATA-Watchers] Re: In-flight Upset due to "Latent Software Error" MellorPeter_at_xxxxxx (Wed 02 May 2007 - 01:11:58 BST)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Mon 07 May 2007 - 09:00:33 BST)
- Open Access RAMS Simon.Schilling_at_xxxxxx (Tue 08 May 2007 - 14:51:48 BST)
- RE: [sc] Open Access RAMS GRAZEBROOK, Alvery N (Tue 08 May 2007 - 15:25:34 BST)
- [sc] Re: In-flight Upset due to "Latent Software Error" MellorPeter_at_xxxxxx (Tue 08 May 2007 - 17:55:24 BST)
- Enquire the source of 10^(-9) Hu YA (Fri 11 May 2007 - 02:42:45 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Thu 24 May 2007 - 18:55:23 BST)
- Re: [sc] Definitions (was In-flight Upset due to "Latent Software Error") MellorPeter_at_xxxxxx (Tue 29 May 2007 - 05:09:07 BST)
- [sc] Re: Definitions (was In-flight Upset due to "Latent Software Error") MellorPeter_at_xxxxxx (Thu 31 May 2007 - 00:31:52 BST)
- Re: [sc] The craving for generality (was Definitions; was In-flight upset ...) MellorPeter_at_xxxxxx (Thu 31 May 2007 - 01:18:22 BST)
- Defence Standard 00-56 issue 4 trevor.cockram_at_xxxxxx (Thu 14 Jun 2007 - 11:51:38 BST)
- RE: [sc] Defence Standard 00-56 issue 4 SWINDELL, Paul J (Tue 19 Jun 2007 - 17:16:36 BST)
- Fwd: Re: [sc] Defence Standard 00-56 issue 4 Rob Alexander (Wed 20 Jun 2007 - 09:43:15 BST)
- Negligible risk in ALARP Birgit Milius (Fri 06 Jul 2007 - 09:58:03 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Fri 06 Jul 2007 - 10:17:25 BST)
- RE: [sc] Negligible risk in ALARP Mark.Bowell_at_xxxxxx (Fri 06 Jul 2007 - 11:59:12 BST)
- Rick Pearson is out of the office. rpearson_at_xxxxxx (Fri 06 Jul 2007 - 12:00:43 BST)
- PhD position at the University of Twente on Graph-Based Abstract Interpretation Arend Rensink (Thu 12 Jul 2007 - 08:51:40 BST)
- System Safety masterclass in London Nancy Leveson (Fri 13 Jul 2007 - 19:01:35 BST)
- SAFECOMP 2007 Conference Programme Francesca Saglietti (Mon 16 Jul 2007 - 09:02:47 BST)
- Bertrand RICQUE/DAD/SAGEM est absent(e). Bertrand RICQUE (Tue 17 Jul 2007 - 01:00:41 BST)
- [sc] Simple electrical safety: wiring a 3-amp plug MellorPeter_at_xxxxxx (Mon 06 Aug 2007 - 19:04:39 BST)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Mon 06 Aug 2007 - 21:01:42 BST)
- Human Computer Interaction Research Position Ioannis Dokas (Mon 13 Aug 2007 - 11:14:55 BST)
- RE: [sc] Safety Management Systems for Operation and Maintenance Robin Cook (Thu 16 Aug 2007 - 12:11:48 BST)
- Réf. : RE: [sc] Safety Management Systems for Operation and Maintenance Bertrand RICQUE (Mon 20 Aug 2007 - 09:07:35 BST)
- reminder: SAFECOMP 2007 Francesca Saglietti (Mon 20 Aug 2007 - 15:11:46 BST)
- Call for Participation - The 2nd IET International Conference on SYSTEM SAFETY 2007, 22 - 24 OCTOBER 2007 Tim Kelly (Fri 24 Aug 2007 - 17:39:30 BST)
- [sc] FW: [IET Events] - SIL Determination: Principles and Practical Experience Seminar mandy.khattra_at_xxxxxx (Wed 29 Aug 2007 - 14:48:04 BST)
- [sc] FW: [IET Events] - SIL Determination: Principles and Practical Experience Seminar mandy.khattra_at_xxxxxx (Wed 29 Aug 2007 - 14:47:59 BST)
- The 16th Institution of Engineering and Technology Professional Development Course on Safety Critical Systems Tim Kelly (Thu 30 Aug 2007 - 08:58:19 BST)
- RE: [sc] The 16th Institution of Engineering and Technology Pr ofessional Development Course on Safety Critical Systems Clegg John (Thu 30 Aug 2007 - 11:05:21 BST)
- Formal-Lite Event 19 Sep 2007 Ljerka Beus-dukic (Thu 30 Aug 2007 - 13:29:22 BST)
- Partial WBA of the TAM Congonhas accident Peter B. Ladkin (Fri 07 Sep 2007 - 12:38:20 BST)
- The 16th Institution of Engineering and Technology Professional Development Course on Safety Critical Systems Tim Kelly (Thu 13 Sep 2007 - 22:37:53 BST)
- The 16th Institution of Engineering and Technology Professional Development Course on Safety Critical Systems ** CORRECTED URL ** Tim Kelly (Fri 14 Sep 2007 - 10:18:48 BST)
- System Safety Engineering Costs/Efforts Drabble Steve (Fri 14 Sep 2007 - 13:09:04 BST)
- RE: [sc] System Safety Engineering Costs/Efforts Mark Coates (Fri 14 Sep 2007 - 13:33:44 BST)
- [Deadline Extension] EDCC 2008 / 7th European Dependable Computing Conf. Francois Taiani (Wed 19 Sep 2007 - 18:09:55 BST)
- Operator Freedom in Safety Critical Systems Andrew Rae (Thu 27 Sep 2007 - 03:04:54 BST)
- RE: [sc] Operator Freedom in Safety Critical Systems Hill, Adrian E \(UK Barrow\) (Thu 27 Sep 2007 - 09:19:35 BST)
- Tools for source code validation Trevor Harmon (Thu 27 Sep 2007 - 22:21:31 BST)
- key criteria to have a sil4 process? luigi decaro (Fri 28 Sep 2007 - 08:06:54 BST)
- RE: [sc] Tools for source code validation GRAZEBROOK, Alvery N (Fri 28 Sep 2007 - 11:45:37 BST)
- [sc] Fatal air crashes down 65% over past 20 years (NYT) MellorPeter_at_xxxxxx (Mon 01 Oct 2007 - 14:00:38 BST)
- Return receipts Peter Amey (Wed 03 Oct 2007 - 19:19:22 BST)
- Stephen Bull/GB/WSL/Rail is out of the office, returning 8th October Stephen.Bull_at_xxxxxx (Wed 03 Oct 2007 - 22:01:53 BST)
- RE: [sc] MISRA-C:2010 (version 3) Chris Hills (Thu 04 Oct 2007 - 14:07:46 BST)
- Means to be compilant DO178B CAST-12 ???? Prat Nicolas (Fri 05 Oct 2007 - 14:58:26 BST)
- Code Walk-throughs David Legg (Mon 08 Oct 2007 - 13:30:56 BST)
- Re: [sc] key criteria to have a sil4 process? MellorPeter_at_xxxxxx (Mon 08 Oct 2007 - 22:18:05 BST)
- Re: [sc] Code Walk-throughs MellorPeter_at_xxxxxx (Tue 09 Oct 2007 - 01:29:18 BST)
- RE: [sc] Code Walk-throughs Rod Chapman (Tue 09 Oct 2007 - 09:54:25 BST)
- [CFP] DSN 2008 Workshop on Architecting Dependable Systems (WADS 2008) Francois Taiani (Tue 09 Oct 2007 - 16:19:34 BST)
- How to demonstrate source code to object code traceability with Loop inversion ? Prat Nicolas (Wed 10 Oct 2007 - 15:07:54 BST)
- FW: [sc] key criteria to have a sil4 process? Mark.Bowell_at_xxxxxx (Fri 12 Oct 2007 - 16:00:41 BST)
- Why ISS Computers Failed Trevor Harmon (Tue 16 Oct 2007 - 18:04:06 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Thu 18 Oct 2007 - 20:45:12 BST)
- Cannon dangerous failure Les Chambers (Fri 19 Oct 2007 - 03:31:15 BST)
- Research Fellow @ University of NSW, Sydney, Australia Farah Magrabi (Tue 23 Oct 2007 - 01:27:09 BST)
- IEC 61508 maintenance Bertrand RICQUE (Wed 24 Oct 2007 - 08:10:06 BST)
- Réf. : RE: [sc] IEC 61508 maintenance Bertrand RICQUE (Wed 24 Oct 2007 - 09:24:47 BST)
- Réf. : [sc] RE: Réf. : RE: [sc] IEC 61508 maintenance Bertrand RICQUE (Wed 24 Oct 2007 - 11:00:08 BST)
- Réf. : RE: [sc] IEC 61508 maintenance Bertrand RICQUE (Wed 24 Oct 2007 - 13:10:15 BST)
- Réf. : RE: [sc] IEC 61508 maintenance Bertrand RICQUE (Thu 25 Oct 2007 - 11:22:10 BST)
- IEC 61508 maintenance Bertrand RICQUE (Thu 25 Oct 2007 - 11:24:55 BST)
- [sc] IEC 61508 maintenance David Fournier (Thu 25 Oct 2007 - 14:06:05 BST)
- [RMX:#] RE: [sc] IEC 61508 maintenance Jens Algner (Fri 26 Oct 2007 - 16:18:20 BST)
- [RMX:#] RE: [sc] IEC 61508 maintenance Jens Algner (Fri 26 Oct 2007 - 16:47:21 BST)
- JSSSC-Software System Safety Handbook Kenneth Ang (Thu 01 Nov 2007 - 01:02:24 GMT)
- Safety Issues in the NHS IT Project Tim Kelly (Thu 01 Nov 2007 - 17:09:24 GMT)
- test jean-louis.boulanger_at_xxxxxx (Fri 09 Nov 2007 - 12:14:03 GMT)
- [Fwd: Re: [sc] IEC 61508 maintenance] Martyn Thomas (Fri 09 Nov 2007 - 12:32:52 GMT)
- [RMX:#] RE: [sc] IEC 61508 maintenance Jens Algner (Fri 09 Nov 2007 - 08:39:08 GMT)
- EDCC 2008 Call for Fast Abstracts José Orlando Pereira (Wed 14 Nov 2007 - 14:59:12 GMT)
- Safety return on investment for software safety Kenneth Ang (Thu 15 Nov 2007 - 07:47:57 GMT)
- [sc] Safety return on investment for software safety Drabble Steve (Thu 15 Nov 2007 - 10:54:37 GMT)
- (sc) Report on the Economics and Morality of Safety Martyn Thomas (Thu 15 Nov 2007 - 13:15:24 GMT)
- Call for Papers: SAFECOMP 2008 Tim Kelly (Sun 18 Nov 2007 - 13:36:06 GMT)
- [CfP] DSN 2008 Workshop on Architecting Dependable Systems (WADS 2008) Francois Taiani (Tue 20 Nov 2007 - 11:38:25 GMT)
- Please remove from Distribution List POWELL Thomas (Sun 25 Nov 2007 - 21:17:38 GMT)
- [sc] unsubscribe please! Matt Davis (Mon 26 Nov 2007 - 12:44:55 GMT)
- O.S.cots and Application sw giovanni russo (Tue 27 Nov 2007 - 07:49:01 GMT)
- CfP SafeCert2008 - Deadline Dec 08 Hardi Hungar (Wed 28 Nov 2007 - 20:47:14 GMT)
- Professional status for UK engineers Martyn Thomas (Thu 29 Nov 2007 - 17:10:00 GMT)
- Health Care Devices Peter B. Ladkin (Mon 03 Dec 2007 - 13:05:50 GMT)
- MSG-3 luigi decaro (Wed 05 Dec 2007 - 09:50:49 GMT)
- Happy new year Kuper-in-012 (Mon 31 Dec 2007 - 04:27:17 GMT)
- Rick Pearson is out of the office. rpearson_at_xxxxxx (Mon 31 Dec 2007 - 06:01:07 GMT)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Mon 31 Dec 2007 - 09:00:21 GMT)
- Last message date: Mon 31 Dec 2007 - 09:00:55 GMT
- Archived on: Mon 31 Dec 2007 - 09:00:55 GMT