Safety-Critical Mailing List Archive 2009
by thread
- 17th IET Course on Safety Critical Systems, 17-20 March, 2009 Tim Kelly (Thu 15 Jan 2009 - 12:12:14 GMT)
- SCSC Events Chris Dale (Fri 16 Jan 2009 - 12:59:48 GMT)
- CFC: Latin-American Symposium on Dependable Computing (LADC 2009) Rogerio de Lemos (Mon 19 Jan 2009 - 09:47:40 GMT)
- CFP: DSN 2009 WADS - Workshop on Architecting Dependable Systems Rogerio de Lemos (Mon 19 Jan 2009 - 15:44:15 GMT)
- Railway ISA in India Peter Hiorns (Tue 20 Jan 2009 - 13:26:39 GMT)
- FM 2009: Call for Tutorial Proposals Arend Rensink (Wed 04 Feb 2009 - 13:56:28 GMT)
- http://www.theinquirer.net/inquirer/news/822/1050822/nhs-faults-worst David Crocker (Wed 04 Feb 2009 - 21:15:53 GMT)
- Blade Server & Virtualisation safety? Parker, Peter \(UK\) (Thu 05 Feb 2009 - 09:47:32 GMT)
- [sc] Blade Server & Virtualisation safety? ADodd_at_xxxxxx (Thu 05 Feb 2009 - 10:07:54 GMT)
- [sc] Blade Server & Virtualisation safety? mike.light_at_xxxxxx (Thu 05 Feb 2009 - 10:18:02 GMT)
- [sc] Blade Server & Virtualisation safety? Jean-Louis CAMUS (Thu 05 Feb 2009 - 10:21:23 GMT)
- [sc] Blade Server & Virtualisation safety? Jean-Louis CAMUS (Thu 05 Feb 2009 - 10:21:25 GMT)
- [sc] Blade Server & Virtualisation safety? Roberto.Scimia_at_xxxxxx (Thu 05 Feb 2009 - 10:24:05 GMT)
- [sc] Blade Server & Virtualisation safety? steven.d.smith_at_xxxxxx (Thu 05 Feb 2009 - 12:29:39 GMT)
- [sc] Blade Server & Virtualisation safety? michael.lemay_at_xxxxxx (Thu 05 Feb 2009 - 13:03:31 GMT)
- [sc] Blade Server & Virtualisation safety? CAgersbaek_at_xxxxxx (Thu 05 Feb 2009 - 16:05:45 GMT)
- Re: failure probability of communication protocol- more readable Kuper-in-012 (Sat 07 Feb 2009 - 06:41:49 GMT)
- [sc] Blade Server & Virtualisation safety? Simon Connelly (Mon 09 Feb 2009 - 04:34:23 GMT)
- RE: [sc] failure probability of communication protocol GRAZEBROOK, Alvery N (Mon 09 Feb 2009 - 14:37:24 GMT)
- question about software versus hardware Schaefer, Robert P \(US SSA\) (Mon 16 Feb 2009 - 12:51:22 GMT)
- Linux and safety related process control Hill, Adrian E \(UK Barrow\) (Tue 17 Feb 2009 - 13:54:48 GMT)
- [sc] Linux and safety related process control Jens Algner (Tue 17 Feb 2009 - 14:03:39 GMT)
- [sc] Linux and safety related process control ADodd_at_xxxxxx (Tue 17 Feb 2009 - 14:15:55 GMT)
- [sc] Linux and safety related process control Jean-Louis CAMUS (Tue 17 Feb 2009 - 14:59:29 GMT)
- [sc] Linux and safety related process control Roberto.Scimia_at_xxxxxx (Tue 17 Feb 2009 - 15:29:07 GMT)
- [sc] Linux and safety related process control mike.light_at_xxxxxx (Tue 17 Feb 2009 - 15:37:14 GMT)
- [sc] Linux and safety related process control alan.g.king_at_xxxxxx (Tue 17 Feb 2009 - 17:27:33 GMT)
- RE: [sc] Safety related process control: device drivers should be constrained by Virtual Memory Stachour, Paul C UTCFS (Tue 17 Feb 2009 - 22:28:37 GMT)
- [sc] Linux and safety related process control michael.lemay_at_xxxxxx (Wed 18 Feb 2009 - 13:06:31 GMT)
- [sc] Linux and safety related process control CAgersbaek_at_xxxxxx (Wed 18 Feb 2009 - 17:14:13 GMT)
- FM2009: Third Call for Papers Arend Rensink (Thu 19 Feb 2009 - 12:39:18 GMT)
- RE: [sc]Safety and security Shore, Andy (Thu 19 Feb 2009 - 13:23:35 GMT)
- unsubscribe Mohamed Abdi (Fri 20 Feb 2009 - 13:53:25 GMT)
- volatile faults in compilers Derek M Jones (Mon 02 Mar 2009 - 16:31:29 GMT)
- [sc] optimizing compilers SPRIGGS, John J (Tue 03 Mar 2009 - 08:20:59 GMT)
- [sc] Linux and safety related process control Amar BOUALI (Tue 03 Mar 2009 - 13:27:02 GMT)
- Overview suitability of safety techniques Jörg Weber (Thu 05 Mar 2009 - 09:38:20 GMT)
- Call for Participation: Ada UK Conference, March 24, London Tim Kelly (Wed 11 Mar 2009 - 17:40:38 GMT)
- Boeing 777 aircraft with RR Trent 800 engines Prof. Dr. Peter Bernard Ladkin (Fri 13 Mar 2009 - 07:39:15 GMT)
- CALL FOR PAPERS - 3rd Workshop on Formal Methods for Interactive Systems, Affiliated with FM 2009, November 2, 2009, Eindhoven Tim Kelly (Tue 17 Mar 2009 - 22:22:43 GMT)
- Call for Papers: The 4th International Conference on System Safety, 26-28 October 2009, London, UK Tim Kelly (Mon 23 Mar 2009 - 13:44:14 GMT)
- CFP: PCC and Software Certification 2009 Ewen Denney (Wed 01 Apr 2009 - 01:14:34 BST)
- Final Call for Papers FM 2009; deadline: 4 May 2009 Arend Rensink (Mon 06 Apr 2009 - 10:17:36 BST)
- Invitation to connect on LinkedIn Jon Hind (Wed 08 Apr 2009 - 20:34:41 BST)
- Call for Papers: 8th European Dependable Computing Conference (EDCC-2010 ) Deadline: Oct. 2 2009 Francois Taiani (Thu 09 Apr 2009 - 11:49:55 BST)
- Call for Papers: The 4th International Conference on System Safety, 26-28 October 2009, London, UK **ABSTRACT SUBMISSION DEADLINE EXTENDED TO 27 APRIL** Tim Kelly (Tue 21 Apr 2009 - 12:21:10 BST)
- Bertrand RICQUE/DAD/SAGEM est absent(e). Bertrand RICQUE (Wed 22 Apr 2009 - 01:00:28 BST)
- Special Session "Dependable Automation Systems" at ETFA2009 Andreas Gerstinger (Thu 23 Apr 2009 - 13:29:43 BST)
- Re: safety-critical-digest Digest V09 #21 John McDermid (Sun 03 May 2009 - 17:02:32 BST)
- CENELEC assessment criteria for SIL 3 vs SIL 4 Andy Shore (Fri 08 May 2009 - 13:59:20 BST)
- Legal status of IEC 61511. Jon Hind (Fri 08 May 2009 - 14:17:31 BST)
- Re: [sc] Calibrating risk matrices Robin Cook (Sun 10 May 2009 - 23:52:37 BST)
- Réf. : Re: [sc] CENELEC assessment criteria for SIL 3 vs SIL 4 Bertrand RICQUE (Mon 18 May 2009 - 12:44:12 BST)
- Réf. : Re: [sc] CENELEC assessment criteria for SIL 3 vs SIL 4 Bertrand RICQUE (Wed 20 May 2009 - 15:09:45 BST)
- Re: [sc] Emergency Parachute - Risk Based Safety Assessment Martyn Thomas (Thu 21 May 2009 - 14:56:18 BST)
- Homework Time for 61508ers! Prof. Dr. Peter Bernard Ladkin (Thu 21 May 2009 - 16:31:57 BST)
- RE: [sc] Emergency Parachute - Risk Based Safety Assessment Loebl, Andy (Thu 21 May 2009 - 16:56:58 BST)
- Second Case for Homework Prof. Dr. Peter Bernard Ladkin (Fri 22 May 2009 - 07:24:51 BST)
- Réf. : [sc] Homework Time for 61508ers! Bertrand RICQUE (Mon 25 May 2009 - 10:29:24 BST)
- Réf. : RE: [sc] Second Case for Homework Bertrand RICQUE (Tue 26 May 2009 - 15:26:59 BST)
- 2nd Cfp: PCC09 Ewen Denney (Thu 28 May 2009 - 19:34:24 BST)
- 2 free evening lectures Mitchell,Janine (Fri 29 May 2009 - 10:46:05 BST)
- Homework Time for 61508ers! Bain, Allan Mr (Fri 29 May 2009 - 15:51:27 BST)
- Réf. : [sc] Homework Time for 61508ers! Bertrand RICQUE (Fri 29 May 2009 - 16:25:18 BST)
- UNSUBSCRIBE Hochberg, Jeff (Sat 30 May 2009 - 00:21:33 BST)
- Call for Workshop Proposals: 8th European Dependable Computing Conf. (EDCC-2010 ), Valencia, April 27, 2010 Francois Taiani (EDCC) (Mon 01 Jun 2009 - 09:35:43 BST)
- UNSUBSCRIBE Kessler, Joerg (EFAE/1) (Tue 02 Jun 2009 - 07:55:17 BST)
- Réf. : RE: Réf. : [sc] Homework Time for 61508ers! Bertrand RICQUE (Tue 02 Jun 2009 - 10:26:53 BST)
- RE: Réf comment to bertrand Rolf Spiker (Tue 02 Jun 2009 - 21:06:00 BST)
- RE: Réf comment to bertrand Schaefer, Robert P \(US SSA\) (Tue 02 Jun 2009 - 20:35:55 BST)
- Re:[sc] RE: Réf comment to bertrand Martyn Thomas (Tue 02 Jun 2009 - 21:50:35 BST)
- Re: [sc] RE: Réf comment to bertrand Gerard Le Lann (Wed 03 Jun 2009 - 11:32:32 BST)
- Re: CBSs, standards, and failures (was: Réf comment to bertrand) Prof. Dr. Peter Bernard Ladkin (Thu 04 Jun 2009 - 05:56:54 BST)
- RE: CBSs, standards, and failures (was: Réf comment to bertrand) Bailey, John (Thu 04 Jun 2009 - 09:44:40 BST)
- Re: CBSs, standards, and failures (was: Réf comment to bertrand) Prof. Dr. Peter Bernard Ladkin (Thu 04 Jun 2009 - 10:19:33 BST)
- Re: [sc] RE: Réf comment to bertrand (and bill, and thierry, and ........... Prof. Dr. Peter Bernard Ladkin (Thu 04 Jun 2009 - 08:11:33 BST)
- RE: [sc] RE: Réf comment to bertrand (and bill, and thierry, and ........... Rolf Spiker (Thu 04 Jun 2009 - 21:24:04 BST)
- RE: [sc] RE: Réf comment to bertrand Rolf Spiker (Tue 02 Jun 2009 - 22:59:37 BST)
- (no subject) Philippa Conmy (Wed 03 Jun 2009 - 11:32:46 BST)
- AUTO: Nigel Tracey is out of the office. (returning 15/06/2009) nigel.tracey_at_xxxxxx (Thu 04 Jun 2009 - 06:16:34 BST)
- Réf. : RE: CBSs, standards, and failures (was: Réf comment to bertrand) Bertrand RICQUE (Thu 04 Jun 2009 - 10:34:32 BST)
- RE: [sc] Réf. : RE: CBSs, standards, and failures (was: Réf comment to bertrand) Forbes, William ALGLSG-LXES (Thu 04 Jun 2009 - 11:07:32 BST)
- Re: [sc] Réf. : RE: CBSs, standards, and failures Martyn Thomas (Thu 04 Jun 2009 - 11:22:37 BST)
- RE: [sc] Réf. : RE: CBSs, standards, and failures (was: Réf comment to bertrand) Jayakanth Srinivasan (Thu 04 Jun 2009 - 12:17:49 BST)
- RE: [sc] Réf. : RE: CBSs, standards, andfailures (was: Réf comment to bertrand) David Ward (Thu 04 Jun 2009 - 14:51:07 BST)
- RE: [sc] RE: [sc] Réf. : RE: CBSs, standards, andfailures (was: Réf comment to bertrand) Chris Hills (Fri 05 Jun 2009 - 13:21:30 BST)
- ISO 26262 David Ward (Fri 10 Jul 2009 - 11:07:36 BST)
- Re: [sc] ISO 26262 Martyn Thomas (Fri 10 Jul 2009 - 14:58:26 BST)
- Re: [sc] ISO 26262 Nancy Leveson (Fri 10 Jul 2009 - 16:01:37 BST)
- Re: [sc] ISO 26262 Nicholas Mc Guire (Fri 10 Jul 2009 - 16:19:33 BST)
- [sc] ISO 31000 Weaver, Rob (Mon 13 Jul 2009 - 01:29:05 BST)
- Re: [sc] ISO 31000 tracyinoz_at_xxxxxx (Tue 14 Jul 2009 - 05:35:57 BST)
- Does anyone have a list of Airbus crashes, incidents covering calander year 2008 and 2009 to date? Loebl, Andy (Tue 14 Jul 2009 - 21:48:37 BST)
- Re: [sc] Does anyone have a list of Airbus crashes, incidents covering calander year 2008 and 2009 to date? Brian Reynolds (Tue 14 Jul 2009 - 22:58:29 BST)
- Re: [sc] Does anyone have a list of Airbus crashes.... Prof. Dr. Peter Bernard Ladkin (Wed 15 Jul 2009 - 06:38:03 BST)
- Re: [sc] Does anyone have a list of Airbus crashes.... Loebl, Andy (Wed 15 Jul 2009 - 07:36:19 BST)
- RE: [sc] ISO 31000 Weaver, Rob (Thu 16 Jul 2009 - 03:59:29 BST)
- RE: [sc] ISO 26262 (Standards processes) Reynolds, Barrie (Fri 24 Jul 2009 - 11:51:33 BST)
- Re: [sc] ISO 26262 Martyn Thomas (Fri 10 Jul 2009 - 16:25:51 BST)
- RE: [sc] ISO 26262 tool availible Chris Hills (Wed 15 Jul 2009 - 13:58:29 BST)
- Re: [sc] Réf. : RE: CBSs, standards, and failures (was: Réf comment to bertrand) Prof. Dr. Peter Bernard Ladkin (Thu 04 Jun 2009 - 11:39:07 BST)
- 61508 Nancy Leveson (Fri 05 Jun 2009 - 16:16:05 BST)
- Réf. : [sc] 61508 Bertrand RICQUE (Fri 05 Jun 2009 - 18:07:29 BST)
- Class help needed Loebl, Andy (Mon 08 Jun 2009 - 08:55:00 BST)
- The Accident to Air France flight 447 Prof. Dr. Peter Bernard Ladkin (Wed 10 Jun 2009 - 15:40:01 BST)
- AF 447 ACARS messages Prof. Dr. Peter Bernard Ladkin (Thu 11 Jun 2009 - 16:54:15 BST)
- Re: [sc] Homework Time for 61508ers! Prof. Dr. Peter Bernard Ladkin (Thu 11 Jun 2009 - 18:49:55 BST)
- Recall: [sc] AF 447 ACARS messages J.Marincic_at_xxxxxx (Fri 12 Jun 2009 - 11:47:05 BST)
- A Mistake with a Life of its Own Prof. Dr. Peter Bernard Ladkin (Sun 14 Jun 2009 - 10:22:19 BST)
- Safety performance upgrade needed for the TASER® weapon James Ronback (Fri 19 Jun 2009 - 06:02:15 BST)
- Why Formal Methods? Prof. Dr. Peter Bernard Ladkin (Mon 22 Jun 2009 - 13:44:30 BST)
- RE: [sc] Safety Engineering Productivity GRAZEBROOK, Alvery N (Thu 25 Jun 2009 - 13:02:43 BST)
- Ignorant Comments on Aviation Incidents Prof. Dr. Peter Bernard Ladkin (Sat 27 Jun 2009 - 19:06:09 BST)
- Call for Participation: ISSEC 2009 Tony Cant (Thu 02 Jul 2009 - 02:11:48 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Thu 02 Jul 2009 - 02:26:19 BST)
- Felipe Augusto Sviaghin Ferri is out of the office. felipe.ferri_at_xxxxxx (Thu 02 Jul 2009 - 08:03:54 BST)
- Unsubscribe Mike McKinney (Sat 04 Jul 2009 - 21:00:15 BST)
- FM 2009: Accepted Papers Arend Rensink (Wed 08 Jul 2009 - 10:44:54 BST)
- CfP-2: FM 2009 Doctoral Symposium (Deadline July 24) Arend Rensink (Wed 08 Jul 2009 - 10:52:53 BST)
- NTSB Safety Report...... Prof. Dr. Peter Bernard Ladkin (Fri 24 Jul 2009 - 09:50:40 BST)
- Antonio Domiciano is out of the office. antonio.domiciano_at_xxxxxx (Fri 24 Jul 2009 - 14:00:18 BST)
- Non deterministic Ethernet backbone for safety critical train control systems paul cleary (Thu 30 Jul 2009 - 03:23:31 BST)
- Réf. : [sc] SIL on PCB? Bertrand RICQUE (Thu 30 Jul 2009 - 08:14:55 BST)
- (no subject) Emine Aydal (Thu 30 Jul 2009 - 08:32:26 BST)
- Réf. : RE: [sc] SIL on PCB? Bertrand RICQUE (Thu 30 Jul 2009 - 08:41:07 BST)
- IET Presentation, The Allocation of Safety Integrity Levels (SIL) for Rolling Stock Safety Related Functions - Misleading paul cleary (Thu 30 Jul 2009 - 10:33:09 BST)
- Réf. : RE: [sc] SIL on PCB? Bertrand RICQUE (Thu 30 Jul 2009 - 14:01:44 BST)
- Réf. : Re: [sc] SIL on PCB? Bertrand RICQUE (Thu 30 Jul 2009 - 14:06:46 BST)
- re IET Presentation, The Allocation of Safety Integrity Levels (SIL) for Rolling Stock Safety Related Functions - Misleadingþ paul cleary (Thu 30 Jul 2009 - 15:02:13 BST)
- Réf. : Re: [sc] SIL on PCB? Bertrand RICQUE (Fri 31 Jul 2009 - 08:32:05 BST)
- Réf. : Re: [sc] SIL on PCB? Bertrand RICQUE (Fri 31 Jul 2009 - 08:37:57 BST)
- Réf. : [sc] RE: Réf. : Re: [sc] SIL on PCB? Bertrand RICQUE (Fri 31 Jul 2009 - 14:06:53 BST)
- Certification of Tools/Components (was Re: [sc] SIL on PCB?) Jeff Payne (Fri 31 Jul 2009 - 15:09:24 BST)
- Phd / Postdoc positions, Softw. Engin. & IT Security, TU Dortmund/Fraunhofer ISST Jan Ju''rjens (Fri 31 Jul 2009 - 20:38:02 BST)
- Stephen Bull is out of the office until 10/8/2009 Stephen.Bull_at_xxxxxx (Sat 01 Aug 2009 - 08:01:53 BST)
- What SIL should developers tools like Riskcats 50128 have paul cleary (Mon 03 Aug 2009 - 08:19:51 BST)
- Royal Academy Report Martyn Thomas (Mon 03 Aug 2009 - 12:09:07 BST)
- Certification of Tools/Components Nancy Leveson (Tue 04 Aug 2009 - 19:14:18 BST)
- Réf. : Re: Certification of Tools/Components Bertrand RICQUE (Wed 05 Aug 2009 - 08:32:38 BST)
- Some AF447 commentary Prof. Dr. Peter Bernard Ladkin (Wed 05 Aug 2009 - 08:52:43 BST)
- (no subject) Emine Aydal (Thu 06 Aug 2009 - 14:29:16 BST)
- Mandy Khattra is out of the office. mandy.khattra_at_xxxxxx (Thu 06 Aug 2009 - 19:05:04 BST)
- Re: Réf._:_Re:_[sc]_SIL_on_PCB? andy (Fri 07 Aug 2009 - 10:33:27 BST)
- Réf. : Re: Certification of Tools/Components Bertrand RICQUE (Fri 07 Aug 2009 - 12:28:47 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Sat 08 Aug 2009 - 23:58:12 BST)
- verified kernel Gergely Buday (Fri 14 Aug 2009 - 12:44:14 BST)
- Some Contentious Issues, cont'd Prof. Dr. Peter Bernard Ladkin (Mon 17 Aug 2009 - 10:13:27 BST)
- IET System Safety Conference - workshops Poole,Matthew (Mon 17 Aug 2009 - 11:04:26 BST)
- Réf. : [sc] Some Contentious Issues in System Safety (was: Certification of Tools/Components) Bertrand RICQUE (Mon 17 Aug 2009 - 13:33:07 BST)
- Engineering Communication, and AF447 Prof. Dr. Peter Bernard Ladkin (Fri 21 Aug 2009 - 11:27:52 BST)
- Function Call graphs paul cleary (Fri 21 Aug 2009 - 12:14:09 BST)
- RE: [sc] Function Call graphs - unclassified King, Martin \(NNPPI\) (Fri 21 Aug 2009 - 12:51:32 BST)
- Security in IEC 61508 ED2 Nicholas Mc Guire (Tue 25 Aug 2009 - 13:06:41 BST)
- Full programme available for IET System Safety Conference Poole,Matthew (Fri 28 Aug 2009 - 14:10:06 BST)
- B method and rail safety paul cleary (Sat 29 Aug 2009 - 05:01:48 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Sat 29 Aug 2009 - 05:20:53 BST)
- seL4 microkernel and SIL paul cleary (Mon 31 Aug 2009 - 13:33:44 BST)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Mon 31 Aug 2009 - 15:01:27 BST)
- Combining case and default in a switch statement. Scott Nowell (Fri 04 Sep 2009 - 15:33:09 BST)
- (no subject) Philippa Conmy (Fri 04 Sep 2009 - 20:25:45 BST)
- (no subject) Katrina Attwood (Fri 04 Sep 2009 - 20:25:45 BST)
- Publication of DEF(AUST)5679 Issue 2 and Accompanying Guidance Material [SEC=UNCLASSIFIED] Cant, Tony (Mon 07 Sep 2009 - 06:07:13 BST)
- CfPart: FM 2009, 2-7 November 2009 Arend Rensink (Tue 08 Sep 2009 - 08:25:19 BST)
- DEF(AUST)5679 Issue 2 [SEC=UNCLASSIFIED] Cant, Tony (Wed 09 Sep 2009 - 01:04:21 BST)
- Appropriate Assurance (was Re: [sc] Combining case and default in a switch statement.) Jeff Payne (Thu 10 Sep 2009 - 15:18:04 BST)
- Réf. : [sc] Why do we have safety standards? Bertrand RICQUE (Fri 11 Sep 2009 - 08:43:17 BST)
- Appropriate Assurance (was Re: [sc] Combining case and default in a switch statement.) Jeff Payne (Fri 11 Sep 2009 - 11:07:49 BST)
- AUTO: Nigel Tracey is out of the office. (returning 18/09/2009) nigel.tracey_at_xxxxxx (Fri 11 Sep 2009 - 11:45:28 BST)
- IET's System Safety Conference, Incorporating the SaRS Annual Conference - programme available Mitchell,Janine (Fri 11 Sep 2009 - 13:32:21 BST)
- Can CLI languages be comparable to Ada for safety critical applications? Jeff Payne (Fri 11 Sep 2009 - 16:12:43 BST)
- [fmics] CfPart: FMICS 2009, 2-3 November 2009 joubert_at_xxxxxx (Sun 13 Sep 2009 - 22:16:00 BST)
- [sc] EXTENDED CALL FOR CONTRIBUTIONS - ERTS2-2010, due Oct 1, 2009 Braband, Jens (Tue 15 Sep 2009 - 08:45:40 BST)
- EDCC-2010: Deadline extended to October 9, 2009 (8th European Dependable Comp. Conf.) Francois Taiani (Tue 22 Sep 2009 - 17:25:55 BST)
- ISO DIS 26262 Prof. Dr. Peter Bernard Ladkin (Wed 30 Sep 2009 - 08:40:42 BST)
- Dirk Neumann ist außer Hausss. Dirk Neumann (Wed 30 Sep 2009 - 09:00:17 BST)
- Réf. : RE: [sc] ISO DIS 26262 Bertrand RICQUE (Wed 30 Sep 2009 - 09:47:22 BST)
- Réf. : Re: [sc] ISO DIS 26262 Bertrand RICQUE (Thu 01 Oct 2009 - 09:36:54 BST)
- CALL FOR PARTICIPATION 3rd Workshop on Formal Methods for Interactive Systems Eindhoven, The Netherlands November 2, 2009 Tim Kelly (Thu 08 Oct 2009 - 08:20:04 BST)
- Call for Participation: The 4th International Conference on System Safety, 26-28 October 2009, London, UK Tim Kelly (Thu 08 Oct 2009 - 09:45:59 BST)
- 2nd CfPart FM 2009 + tutorials and workshops: Early registration deadline 19 Oct Arend Rensink (Thu 08 Oct 2009 - 10:14:09 BST)
- SIL DETERMINATION SEMINAR - DECEMBER 3 2009 Poole,Matthew (Thu 08 Oct 2009 - 17:15:18 BST)
- [fmics] CfPart: FMICS 2009, 2-3 November 2009, Final Call Christophe Joubert (Tue 13 Oct 2009 - 09:23:59 BST)
- General Dynamics UK chooses Perfect Developer for 00-55 SIL 4 software development David Crocker (Fri 16 Oct 2009 - 10:29:44 BST)
- CALL FOR PAPERS: TOOLS EUROPE 2010 Osmar Marchi dos Santos (Fri 16 Oct 2009 - 10:47:33 BST)
- [SC] Report on the loss of the RAF Nimrod MR2 aircraft XV230 in Afghanistan on 2 September 2006 Tony Foord (Wed 28 Oct 2009 - 18:19:05 GMT)
- Could anybody advise on websites where software development tools, re-usable components including RTOSes, libraries, etc. which are approved or certified to IEC 61508 are available? paul cleary (Sat 31 Oct 2009 - 15:38:17 GMT)
- RE: [sc] Could anybody advise on websites where software development tools, re-usable components including RTOSes, libraries, etc. which are approved or certified to IEC 61508 are available? Chris Hills (Sun 01 Nov 2009 - 11:57:33 GMT)
- Re: [sc] Could anybody advise ..... Prof. Dr. Peter Bernard Ladkin (Mon 02 Nov 2009 - 07:28:04 GMT)
- RE: [sc] Could anybody advise on websites where software development tools, re-usable components including RTOSes, libraries, etc. which are approved or certified to IEC 61508 are available? Finn, Damien (Mon 02 Nov 2009 - 08:40:00 GMT)
- RE: [sc] Could anybody advise on websites where software development tools, re-usable components including RTOSes, libraries, etc. which are approved or certified to IEC 61508 are available? Scott Nowell (Mon 02 Nov 2009 - 15:00:07 GMT)
- Bushfire hazard analysis Les Chambers (Sun 01 Nov 2009 - 05:07:46 GMT)
- Could anybody advise on websites where software development tools, re-usable components including RTOSes, libraries, etc. which are approved or certified to IEC 61508 are available? and how does CASS fit into this? paul cleary (Wed 04 Nov 2009 - 07:39:24 GMT)
- Could anybody advise on CASS type 1 certification for RTOS and middleware paul cleary (Wed 04 Nov 2009 - 11:01:00 GMT)
- (no subject) Katrina Attwood (Thu 05 Nov 2009 - 11:44:33 GMT)
- Argumentation Prof. Dr. Peter Bernard Ladkin (Sat 07 Nov 2009 - 10:00:53 GMT)
- Amir Pnueli Prof. Dr. Peter Bernard Ladkin (Sat 07 Nov 2009 - 18:19:36 GMT)
- Safety engineer deliberations paul cleary (Sun 08 Nov 2009 - 05:13:49 GMT)
- Re: [ATA-Watchers] Review of Nimrod accident published John McDermid (Sun 08 Nov 2009 - 14:56:18 GMT)
- [sc] Risk Cases vs Safety Cases Weaver, Rob (Mon 09 Nov 2009 - 02:32:59 GMT)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Mon 09 Nov 2009 - 08:00:29 GMT)
- Michael W Whalen has left Rockwell Collins, Inc. mwwhalen_at_xxxxxx (Wed 11 Nov 2009 - 05:39:06 GMT)
- Réf. : RE: [sc] Safety engineer deliberations Bertrand RICQUE (Wed 11 Nov 2009 - 18:10:07 GMT)
- CERN Safety Di paul cleary (Thu 12 Nov 2009 - 07:08:13 GMT)
- CERN Safety concerns paul cleary (Thu 12 Nov 2009 - 07:20:54 GMT)
- Safety engineer deliberations Les Chambers (Thu 12 Nov 2009 - 09:07:03 GMT)
- Plane crash TV: Channel 4 to destroy passenger jet paul cleary (Fri 13 Nov 2009 - 02:22:03 GMT)
- Are there any SIL 4 applications? daichi.mizuguchi_at_xxxxxx (Fri 13 Nov 2009 - 02:29:27 GMT)
- CFP: First International Symposium on Architecting Critical Systems (ISARCS 2010) Holger Giese (Sun 15 Nov 2009 - 09:16:32 GMT)
- Aristotle and Russell Yiannis Papadopoulos (Tue 17 Nov 2009 - 13:19:25 GMT)
- Aristotle Les Chambers (Wed 18 Nov 2009 - 04:54:00 GMT)
- RE: [sc] Aristotle and Russell Shore Andy (external) (Wed 18 Nov 2009 - 12:59:00 GMT)
- Cost of aircraft airworthiness certification (DO-178B/ED-12B)? Mike Elliott (Wed 18 Nov 2009 - 20:12:28 GMT)
- Use of informal logic GRAZEBROOK, Alvery N (Thu 19 Nov 2009 - 11:10:43 GMT)
- Safety Cases, Risk Cases, Argumentation Felix Redmill (Thu 19 Nov 2009 - 16:19:55 GMT)
- Safety review of unplanned Qantas plane descent Heath Raftery (Mon 23 Nov 2009 - 22:56:37 GMT)
- University Tittle-Tattle Prof. Dr. Peter Bernard Ladkin (Thu 26 Nov 2009 - 18:31:48 GMT)
- University Tittle-Tattle: The Real Thing! Prof. Dr. Peter Bernard Ladkin (Fri 27 Nov 2009 - 09:00:34 GMT)
- CfP - EDCC-2010 Fast Abstracts & Student Forum (Deadline: 28 February 2010) Francois Taiani (Fri 27 Nov 2009 - 17:54:54 GMT)
- Fwd: EN 50129 (was Re: [sc] Are there any SIL 4 applications?) Prof. Dr. Peter Bernard Ladkin (Tue 01 Dec 2009 - 07:05:11 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence Yiannis Papadopoulos (Thu 03 Dec 2009 - 21:12:20 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Martyn Thomas (Thu 03 Dec 2009 - 22:29:55 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Yiannis Papadopoulos (Thu 03 Dec 2009 - 23:45:16 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Martyn Thomas (Fri 04 Dec 2009 - 12:40:25 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Prof. Dr. Peter Bernard Ladkin (Fri 04 Dec 2009 - 09:00:57 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence Rolf Spiker (Fri 04 Dec 2009 - 12:11:09 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Martyn Thomas (Fri 04 Dec 2009 - 12:57:12 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence Rolf Spiker (Fri 04 Dec 2009 - 13:40:29 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence paul cleary (Fri 04 Dec 2009 - 13:53:09 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence Rolf Spiker (Fri 04 Dec 2009 - 14:17:44 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Yiannis Papadopoulos (Fri 04 Dec 2009 - 18:41:34 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Martyn Thomas (Sat 05 Dec 2009 - 11:59:37 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence Mauricio Peixoto (Sat 05 Dec 2009 - 16:28:59 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Martyn Thomas (Sat 05 Dec 2009 - 17:23:33 GMT)
- Re: [sc] Properties, failure rates, probabilities and confidence Yiannis Papadopoulos (Sat 05 Dec 2009 - 20:52:13 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence Thierry.Coq_at_xxxxxx (Fri 04 Dec 2009 - 17:16:42 GMT)
- RE: [sc] Properties, failure rates, probabilities and confidence Rolf Spiker (Fri 04 Dec 2009 - 21:00:39 GMT)
- Réf. : Re: [sc] Properties, failure rates, probabilities and confidence Bertrand RICQUE (Fri 04 Dec 2009 - 16:04:21 GMT)
- Réf. : RE: EN 50129 (was Re: [sc] Are there any SIL 4 applications?) Bertrand RICQUE (Fri 04 Dec 2009 - 16:13:18 GMT)
- Fwd: [sc] Are there any SIL 4 applications? Nancy Leveson (Sat 05 Dec 2009 - 22:02:34 GMT)
- Fwd: [sc] Are there any SIL 4 applications? Yiannis Papadopoulos (Sun 06 Dec 2009 - 12:02:18 GMT)
- On the Safety Level of a Valve Yiannis Papadopoulos (Sun 06 Dec 2009 - 16:49:24 GMT)
- RE: [sc] On the Safety Level of a Valve Ross Hannan (Sun 06 Dec 2009 - 19:41:21 GMT)
- Airworthiness certification of software (was empty subject) Mike Elliott (Sun 06 Dec 2009 - 20:36:53 GMT)
- Réf. : [sc] RE: Réf. : RE: EN 50129 (was Re: [sc] Are there any SIL 4 applications?) Bertrand RICQUE (Mon 07 Dec 2009 - 08:35:25 GMT)
- Réf. : Re: [sc] Properties, failure rates, probabilities and confidence Bertrand RICQUE (Mon 07 Dec 2009 - 08:41:22 GMT)
- Réf. : Re: [sc] Are there any SIL 4 applications? Bertrand RICQUE (Mon 07 Dec 2009 - 08:56:45 GMT)
- Réf. : [sc] Re: Bertrand RICQUE (Mon 07 Dec 2009 - 09:02:28 GMT)
- Réf. : Re: [sc] On the Safety Level of a Valve Bertrand RICQUE (Mon 07 Dec 2009 - 09:04:00 GMT)
- Réf. : Re: [sc] On the Safety Level of a Valve Yiannis Papadopoulos (Mon 07 Dec 2009 - 09:44:47 GMT)
- Valves and the SIL 4 applications thread Bain, Allan Mr (Mon 07 Dec 2009 - 10:33:56 GMT)
- [RMX:#] Re: [sc] On the Safety Level of a Valve Nicholas Lusty (Mon 07 Dec 2009 - 10:34:07 GMT)
- About ghosts in machines Yiannis Papadopoulos (Mon 07 Dec 2009 - 12:45:44 GMT)
- [sc] Valves and the SIL 4 applications thread Yiannis Papadopoulos (Mon 07 Dec 2009 - 13:19:10 GMT)
- Réf. : [RMX:#] Re: [sc] On the Safety Level of a Valve Bertrand RICQUE (Mon 07 Dec 2009 - 14:39:34 GMT)
- Réf. : [sc] About ghosts in machines Bertrand RICQUE (Mon 07 Dec 2009 - 14:58:33 GMT)
- Réf. : [sc] Valves and the SIL 4 applications thread Bertrand RICQUE (Mon 07 Dec 2009 - 15:00:25 GMT)
- Can anyone find the straw man? Yiannis Papadopoulos (Mon 07 Dec 2009 - 15:35:10 GMT)
- Réf. : [sc] Valves and the SIL 4 applications thread Yiannis Papadopoulos (Mon 07 Dec 2009 - 15:51:51 GMT)
- sc] Valves and safety-critical@xxxxxx SIL 4 applications thread Yiannis Papadopoulos (Mon 07 Dec 2009 - 22:52:13 GMT)
- [sc] On proofs, formalisms and composability Gerard Le Lann (Tue 08 Dec 2009 - 16:02:57 GMT)
- [sc] On proofs, formalisms and composability Yiannis Papadopoulos (Tue 08 Dec 2009 - 17:16:15 GMT)
- [sc] On proofs, formalisms and composability Yiannis Papadopoulos (Tue 08 Dec 2009 - 18:55:40 GMT)
- My final contribution to this thread Yiannis Papadopoulos (Wed 09 Dec 2009 - 12:11:44 GMT)
- Aw: [sc] My final contribution to this thread Nicholas Lusty (Wed 09 Dec 2009 - 12:53:48 GMT)
- Define safety without risk and probabilities Yiannis Papadopoulos (Wed 09 Dec 2009 - 23:17:04 GMT)
- Systems approach Mauricio Peixoto (Wed 09 Dec 2009 - 23:54:44 GMT)
- Systems approach Yiannis Papadopoulos (Thu 10 Dec 2009 - 10:01:53 GMT)
- Risk and Uncertainties Thierry.Coq_at_xxxxxx (Fri 11 Dec 2009 - 09:43:44 GMT)
- Réf. : RE: [sc] Define safety without risk and probabilities Bertrand RICQUE (Fri 11 Dec 2009 - 11:16:53 GMT)
- Réf. : Re: [sc] Define safety without risk and probabilities Bertrand RICQUE (Mon 14 Dec 2009 - 10:24:01 GMT)
- CfP - EDCC-2010 Workshops (Deadlines: 13 and 20 January 2010) Francois Taiani (Tue 15 Dec 2009 - 12:34:22 GMT)
- Civility of discourse in the Safety-Critical Systems Engineering Community Andrew Rae (Tue 15 Dec 2009 - 14:07:40 GMT)
- RE: [sc] Civility of discourse in the Safety-Critical Systems Engineering Community Yiannis Papadopoulos (Tue 15 Dec 2009 - 15:36:54 GMT)
- RE: [sc] Civility of discourse in the Safety-Critical Systems Eng ineering Community Shore Andy (external) (Tue 15 Dec 2009 - 16:19:18 GMT)
- Re: [sc] Civility of discourse in the Safety-Critical SystemsEngineering Community Yiannis Papadopoulos (Tue 15 Dec 2009 - 17:36:01 GMT)
- Poll on tone/moderation/format ajrae_at_xxxxxx (Wed 16 Dec 2009 - 10:46:01 GMT)
- Moderate language Martyn Thomas (Thu 17 Dec 2009 - 10:40:26 GMT)
- Topic Change Robert Schaefer (Thu 17 Dec 2009 - 15:38:03 GMT)
- Topic Changer II Robert Schaefer (Thu 17 Dec 2009 - 15:41:26 GMT)
- Topic Changer III Robert Schaefer (Thu 17 Dec 2009 - 15:43:31 GMT)
- Pilot opinion on automation. Thierry.Coq_at_xxxxxx (Thu 17 Dec 2009 - 17:56:03 GMT)
- Poll Response Report ajrae_at_xxxxxx (Fri 18 Dec 2009 - 09:57:48 GMT)
- Reflections on Eurostar, Eurotunnel, Snow and systematic failures Thierry.Coq_at_xxxxxx (Sun 20 Dec 2009 - 12:35:23 GMT)
- Re: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures Nicholas Mc Guire (Sun 20 Dec 2009 - 13:17:52 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures Thierry.Coq_at_xxxxxx (Sun 20 Dec 2009 - 15:20:48 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures paul cleary (Sun 20 Dec 2009 - 16:34:56 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures Thierry.Coq_at_xxxxxx (Sun 20 Dec 2009 - 18:28:01 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures Robert Schaefer (Sun 20 Dec 2009 - 18:59:30 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures paul cleary (Sun 20 Dec 2009 - 19:57:29 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures Thierry.Coq_at_xxxxxx (Mon 21 Dec 2009 - 06:34:47 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures Paul TIPLADY (Mon 21 Dec 2009 - 09:32:27 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures michael.ellims_at_xxxxxx (Mon 21 Dec 2009 - 09:49:41 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures michael.ellims_at_xxxxxx (Mon 21 Dec 2009 - 09:50:46 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow andsystematic failures David Ward (Mon 21 Dec 2009 - 10:03:17 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow andsystematic failures Higham, Dave (Mon 21 Dec 2009 - 10:35:36 GMT)
- Re: [sc] Reflections on Eurostar, Eurotunnel, Snow andsystematic failures Martyn Thomas (Mon 21 Dec 2009 - 10:57:04 GMT)
- RE: [sc] automotive field monitoring [Was: Reflections on Eurostar, Eurotunnel, Snow andsystematic failures] Higham, Dave (Mon 21 Dec 2009 - 13:16:46 GMT)
- Re: [sc] automotive field monitoring Martyn Thomas (Mon 21 Dec 2009 - 15:43:58 GMT)
- Re: [sc] automotive field monitoring Andy Cole (Tue 22 Dec 2009 - 19:16:50 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow andsystematic failures Karuppu Samy (Mon 21 Dec 2009 - 11:05:52 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures Paul TIPLADY (Mon 21 Dec 2009 - 11:37:19 GMT)
- Re: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures Oleg Lisagor (Sun 20 Dec 2009 - 19:57:27 GMT)
- RE: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematicfailures Thierry.Coq_at_xxxxxx (Mon 21 Dec 2009 - 06:32:21 GMT)
- Re: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures ajrae_at_xxxxxx (Sun 20 Dec 2009 - 13:57:03 GMT)
- Re: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures David Crocker (Mon 21 Dec 2009 - 09:12:15 GMT)
- Re: [sc] Reflections on Eurostar, Eurotunnel, Snow and systematic failures Yiannis Papadopoulos (Sun 20 Dec 2009 - 16:50:36 GMT)
- (no subject) Katrina Attwood (Sun 20 Dec 2009 - 16:50:43 GMT)
- CALL FOR PAPERS: TOOLS EUROPE 2010 Osmar Marchi dos Santos (Sun 20 Dec 2009 - 18:08:43 GMT)
- FMECA for software Hill, Adrian E (UK Barrow) (Mon 21 Dec 2009 - 11:04:39 GMT)
- Fw: [sc] FMECA for software Morris Chudleigh (Mon 21 Dec 2009 - 13:29:43 GMT)
- Interlocking between- EN5012x, IEC 622xx and MIL_STD_498 paul cleary (Thu 31 Dec 2009 - 12:57:26 GMT)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Thu 31 Dec 2009 - 16:47:31 GMT)
- Last message date: Thu 31 Dec 2009 - 16:47:36 GMT
- Archived on: Thu 31 Dec 2009 - 16:47:37 GMT