Safety-Critical Mailing List Archive 2006
by thread
- Competence of people working on safety-related systems David.Quastel@xxxxxx (Fri 06 Jan 2006 - 09:46:38 GMT)
- Managing competence for safety-related systems Mark.Bowell@xxxxxx (Fri 13 Jan 2006 - 15:39:08 GMT)
- Sneak circuit analysis Brian Wichmann (Sat 28 Jan 2006 - 15:39:50 GMT)
- IEC 61508, part 7 Brian Wichmann (Sat 28 Jan 2006 - 17:03:24 GMT)
- SIL 4 Validation of Railway Signalling Systems SC Mishra (Sun 29 Jan 2006 - 14:42:49 GMT)
- BBC reports "close encounter" Philippa Conmy (Mon 30 Jan 2006 - 09:24:39 GMT)
- RE: [sc] BBC reports "close encounter" Graham Jolliffe (Mon 30 Jan 2006 - 09:36:48 GMT)
- unsubscribe Thomas Bauer (Mon 30 Jan 2006 - 11:16:37 GMT)
- Southwest Airlines Accident at Chicago Midway Peter B. Ladkin (Tue 31 Jan 2006 - 08:41:30 GMT)
- 2006 System Safety for Software-Intensive Systems Class Nancy Leveson (Tue 31 Jan 2006 - 13:10:33 GMT)
- Hard Real-time/Safety Critical Java Report Glenn Coates (Tue 31 Jan 2006 - 15:24:22 GMT)
- Bieleschweig Colloquium: Kevin Anderson, Friday 17th February Peter B. Ladkin (Mon 06 Feb 2006 - 08:45:01 GMT)
- Bertrand RICQUE/DAD/SAGEM est absent(e). Bertrand RICQUE (Tue 07 Feb 2006 - 01:00:25 GMT)
- DO-178B Workshop 15/03/06 ERA Leatherhead Tim Kelly (Mon 13 Feb 2006 - 17:14:42 GMT)
- NOT-logic and failure-density Simon Schilling (Tue 14 Feb 2006 - 15:46:32 GMT)
- Backup to: NOT-logic and ailure-density Simon Schilling (Tue 14 Feb 2006 - 16:02:57 GMT)
- A380 fails wing loading test Peter B. Ladkin (Tue 21 Feb 2006 - 11:51:20 GMT)
- Andrew White/BOOTLE/HSE is out of the office. Andrew.White@xxxxxx (Tue 21 Feb 2006 - 14:01:15 GMT)
- RE: [sc] A380 fails wing loading test Mike Ellims (Tue 21 Feb 2006 - 15:12:56 GMT)
- RE: [sc] A380 fails wing loading test [SEC=UNCLASSIFIED] Squair, Matthew MR (Tue 21 Feb 2006 - 21:43:24 GMT)
- Safety of London buses driving under low bridges Pete Mellor (Tue 21 Feb 2006 - 23:43:53 GMT)
- Re: [sc] Safety of London buses driving under low bridges jindi.shao@xxxxxx (Wed 22 Feb 2006 - 00:38:43 GMT)
- Bertrand RICQUE/DAD/SAGEM est absent(e). Bertrand RICQUE (Wed 22 Feb 2006 - 01:00:28 GMT)
- More A380 wing discussion Peter B. Ladkin (Thu 23 Feb 2006 - 07:41:39 GMT)
- Formal method analysis Rich Rademacher (Thu 23 Feb 2006 - 19:54:28 GMT)
- Web Site Luedeke, Jonathan F (Thu 23 Feb 2006 - 20:01:51 GMT)
- London buses again James Moreland (Fri 24 Feb 2006 - 07:35:37 GMT)
- EngD Studentship - Human Factors in Safety Engineering Tim Kelly (Thu 02 Mar 2006 - 17:15:35 GMT)
- Michael Ainsworth/GB/WSL/Rail is out of the office. Michael.Ainsworth@xxxxxx (Fri 03 Mar 2006 - 01:00:20 GMT)
- petri Net model BARBONCINO1\@xxxxxx (Sun 05 Mar 2006 - 17:12:23 GMT)
- petri Net model BARBONCINO1\@xxxxxx (Sun 05 Mar 2006 - 17:13:19 GMT)
- petri Net model BARBONCINO1\@xxxxxx (Sun 05 Mar 2006 - 17:13:20 GMT)
- Development of Safety Critial Systems and the use of UML contact@xxxxxx (Mon 06 Mar 2006 - 09:38:12 GMT)
- RE: [sc] Development of Safety Critial Systems and the use of UML Peter Amey (Mon 06 Mar 2006 - 13:18:28 GMT)
- petri net BARBONCINO1\@xxxxxx (Tue 07 Mar 2006 - 08:14:23 GMT)
- RE: [sc] petri net Bridal Olof (Tue 07 Mar 2006 - 14:13:22 GMT)
- Re: [sc] petri net x a question for nancy BARBONCINO1\@xxxxxx (Wed 08 Mar 2006 - 14:56:54 GMT)
- Postdoc position for 2 years in Graphs for Object-Oriented Verification Arend Rensink (Fri 17 Mar 2006 - 16:09:37 GMT)
- EU unveils air safety blacklist Derek M Jones (Wed 22 Mar 2006 - 15:17:15 GMT)
- compiler and scripting language validation giovanni russo (Wed 12 Apr 2006 - 11:28:46 BST)
- (Un-) safety stories Oleg Lisagor (Fri 14 Apr 2006 - 15:47:30 BST)
- Re: [sc] (Un-) safety stories Rich Rademacher (Fri 14 Apr 2006 - 18:13:04 BST)
- [sc] Near-disaster due to vehicle automation Pete Mellor (Sat 15 Apr 2006 - 11:30:51 BST)
- NP-hard probability: was compiler and scripting language validation Paolo Teti (Tue 18 Apr 2006 - 14:15:52 BST)
- RE: [sc] Near-disaster due to vehicle automation [SEC=UNCLASSIFIED] Squair, Matthew MR (Tue 18 Apr 2006 - 23:02:23 BST)
- [sc] communication protocol for critical data BARBONCINO1\@xxxxxx (Thu 20 Apr 2006 - 16:33:22 BST)
- Fail Safe = Fail Silent? Simon Schilling (Thu 27 Apr 2006 - 13:47:22 BST)
- [SC] ASSC DO-178B Study Phase 1 Report Christopher Hall (Thu 27 Apr 2006 - 14:28:16 BST)
- RE: [sc] Fail Safe = Fail Silent? GRAZEBROOK, Alvery N (Thu 27 Apr 2006 - 15:51:29 BST)
- Re: [sc] Fail Safe = Fail Silent? Paul Gruhn (Thu 27 Apr 2006 - 22:58:45 BST)
- RE: [sc] Fail Safe = Fail Silent? [SEC=UNCLASSIFIED] Squair, Matthew MR (Fri 28 Apr 2006 - 00:26:19 BST)
- Position available as professor Rune Winther (Mon 01 May 2006 - 19:51:55 BST)
- Airbus crashes after flying into electrical storm DOCROBGAR@xxxxxx (Thu 04 May 2006 - 09:52:18 BST)
- Call for Participation for 1st IET International Conference on System Safety, 6-8 June 2006 Tim Kelly (Mon 08 May 2006 - 09:41:22 BST)
- [SC] ASSC DO-178B Report Christopher Hall (Mon 08 May 2006 - 12:28:24 BST)
- hazard analysis on ETCS system for railway BARBONCINO1\_at_xxxxxx (Wed 17 May 2006 - 08:54:27 BST)
- RE: [sc] hazard analysis on ETCS system for railway jmcloarec (???) (Wed 17 May 2006 - 10:07:24 BST)
- RE: [sc] By the way ... Mike Ellims (Wed 17 May 2006 - 13:00:50 BST)
- Competency Guidelines for Safety-Related System Practitioners Mike Ellims (Wed 17 May 2006 - 13:34:54 BST)
- Re:[sc] By the way ... BARBONCINO1\_at_xxxxxx (Wed 17 May 2006 - 15:13:16 BST)
- MIL-STD-882E Fry, Timothy (Thu 18 May 2006 - 00:15:54 BST)
- Roger Nevell/BOOTLE/HSE is out of the office. Roger.Nevell_at_xxxxxx (Thu 18 May 2006 - 14:03:09 BST)
- ARM processors and development tools - unclassified King, Martin \(NNPPI\) (Tue 23 May 2006 - 08:50:44 BST)
- A380 Wing Peter B. Ladkin (Tue 23 May 2006 - 12:50:23 BST)
- Call for Papers - ICCBSS 2007 L.Beus-Dukic_at_xxxxxx (Thu 25 May 2006 - 08:32:53 BST)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Thu 25 May 2006 - 09:02:04 BST)
- Two NATS EngD Studentships Available Tim Kelly (Thu 25 May 2006 - 12:39:25 BST)
- Being r1ch and healthy, much b3tter than pOOr and sick. Yolanda (Mon 29 May 2006 - 02:10:10 BST)
- People are different; we care for all of them Hilary (Mon 29 May 2006 - 12:48:38 BST)
- End m0nth acti0n, certified pills directly fr0m manufacture. Billy (Fri 02 Jun 2006 - 00:33:28 BST)
- Herbert Manser/LIESTAL/AI/ABBOTT is out of the office. Herbert Manser (Wed 14 Jun 2006 - 15:01:48 BST)
- Space Shuttle Launch Fry, Timothy (Mon 19 Jun 2006 - 08:16:08 BST)
- FW: ISA Seminar - London - December 06 - call for papers Robin Cook (Mon 19 Jun 2006 - 09:50:37 BST)
- Call For Fast Abstracts: EDDC-06 (European Dependable Computing Conference) Francois Taiani (Mon 19 Jun 2006 - 13:45:18 BST)
- On stuck throttles Mike Ellims (Mon 19 Jun 2006 - 13:49:15 BST)
- Bird strike modelling Savrina Carrizo (Fri 30 Jun 2006 - 03:19:50 BST)
- [sc] Any examples of the use of safety management system as a defence in court OLIVER Mervyn (Wed 05 Jul 2006 - 10:49:52 BST)
- Applicability of EN61508 to Communication Networks Chris Mockford (Tue 11 Jul 2006 - 15:13:35 BST)
- Re: [sc] Applicability of EN61508 to Communication Networks Mark.Bowell_at_xxxxxx (Tue 11 Jul 2006 - 16:05:29 BST)
- RE: [sc] Applicability of EN61508 to Communication Networks GRAZEBROOK, Alvery N (Tue 11 Jul 2006 - 16:15:09 BST)
- Martin Paget is out of the office martin.paget_at_xxxxxx (Wed 12 Jul 2006 - 18:54:24 BST)
- Re:[sc] Applicability of EN61508 to Communication Networks BARBONCINO1\_at_xxxxxx (Thu 13 Jul 2006 - 13:33:25 BST)
- Random hardware failures and systematic faults: relationships? Simon Schilling (Fri 21 Jul 2006 - 16:55:10 BST)
- Martin Faurschou Jensen/Nor/Sauer is out of the office. Martin Faurschou Jensen (Fri 21 Jul 2006 - 17:44:19 BST)
- RE: [sc] Random hardware failures and systematic faults: relationships? Robin Cook (Fri 21 Jul 2006 - 17:42:51 BST)
- The 15th IET Professional Development Course on Safety Critical Systems Tim Kelly (Sun 23 Jul 2006 - 18:30:27 BST)
- Andrew White/BOOTLE/HSE is out of the office. Andrew.White_at_xxxxxx (Mon 24 Jul 2006 - 10:00:26 BST)
- DO-178B and Firmware Benito, Robert P [AMSRD-AAR-AEF-S] (Tue 25 Jul 2006 - 22:54:27 BST)
- RE: [sc] DO-178B and Firmware Pygott Clive (Wed 26 Jul 2006 - 09:37:40 BST)
- RE: [sc] DO-178B and Firmware - unclassified King, Martin \(NNPPI\) (Thu 27 Jul 2006 - 08:58:01 BST)
- Formal specification and FMEA Philippe Ayrault (Fri 04 Aug 2006 - 14:51:35 BST)
- Air France Toronto Peter B. Ladkin (Wed 09 Aug 2006 - 11:10:15 BST)
- Re: [sc] About Safety Redundant Architectures Peter B. Ladkin (Wed 06 Sep 2006 - 11:23:48 BST)
- Mandy Jandu is out of the office. Mandy.Jandu_at_xxxxxx (Wed 06 Sep 2006 - 11:49:09 BST)
- Mobile 'phones @ petrol stations Felix Redmill (Sun 10 Sep 2006 - 12:27:39 BST)
- Re: [sc] Any examples of the use of safety management system as a defence in court John O'Meara (Tue 12 Sep 2006 - 11:23:39 BST)
- Sarabjit Purewal/BOOTLE/HSE is out of the office. Sarabjit.Purewal_at_xxxxxx (Tue 12 Sep 2006 - 14:00:54 BST)
- The effect of the UK HSW Act 1974 Peter B. Ladkin (Wed 13 Sep 2006 - 06:55:14 BST)
- Resilient and Available Yudistira Dwi Wardhana Asnar (Wed 13 Sep 2006 - 10:40:26 BST)
- how to reply to a msg John O'Meara (Wed 13 Sep 2006 - 10:56:46 BST)
- Using SPARK for Flight Control of Small Unmanned Aerial Vehicles MCLELLAN Alexander (Wed 13 Sep 2006 - 11:07:35 BST)
- [sc] Using SPARK for Flight Control of Small Unmanned Aerial Vehicles steven.d.smith_at_xxxxxx (Wed 13 Sep 2006 - 12:37:05 BST)
- RE: [sc] how to reply to a msg Biddulph, David \(UK\) (Wed 13 Sep 2006 - 16:01:54 BST)
- Sarabjit Purewal/BOOTLE/HSE is out of the office. Sarabjit.Purewal_at_xxxxxx (Wed 13 Sep 2006 - 18:01:42 BST)
- [sc] Using SPARK for Flight Control of Small Unmanned Aerial Vehicles Herbert Manser (Thu 14 Sep 2006 - 06:09:59 BST)
- "Certified" Code Generator Peter B. Ladkin (Thu 14 Sep 2006 - 12:17:13 BST)
- Réf. : [sc] "Certified" Code Generator Bertrand RICQUE (Thu 14 Sep 2006 - 13:02:26 BST)
- [sc] Alarm signal for maintainers Aleksey Musin (Fri 15 Sep 2006 - 09:15:21 BST)
- Réf. : Re: "Certified" Code Generator Bertrand RICQUE (Fri 15 Sep 2006 - 11:06:58 BST)
- Knowledge on how to build safety critical systems Mauricio Peixoto (Sat 16 Sep 2006 - 17:53:09 BST)
- RE: [sc] "Certified" Code Generator Peter Amey (Mon 18 Sep 2006 - 08:26:56 BST)
- [sc] Using SPARK for Flight Control of Small Unmanned Aerial Vehicles jbrzobohaty_at_xxxxxx (Tue 19 Sep 2006 - 10:59:39 BST)
- "N of M criteria" giovanni russo (Wed 20 Sep 2006 - 13:58:29 BST)
- Re. "Certified" Code Generator Peter B. Ladkin (Fri 22 Sep 2006 - 07:12:52 BST)
- Réf. : [sc] Re. "Certified" Code Generator Bertrand RICQUE (Fri 22 Sep 2006 - 08:55:45 BST)
- Réf. : Re: [sc] Re. "Certified" Code Generator Bertrand RICQUE (Fri 22 Sep 2006 - 09:20:18 BST)
- RE: "Certified" Code Generator - unclassified King, Martin \(NNPPI\) (Fri 22 Sep 2006 - 09:22:02 BST)
- Réf. : Re: [sc] Re. "Certified" Code Generator Bertrand RICQUE (Fri 22 Sep 2006 - 09:34:39 BST)
- RE: [sc] "Certified" Code Generator Palin, Stuart \(UK\) (Fri 22 Sep 2006 - 09:59:06 BST)
- unsubscribe Eric Shufro (Fri 22 Sep 2006 - 14:32:20 BST)
- Maglev Crash Peter B. Ladkin (Sat 23 Sep 2006 - 08:06:58 BST)
- Herbert Manser/LIESTAL/AI/ABBOTT is out of the office. Herbert Manser (Mon 25 Sep 2006 - 13:32:26 BST)
- RE: Maglev Crash [SEC=UNCLAS] Squair, Matthew LEUT (Fri 29 Sep 2006 - 03:15:31 BST)
- RE: [sc] Mobile 'phones @ petrol stations Mike Ellims (Thu 05 Oct 2006 - 15:57:29 BST)
- Does SIL4 application exist? wanglei_at_xxxxxx (Sun 08 Oct 2006 - 11:54:54 BST)
- RE: [sc] Risk and safety (extended from Maglev crash) - unclassified King, Martin \(NNPPI\) (Mon 09 Oct 2006 - 08:38:40 BST)
- Re: [sc] Does SIL4 application exist? Gary.McGuire_at_xxxxxx (Mon 09 Oct 2006 - 08:57:04 BST)
- RE: [sc] Does SIL4 application exist? Robin Cook (Mon 09 Oct 2006 - 09:43:43 BST)
- FW: PPIG Work-in-Progress Meeting: Call for Papers Chris Johnson (Mon 09 Oct 2006 - 13:01:34 BST)
- RE: [sc] Does SIL4 application exist? - unclassified King, Martin \(NNPPI\) (Tue 10 Oct 2006 - 10:32:24 BST)
- Réf. : RE: Re: [sc] Does SIL4 application exist? Bertrand RICQUE (Tue 10 Oct 2006 - 21:51:09 BST)
- [Fwd: notsp: A380 delivery delays attributed partly to design SW problems] Peter B. Ladkin (Wed 11 Oct 2006 - 08:33:02 BST)
- Most expensive SW problem Peter B. Ladkin (Wed 11 Oct 2006 - 09:42:08 BST)
- How to build safe systems (was: Does SIL4 application exist?) GRAZEBROOK, Alvery N (Fri 13 Oct 2006 - 14:08:55 BST)
- Radiotherapy accidents in France Thomas Netter (Fri 13 Oct 2006 - 14:38:29 BST)
- Call for Participation: HLDVT06 - Workshop on High Level Design, Validation, and Test Susanne Graf (Tue 17 Oct 2006 - 19:46:33 BST)
- Diverse Software development: Yes or No ? Kuper (Tue 17 Oct 2006 - 23:25:21 BST)
- Collision in France Aleksey Musin (Wed 18 Oct 2006 - 07:48:51 BST)
- Re: [sc] Diverse Software development: Yes or No ? Data about 1 project Paul.Stachour_at_xxxxxx (Wed 18 Oct 2006 - 15:16:19 BST)
- Nigel Tracey/NRTA is out of the office. nigel.tracey_at_xxxxxx (Fri 20 Oct 2006 - 10:01:52 BST)
- RE: [sc] Mobile 'phones @ petrol stations (unclassified mail) TES-ASEG-Safety, James Inge (Thu 19 Oct 2006 - 13:52:19 BST)
- C# for SIL? Shore, Andy (Mon 23 Oct 2006 - 14:36:29 BST)
- Réf. : RE: [sc] Reliability and Safety Bertrand RICQUE (Mon 23 Oct 2006 - 16:18:28 BST)
- RE: Language requirements GRAZEBROOK, Alvery N (Wed 25 Oct 2006 - 11:38:50 BST)
- Re: [sc] Radiotherapy accidents in Scotland (was: France) MellorPeter_at_xxxxxx (Fri 27 Oct 2006 - 04:09:48 BST)
- The value of life Martyn Thomas (Mon 30 Oct 2006 - 10:55:41 GMT)
- [sc] The value of life Roberto.Scimia_at_xxxxxx (Mon 30 Oct 2006 - 11:17:58 GMT)
- Reliability Predictions and Prior Estimates of Defect Density David W. Legg (Mon 30 Oct 2006 - 20:54:20 GMT)
- Sarabjit Purewal/BOOTLE/HSE is out of the office. Sarabjit.Purewal_at_xxxxxx (Mon 06 Nov 2006 - 10:02:34 GMT)
- Jean-Louis CAMUS/ESTEREL is out of the office. Jean-Louis CAMUS (Sun 26 Nov 2006 - 15:00:35 GMT)
- Re: [sc] Reliability Predictions and Prior Estimates of Defect Density MellorPeter_at_xxxxxx (Sun 26 Nov 2006 - 17:04:50 GMT)
- SAFECOMP 2007 Francesca Saglietti (Wed 29 Nov 2006 - 17:43:37 GMT)
- Do you have an Example / Sample / Template for Safety Manual that you can share? Paul.Stachour_at_xxxxxx (Fri 01 Dec 2006 - 17:29:21 GMT)
- Safety in Conflict/Wartime WHITE Tracy (Tue 19 Dec 2006 - 01:12:41 GMT)
- Jens Wolff is out of the office. Jens Wolff (Tue 19 Dec 2006 - 03:01:14 GMT)
- Last message date: Wed 20 Dec 2006 - 07:26:38 GMT
- Archived on: Wed 20 Dec 2006 - 07:26:40 GMT