Safety-Critical Mailing List Archive 2008
by thread
- CFP: ICSE 2008 Workshop on Aerospace Software Engineering (AeroSE) Mats Heimdahl (Thu 10 Jan 2008 - 22:18:07 GMT)
- notsp: Air Canada A319 upset [Risks 15.02] Peter Ladkin (Tue 15 Jan 2008 - 06:54:26 GMT)
- A319 Air Canada upset Peter B. Ladkin (Tue 15 Jan 2008 - 06:59:13 GMT)
- Safety Engineering PhD studentship (University of York, UK) Oleg Lisagor (Tue 15 Jan 2008 - 21:55:32 GMT)
- Statistics on car usage / car crashes with passengers in front seat Simon.Schilling_at_xxxxxx (Mon 21 Jan 2008 - 09:58:48 GMT)
- very good BA -38 article Nancy Leveson (Tue 22 Jan 2008 - 15:03:13 GMT)
- missing link Nancy Leveson (Tue 22 Jan 2008 - 15:49:30 GMT)
- new papers Nancy Leveson (Tue 22 Jan 2008 - 19:38:49 GMT)
- Automating reliability block diagrams Les Chambers (Wed 23 Jan 2008 - 07:01:37 GMT)
- RE: [sc] Automating reliability block diagrams Andrews David (Wed 23 Jan 2008 - 09:08:12 GMT)
- SAFECOMP 2008: Submissions now accepted Massimo Felici (Thu 24 Jan 2008 - 12:56:25 GMT)
- [sc] REMINDER: ICSE 2008 Workshop on Aerospace Software Engineering (AeroSE) Mats Heimdahl (Tue 29 Jan 2008 - 03:01:35 GMT)
- RadHard SRAM FPGA - Do-178/Do-254 Guillaume FORTAINE (Mon 04 Feb 2008 - 10:37:51 GMT)
- System Safety 2007 - Call for Papers NOW OPEN Tim Kelly (Thu 07 Feb 2008 - 11:40:37 GMT)
- Commentary on C + coding guidelines Derek M Jones (Sat 09 Feb 2008 - 12:25:00 GMT)
- FPGA - Do-178 FORTAINE Guillaume (Sat 09 Feb 2008 - 19:02:30 GMT)
- Do-178 - Misses FORTAINE Guillaume (Sat 09 Feb 2008 - 20:59:09 GMT)
- VHDL - Safety Critical FORTAINE Guillaume (Sun 10 Feb 2008 - 15:00:29 GMT)
- Verisoft FORTAINE Guillaume (Sun 10 Feb 2008 - 17:53:19 GMT)
- Deploy jean-louis.boulanger_at_xxxxxx (Sun 10 Feb 2008 - 20:06:26 GMT)
- FPGA Do-254 - Thesis FORTAINE Guillaume (Mon 11 Feb 2008 - 14:09:14 GMT)
- Why an insecurity? Brian.Wichmann (Mon 11 Feb 2008 - 22:32:06 GMT)
- RE: [sc] Baker report on BP released mandy.khattra_at_xxxxxx (Tue 12 Feb 2008 - 18:21:54 GMT)
- FMICS FORTAINE Guillaume (Sun 17 Feb 2008 - 04:31:50 GMT)
- G6 - Dependable systems FORTAINE Guillaume (Mon 18 Feb 2008 - 00:29:37 GMT)
- EDCC 2008 Final Call for Fast Abstracts José Orlando Pereira (Mon 18 Feb 2008 - 10:44:24 GMT)
- G-YMMM Peter B. Ladkin (Mon 18 Feb 2008 - 16:55:44 GMT)
- FPGA - Do-254 FORTAINE Guillaume (Wed 20 Feb 2008 - 03:15:25 GMT)
- [sc] EDCC 2008 Fast Abstracts: Deadline Extended José Orlando Pereira (Fri 29 Feb 2008 - 10:55:44 GMT)
- [sc] CfP Dependable Embedded Systems Special Session Andreas Gerstinger (Thu 06 Mar 2008 - 20:12:21 GMT)
- RE: GC6 workshop, 18 March, 9am - 4.30pm, BCS Offices, London Loebl, Andy (Mon 10 Mar 2008 - 13:46:39 GMT)
- [sc] Deadline extension for DSN-WADS'08 (Architecting Dependable System Francois Taiani (Tue 11 Mar 2008 - 14:56:16 GMT)
- The Compcert Verified Compiler FORTAINE Guillaume (Fri 14 Mar 2008 - 23:59:34 GMT)
- Dynamically Reconfigurable FPGA - Do-178C FORTAINE Guillaume (Sun 16 Mar 2008 - 03:28:38 GMT)
- tr: Re: UC: RE: The Compcert verified compiler Guillaume FORTAINE (Mon 17 Mar 2008 - 20:02:34 GMT)
- Formal Verification of Memory Properties FORTAINE Guillaume (Tue 18 Mar 2008 - 19:03:49 GMT)
- ESAS 08 Inge, James (Wed 19 Mar 2008 - 18:32:19 GMT)
- System Safety 2008 - Call for Papers Deadline Extension until 31 March 2008 Tim Kelly (Mon 24 Mar 2008 - 21:41:02 GMT)
- Clash of Cultures Peter B. Ladkin (Thu 27 Mar 2008 - 06:27:38 GMT)
- unit testing CAgersbaek_at_xxxxxx (Tue 01 Apr 2008 - 13:46:05 BST)
- Previously developed software and DO-178B Kenneth Tang (Tue 01 Apr 2008 - 01:25:50 BST)
- RE: [sc] unit testing - unclassified King, Martin \(NNPPI\) (Thu 03 Apr 2008 - 08:54:49 BST)
- Achieving independence of assessment Andrew Rae (Fri 04 Apr 2008 - 03:15:11 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Fri 04 Apr 2008 - 15:58:18 BST)
- [SC] Article on BBC about Cosmic Ray events Mark Coates (Wed 09 Apr 2008 - 10:29:18 BST)
- Nigel Tracey is out of the office. nigel.tracey_at_xxxxxx (Sat 12 Apr 2008 - 16:01:45 BST)
- Failure Rate and Confidence Intervals Jones, Robert L (Mon 14 Apr 2008 - 10:46:03 BST)
- Are FPGAs software? James Moreland (Thu 17 Apr 2008 - 11:16:34 BST)
- RE: [sc] Are FPGAs software? GRAZEBROOK, Alvery N (Thu 17 Apr 2008 - 12:15:14 BST)
- Re: [sc] Are FPGAs software? Legg, David W. (Thu 17 Apr 2008 - 13:25:11 BST)
- How to solve by (re-)design Mauricio Peixoto (Thu 17 Apr 2008 - 16:54:12 BST)
- Re: [sc] How to solve by (re-)design Karim Hardy (Fri 18 Apr 2008 - 09:30:30 BST)
- Re: [sc] How to solve by (re-)design Legg, David W. (Fri 18 Apr 2008 - 12:16:30 BST)
- Re: [sc] How to solve by (re-)design Legg, David W. (Fri 18 Apr 2008 - 12:17:40 BST)
- Re: [sc] How to solve by (re-)design Karim Hardy (Fri 18 Apr 2008 - 13:17:46 BST)
- RE: [sc] How to solve by (re-)design GRAZEBROOK, Alvery N (Fri 18 Apr 2008 - 13:40:37 BST)
- RE: [sc] How to solve by (re-)design Loebl, Andy (Fri 18 Apr 2008 - 18:35:47 BST)
- RE: [sc] How to solve by (re-)design Mauricio Peixoto (Wed 23 Apr 2008 - 00:15:50 BST)
- Re: [sc] How to solve by (re-)design Nancy Leveson (Wed 23 Apr 2008 - 01:26:17 BST)
- RE: [sc] How to solve by (re-)design Loebl, Andy (Wed 23 Apr 2008 - 16:02:45 BST)
- RE: [sc] How to solve by (re-)design Mauricio Peixoto (Thu 24 Apr 2008 - 16:04:51 BST)
- RE: [sc] How to solve by (re-)design Loebl, Andy (Thu 24 Apr 2008 - 16:33:52 BST)
- RE: [sc] How to solve by (re-)design Loebl, Andy (Wed 23 Apr 2008 - 16:12:13 BST)
- RE: [sc] How to solve by (re-)design Mauricio Peixoto (Thu 24 Apr 2008 - 16:58:59 BST)
- RE: [sc] How to solve by (re-)design Loebl, Andy (Thu 24 Apr 2008 - 20:08:58 BST)
- RE: [sc] How to solve by (re-)design Mauricio Peixoto (Thu 24 Apr 2008 - 20:56:38 BST)
- RE: [sc] How to solve by (re-)design Loebl, Andy (Thu 24 Apr 2008 - 21:48:32 BST)
- RE: [sc] How to solve by (re-)design Mauricio Peixoto (Fri 25 Apr 2008 - 21:26:37 BST)
- RE: [sc] How to solve by (re-)design Loebl, Andy (Fri 18 Apr 2008 - 18:33:10 BST)
- RE: [sc] How to solve by (re-)design Mauricio Peixoto (Fri 18 Apr 2008 - 16:54:33 BST)
- RE: [sc] How to solve by (re-)design Stachour, Paul C UTCFS (Fri 18 Apr 2008 - 18:35:35 BST)
- Re: [sc] How to solve by (re-)design Loebl, Andy (Sat 26 Apr 2008 - 02:28:41 BST)
- RE: [sc] Are FPGAs software? Tony Foord (Fri 18 Apr 2008 - 13:17:58 BST)
- unsuscribe Fernando Tejada (Sat 19 Apr 2008 - 13:26:49 BST)
- Survey of Tools for Safety Critical System Luke Wildman (Mon 21 Apr 2008 - 13:13:39 BST)
- [sc] ALARP in Australia? WALTER, Dariusz (Tue 22 Apr 2008 - 14:51:27 BST)
- Essential reading for the System Safety Professional Andrew Rae (Thu 24 Apr 2008 - 08:32:04 BST)
- lynxOS Hill, Adrian E \(UK Barrow\) (Fri 25 Apr 2008 - 12:43:00 BST)
- [sc] lynxOS CAgersbaek_at_xxxxxx (Fri 25 Apr 2008 - 13:06:03 BST)
- [sc] lynxOS Jean-Louis CAMUS (Fri 25 Apr 2008 - 13:15:24 BST)
- [RMX:##] [sc] lynxOS Jens Algner (Fri 25 Apr 2008 - 13:34:39 BST)
- [sc] lynxOS dave.banham_at_xxxxxx (Fri 25 Apr 2008 - 13:36:28 BST)
- [sc] lynxOS ADodd_at_xxxxxx (Fri 25 Apr 2008 - 13:36:11 BST)
- Re: [sc] Telling the truth (was: Professionalism (was: ALARP)) Les Chambers (Mon 28 Apr 2008 - 01:37:31 BST)
- [sc] lynxOS Simon Connelly (Mon 28 Apr 2008 - 02:30:40 BST)
- [sc] lynxOS Roberto.Scimia_at_xxxxxx (Mon 28 Apr 2008 - 08:59:19 BST)
- SC Network Open Invitation Max A. Hinkley (Wed 30 Apr 2008 - 20:18:56 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Wed 30 Apr 2008 - 20:39:19 BST)
- Newsletter #1 - Welcome to ISSC '08, Vancouver, BC August 25-29 2008 Jim Ronback (Fri 02 May 2008 - 23:16:41 BST)
- ISSC'08 student bursaries for papers and posters Jim Ronback (Sat 03 May 2008 - 06:22:28 BST)
- [sc] Enquiry: what are "series inhibits"? MellorPeter_at_xxxxxx (Wed 07 May 2008 - 10:57:46 BST)
- RE: [sc] Enquiry: what are "series inhibits"? - unclassified King, Martin \(NNPPI\) (Thu 08 May 2008 - 16:21:11 BST)
- Hi,anyone.Can you tell us in Europe, which the company or the University have in-depth study on subway signal system CBTC ? xiang luo (Sat 10 May 2008 - 12:28:59 BST)
- [RMX:#] RE: [sc] Enquiry: what are "series inhibits"? Jens Algner (Tue 13 May 2008 - 10:52:31 BST)
- FMICS Call for Papers mwwhalen_at_xxxxxx (Fri 16 May 2008 - 19:19:43 BST)
- Safety critical systems publications Andrew Rae (Thu 22 May 2008 - 03:32:05 BST)
- HMI in safety application James Moreland (Thu 22 May 2008 - 16:53:47 BST)
- Exposure Time Jones, Robert L (Thu 22 May 2008 - 17:31:49 BST)
- U/C: [sc] Exposure Time Jean-Louis CAMUS (Thu 29 May 2008 - 15:33:12 BST)
- U/C: [sc] Exposure Time alan.g.king_at_xxxxxx (Thu 29 May 2008 - 15:37:09 BST)
- U/C: [sc] Exposure Time ADodd_at_xxxxxx (Thu 29 May 2008 - 15:35:53 BST)
- U/C: [sc] Exposure Time steven.d.smith_at_xxxxxx (Thu 29 May 2008 - 15:50:19 BST)
- RE: [sc] Exposure Time Jones, Robert L (Thu 29 May 2008 - 15:51:28 BST)
- U/C: [sc] Exposure Time CAgersbaek_at_xxxxxx (Thu 29 May 2008 - 16:48:12 BST)
- Mandy Jandu is out of the office. mandy.khattra_at_xxxxxx (Thu 29 May 2008 - 16:50:06 BST)
- Re: [sc] Exposure Time Loebl, Andy (Thu 29 May 2008 - 17:45:55 BST)
- U/C: [sc] Exposure Time Simon Connelly (Fri 30 May 2008 - 00:07:28 BST)
- U/C: [sc] Exposure Time Roberto.Scimia_at_xxxxxx (Fri 30 May 2008 - 09:27:45 BST)
- U/C: [sc] Exposure Time marek.sobanski_at_xxxxxx (Fri 30 May 2008 - 10:50:53 BST)
- RE: [sc] help: capacitor short circuit failure mode - unclassified King, Martin \(NNPPI\) (Wed 04 Jun 2008 - 13:29:18 BST)
- MISRA C++ published David Ward (Fri 06 Jun 2008 - 11:06:47 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Mon 09 Jun 2008 - 15:52:14 BST)
- RE: [sc] statistics v. logic Robin Cook (Fri 13 Jun 2008 - 18:26:44 BST)
- Re: [sc] statistics v. logic Loebl, Andy (Thu 26 Jun 2008 - 21:13:13 BST)
- Tony Dodd is out of the office. ADodd_at_xxxxxx (Tue 01 Jul 2008 - 20:52:04 BST)
- Have your say on: Trust, Security and Dependability – Beyond Technological Innovation at ICT 2008 Massimo Felici (Mon 14 Jul 2008 - 16:04:44 BST)
- SAFECOMP 2008 - Call for Participation - 22 – 25 September 2008 - Newcastle-upon-Tyne, UK Tim Kelly (Fri 18 Jul 2008 - 09:24:46 BST)
- certified code generators Roman.Krzemien_at_xxxxxx (Thu 24 Jul 2008 - 13:12:50 BST)
- Books, Conferences, Classes, Journals on Implementing Safety Critical Software Shreve, Erik (Fri 01 Aug 2008 - 19:28:32 BST)
- Re: [sc] Books, Conferences, Classes, Journals on Implementing Safety Critical Software Prof. Dr. Peter Bernard Ladkin (Fri 01 Aug 2008 - 20:09:42 BST)
- Two Papers on Topics of Interest Prof. Dr. Peter Bernard Ladkin (Fri 01 Aug 2008 - 20:22:46 BST)
- RE: [sc] Books, Conferences, Classes, Journals on Implementing Safety Critical Software Geiger, Mark B. CIV (Acquisition Safety) (Fri 01 Aug 2008 - 22:28:46 BST)
- RE: [sc] Books, Conferences, Classes, Journals on Implementing Safety Critical Software Devaraj Ayavoo (Mon 04 Aug 2008 - 16:12:21 BST)
- Stephen Bull has intermittent access to email until 11th August Stephen.Bull_at_xxxxxx (Fri 01 Aug 2008 - 22:27:07 BST)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Sat 02 Aug 2008 - 03:00:20 BST)
- [sc] Fault Tree K-out-of-N handling ADodd_at_xxxxxx (Tue 12 Aug 2008 - 10:32:30 BST)
- [sc] Fault Tree K-out-of-N handling CAgersbaek_at_xxxxxx (Tue 12 Aug 2008 - 10:49:07 BST)
- [sc] Fault Tree K-out-of-N handling alan.g.king_at_xxxxxx (Tue 12 Aug 2008 - 10:51:37 BST)
- RE: [sc] Risk Acceptability Criterion Mark Coates (Fri 15 Aug 2008 - 15:28:25 BST)
- [sc] Fault Tree K-out-of-N handling Simon Connelly (Sun 17 Aug 2008 - 23:16:23 BST)
- Call for Participation: 3rd Workshop on Safety of Medical Devices Tim Kelly (Wed 20 Aug 2008 - 16:54:43 BST)
- [sc] Fault Tree K-out-of-N handling Jean-Louis CAMUS (Mon 25 Aug 2008 - 15:10:03 BST)
- unsubscribe please Sandra Basnyat (Tue 26 Aug 2008 - 06:34:29 BST)
- Re: [sc] Two Papers on Topics of Interest MellorPeter_at_xxxxxx (Sun 31 Aug 2008 - 19:53:39 BST)
- [sc] Fault Tree K-out-of-N handling Jens Algner (Mon 01 Sep 2008 - 10:41:32 BST)
- Software standards James Moreland (Mon 01 Sep 2008 - 11:35:34 BST)
- Réf. : Re: [sc] Two Papers on Topics of Interest Bertrand RICQUE (Mon 01 Sep 2008 - 14:30:48 BST)
- New TCAS Developments Prof. Dr. Peter Bernard Ladkin (Tue 02 Sep 2008 - 17:38:16 BST)
- [sc] LHC Compact Muon Solenoid Experiment Webcams MellorPeter_at_xxxxxx (Fri 12 Sep 2008 - 08:58:27 BST)
- [sc] WSN and radio coms in safety application Gerard Le Lann (Fri 12 Sep 2008 - 19:41:27 BST)
- "software" vs "generic software" in EN 50128 rune winther (Thu 18 Sep 2008 - 15:14:38 BST)
- Michael W Whalen is out of the office. mwwhalen_at_xxxxxx (Thu 09 Oct 2008 - 19:28:21 BST)
- [sc] Garbage Collection for real-time safety related programs Shore, Andy (Fri 17 Oct 2008 - 17:37:13 BST)
- Article on Praxis's Tokeneer Project Peter Bernard Ladkin (Sat 18 Oct 2008 - 06:20:01 BST)
- Steven D Smith/AWA/FAA is out of the office. steven.d.smith_at_xxxxxx (Fri 24 Oct 2008 - 09:02:46 BST)
- Test mike.light_at_xxxxxx (Thu 06 Nov 2008 - 13:17:58 GMT)
- *** Formal Aspects of Safety Critical Systems, 9 December 2008, London *** Paul Boca (Thu 06 Nov 2008 - 19:14:27 GMT)
- CfP: SafeCert'09 Hardi Hungar (Fri 07 Nov 2008 - 11:19:09 GMT)
- Re-Use of exposure time assuption from risk graph in fault tree analysis Sasa Vulinovic (Fri 07 Nov 2008 - 18:46:10 GMT)
- RE: [sc] Re-Use of exposure time assuption from risk graph in fault tree analysis GRAZEBROOK, Alvery N (Mon 10 Nov 2008 - 12:15:48 GMT)
- ALARP vs SFARP tracyinoz_at_xxxxxx (Wed 12 Nov 2008 - 06:23:34 GMT)
- TCAS in the IEEE Blog Peter Bernard Ladkin (Thu 13 Nov 2008 - 09:35:40 GMT)
- [sc] PhD studentship studying safety assurance issues of human-robot interaction Chris Harper (Tue 18 Nov 2008 - 00:27:52 GMT)
- what's the means of a redundant signature control ? xiang luo (Thu 20 Nov 2008 - 08:02:03 GMT)
- [sc] Buncefield update Reynolds, Barrie (Fri 21 Nov 2008 - 15:20:32 GMT)
- Call for papers: NASA Formal Methods Symposium Ewen Denney (Fri 21 Nov 2008 - 17:22:01 GMT)
- [sc] Implementation using Deactivated code - is it safe ? Mike Elliott (Fri 21 Nov 2008 - 18:42:32 GMT)
- *** Formal Aspects of Safety Critical Systems, 9 December 2008, London *** Paul Boca (Sat 22 Nov 2008 - 20:14:17 GMT)
- FM 2009, Call for Workshop Proposals Arend Rensink (Tue 25 Nov 2008 - 16:49:52 GMT)
- CfP SafeCert09 - Submission now open Hardi Hungar (Thu 04 Dec 2008 - 07:58:57 GMT)
- RE: [sc] IEC 61508 maintenance mandy.khattra_at_xxxxxx (Mon 08 Dec 2008 - 19:48:48 GMT)
- Definition of Categorie 4 according ISO13849-1 Michael Kieviet (Thu 11 Dec 2008 - 15:09:28 GMT)
- Safety-critical Systems Symposium 2009 Chris Dale (Tue 16 Dec 2008 - 16:20:41 GMT)
- SafeCert09 - Deadline Extension Hardi Hungar (Wed 17 Dec 2008 - 07:51:41 GMT)
- UK Research Assessment Exercise Prof. Dr. Peter Bernard Ladkin (Thu 18 Dec 2008 - 09:58:29 GMT)
- summer system safety class Nancy Leveson (Fri 19 Dec 2008 - 04:06:32 GMT)
- Last message date: Fri 19 Dec 2008 - 04:06:35 GMT
- Archived on: Fri 19 Dec 2008 - 04:06:37 GMT