Safety-Critical Mailing List Archive 1996
By Author

• Andy Ashworth
  • Re: Safety Models in Highly Regulated Industries Tue, 7 May 1996 11:42:13 BST
• Andy Dearden
  • RE: FDA and Offshore standards Fri, 4 Oct 1996 15:57:19 +0000
• Bernard Kiyanda
  • Question following reading Ariane 5 report Wed, 14 Aug 1996 09:12:18 -0400
• Bill Hefley
  • Re: Bits that go bump in the night -Reply Wed, 03 Jan 1996 10:08:53 EST
• Bing Yu
  • Re: Software Modelling Wed, 4 Dec 1996 13:26:29 -0500
• bob(at)minster
  • 2nd CFP - SAFECOMP'97 Fri, 13 Dec 1996 12:35:45 +0000
  • Research vacancy: York, UK Wed, 06 Nov 1996 17:54:23 +0000
  • SafeComp'97 Call for Papers Mon, 21 Oct 1996 19:44:53 +0100
• Bret Michael
  • Re: Software Modelling Tue, 03 Dec 1996 13:50:31 -0800
• Brian A Wichmann
  • Foresight report Mon, 7 Oct 1996 11:00:48 BST
  • Re: FDA and Offshore standards Mon, 7 Oct 1996 10:01:00 BST
  • Re: text on developing safe systems in Ada Mon, 9 Sep 1996 14:29:28 BST
  • Re: text on developing safe systems in Ada Mon, 9 Sep 1996 14:29:28 BST
  • Book to recommend Tue, 16 Jul 1996 09:32:05 BST
  • Book to recommend Tue, 16 Jul 1996 09:32:05 BST
  • Re: Bits that go bump in the night Tue, 2 Jan 1996 08:59:46 GMT
• by way of strigini(at)csr.city.ac.uk
  • Re: SAFECOMP 96 announcement Mon, 15 Jan 1996 18:38:34 +0000
• Charles M. Waite
  • Alms for a Frustrated English Major Wed, 20 Mar 1996 07:11:27 -0500
• Charles Waite
  • (no subject) Wed, 4 Dec 1996 16:33:18 -0500
  • Re: FDA and Offshore standards Sun, 6 Oct 1996 17:47:31 -0400
  • Re: FDA and Offshore standards Fri, 4 Oct 1996 16:47:57 -0400
  • Re: FDA and Offshore standards Wed, 25 Sep 1996 10:46:35 -0400
  • Re: FDA and Offshore standards Tue, 24 Sep 1996 22:14:01 -0400
  • Risk Analysis Fri, 31 May 1996 09:04:57 -0400
• Chuck Howell
  • Re: MIL STD 882C Thu, 22 Aug 1996 10:37:39 -0400
• Colin Chambers
  • Industria software survey Tue, 6 Aug 1996 08:54:55 +0100
• Cooper Phil
  • Re: Ariane 501 Mon, 29 Jul 1996 17:01:00 PDT
  • Software Capability Evaluation Wed, 03 Jan 1996 15:56:00 PST
  • What makes a good product Wed, 03 Jan 1996 18:32:00 PST
  • Re: Bits that go bump in the night Wed, 03 Jan 1996 09:33:00 PST
• CWaite(at)pseg.com
  • Re: Bits that go bump in the night Wed, 3 Jan 1996 10:09:06 EST
• D.J.Holding
  • Colloquium on 'Hybrid Control for Real-Time Systems' Fri, 13 Sep 1996 11:35:36 +0000
• Dennis Lawrence
  • Commercial Geology Packages Thu, 5 Dec 1996 07:58:47 -0800
• Dennis Lawrence
  • Call for Papers-1997 Conf on Soft Eng Standards Fri, 2 Aug 1996 10:24 PST
• Dick Bolt
  • RePost"Safety Models in Highly Regulated Industries" Thu, 9 May 1996 15:24:12 -0400
• edmiston(at)PICA.ARMY.MIL
  • Ariane 501 Mon, 5 Aug 1996 11:04:44 -0400
• Evans, Sarah
  • Colloquium on "COTS and Safety Critical Systems" Tue, 13 Aug 1996 09:15:00 PDT
  • Colloquium on COTS and Safety Critical Systems Mon, 12 Aug 1996 16:19:00 PDT
• Freed David
  • Re: Software Modelling Wed, 4 Dec 1996 10:46:00 -0000
• issre96(at)research.att.com
  • ISSRE'96 Registration Reminder Thu, 19 Sep 1996 18:20 +0400
• J. E. Borggren
  • MIL STD 882C Thu, 22 Aug 1996 12:52:09 GMT
  • Safety Analysis Techniques for Software Mon, 5 Feb 1996 09:52:35 GMT
• James Stewart
  • Re: Software Modelling -Reply Wed, 04 Dec 1996 09:00:43 -0500
  • Re: FDA and Offshore standards -Reply Wed, 25 Sep 1996 10:20:13 -0400
  • Colloquium on COTS and Safety Critical Systems -Reply Thu, 15 Aug 1996 08:00:01 -0400
  • Re: Ariane 501 -Reply Wed, 31 Jul 1996 14:08:30 -0400
  • Re: Bits that go bump in the night -Reply Wed, 03 Jan 1996 09:13:51 -0500
• Janusz Zalewski
  • ESA_Standards Thu, 1 Aug 1996 12:47:08 EDT
• jdixon(at)greatwall.cctt.com
  • Re: MIL STD 882C Thu, 22 Aug 1996 16:16:56 -0500
• Jeff Voas
  • old FTCS proceedings. Wed, 18 Sep 1996 15:25:44 EDT
  • Call for Papers for COMPASS'97 Sat, 27 Jul 1996 10:13:52 EDT
  • technical report Tue, 25 Jun 1996 14:59:56 EDT
  • RST Reliability HotList Wed, 28 Feb 1996 13:52:59 EST
• Jeffrey M. Voas
  • COMPASS 97 Call for Papers Thu, 17 Oct 1996 06:13:02 EDT
• jk
  • Re: (Fwd) Re: FDA and Offshore standards Mon, 07 Oct 1996 11:04:18 +0000 (GMT)
• johnson(at)dcs.gla.ac.uk
  • Human Error and Systems Development (cfp) Mon, 2 Dec 1996 09:15:08 GMT
• Jon Jacky
  • Re: Software Modelling Wed, 4 Dec 1996 08:34:10 -0800
• Jonathan Moffett
  • New version of the Dependability References Database Tue, 27 Aug 1996 11:11:34 GMT
  • Re: MIL STD 882C Thu, 22 Aug 1996 14:36:41 +0100
  • ESA Software Standards Mon, 05 Aug 1996 15:51:22 +0100
  • Re: ARIANE 5 Flight 501 Failure Report Mon, 05 Aug 1996 10:11:15 +0100
  • ARIANE 5 Flight 501 Failure Report (continued) Fri, 26 Jul 1996 17:18:20 GMT
  • ARIANE 5 Flight 501 Failure Report (2nd try - 2) Fri, 26 Jul 1996 14:31:56 GMT
  • ARIANE 5 Flight 501 Failure Report (2nd try - 1) Fri, 26 Jul 1996 14:31:51 GMT
  • Ariane 501 Wed, 24 Jul 1996 09:00:59 GMT
  • Modular MSc in Safety Critical Systems Engineering Mon, 15 Apr 1996 17:21:02 GMT
  • Dependability References Database Tue, 12 Mar 1996 09:39:51 GMT
  • New version of the Dependability References Database Mon, 4 Mar 1996 20:46:38 GMT
• Ken Garlington
  • MoD DEF-STD 00-55 and 00-56 Wed, 27 Nov 1996 14:12:30 +0000
• kiyanda(at)cae.ca
  • Question following reading Ariane 5 report Wed, 14 Aug 1996 09:12:18 -0400
• ladkin(at)TechFak.Uni-Bielefeld.DE
  • Re: NAERG96 Tue, 28 May 1996 10:59:23 +0200
  • Re: NAERG96 Tue, 28 May 1996 10:59:23 +0200
• Lin Zucconi
  • text on developing safe systems in Ada Mon, 9 Sep 1996 11:59:53 +1000
• Lorenzo Strigini
  • Re: Software Modelling, multiple maths packages and N-version software Wed, 4 Dec 1996 17:47:16 +0000
• Mario R. Barbacci
  • Information Survivability Workshop Sun, 01 Dec 1996 17:51:42 -0500
• Marvin V. Zelkowitz
  • WITAT 96 Thu, 11 Jul 1996 17:05:28 -0400 (EDT)
• Matz Kindahl
  • FTRTFT '96 - Call for Demos Fri, 31 May 1996 16:29:06 +0200
• Meine van der Meulen
  • fault tolerant asynchronous logic Mon, 03 Jun 1996 13:55:36 +0100
• Mike Falla
  • Safety Critical Systems Programme - UK Interest Only Wed, 18 Dec 1996 13:37:49 GMT
• Mike Holcombe
  • Chair advert - University of Sheffield Tue, 12 Mar 1996 12:41:38 GMT
• N Storey
  • A New Book Fri, 12 Jul 1996 15:31:42 +0100 (BST)
  • A New Book Fri, 12 Jul 1996 15:31:42 +0100 (BST)
• Nancy Leveson
  • by the way Wed, 04 Dec 1996 07:24:39 PST
  • Re: Software Modelling Tue, 03 Dec 1996 14:30:15 PST
  • Re: FDA and Offshore standards Sun, 06 Oct 1996 09:50:01 PDT
  • Re: FDA and Offshore standards Fri, 04 Oct 1996 07:35:22 PDT
  • Re: FDA and Offshore standards Fri, 04 Oct 1996 06:27:19 PDT
  • Re: FDA and Offshore standards Wed, 25 Sep 1996 16:54:17 PDT
  • Re: FDA and Offshore standards Wed, 25 Sep 1996 05:28:06 PDT
  • Re: Ariane 501 Mon, 29 Jul 1996 09:31:54 PDT
  • Re: Ariane 501 Mon, 29 Jul 1996 08:07:40 PDT
  • Re: Ariane 501 Mon, 29 Jul 1996 07:59:07 PDT
  • Re: ARIANE 5 Flight 501 Failure Report Fri, 26 Jul 1996 07:02:12 PDT
  • Re: ARIANE 5 Flight 501 Failure Report Fri, 26 Jul 1996 06:01:21 PDT
  • Re: Risk Analysis Fri, 31 May 1996 06:28:20 PDT
  • new paper Wed, 29 May 1996 18:42:02 PDT
  • Re: An Example Thu, 23 May 1996 04:12:40 PDT
  • software safety class Tue, 06 Feb 1996 03:56:58 PST
  • Re: Safety Analysis Techniques for Software Thu, 25 Jan 1996 05:45:25 PST
• Nik Kanuritch
  • Re: Software Modelling Wed, 4 Dec 1996 16:50:00 BST
  • FDA and Offshore standards Tue, 24 Sep 1996 11:23:30 BST
• NSC
  • NATIONAL SAFETY CODE Sun, 16 Jun 1996 14:06:28 -0700
• Paul J. Bruemmer
  • important information Wed, 10 Jan 1996 20:15:45 0800
• Pete Fenelon
  • Re: Software Modelling Wed, 04 Dec 1996 10:51:52 +0000
• Pete Mellor
  • Re: ARIANE 5 Flight 501 Failure Report (continued) Thu, 22 Aug 1996 16:02:55 BST
  • Re: ARIANE 5 Flight 501 Failure Report (continued) Thu, 22 Aug 1996 15:16:33 BST
  • Re: Ariane failure Article Tue, 18 Jun 1996 16:07:33 BST
• Peter Bishop
  • Re: Software Modelling Wed, 4 Dec 1996 09:52:55 +0000
• Peter Ladkin
  • Re: FDA and Offshore standards Mon, 7 Oct 1996 11:03:17 +0200
  • Re: FDA and Offshore standards Sun, 6 Oct 1996 16:26:30 +0200
  • Re: FDA and Offshore standards Sun, 6 Oct 1996 15:56:42 +0200
• PWH Chung
  • Catalogue of Safety-related Systems Methods Mon, 29 Jan 1996 11:24:26 GMT
• Richard Bolt
  • ARIANE 5 Flight 501 Failure Report (continued) Wed, 21 Aug 1996 14:35:24 -0400
• Robert Hale
  • Software Modelling Fri, 13 Dec 1996 10:19:09 +0000
  • Software Modelling Tue, 3 Dec 1996 18:16:01 +0000
  • Re: Risk Analysis Mon, 02 Jun 1996 19:14:41 EDT
• Ross H. Becker
  • RE: FDA and Offshore standards Fri, 4 Oct 1996 10:23:31 -0400
• Safety Critical Systems / SM836
  • Re: Introduction Tue, 30 Jan 1996 10:46:32 GMT
  • Re:[2] Safety Analysis Techniques for Software Sun, 28 Jan 1996 23:23:41 GMT
• Steve Easterbrook
  • Re: Ariane 501 Tue, 6 Aug 1996 08:15:53 -0400
• TestDepth(at)aol.com
  • NAERG96 Sun, 26 May 1996 22:00:12 -0400
• Tim Kelly
  • Ariane failure Article Tue, 18 Jun 1996 18:09:38 +1000 (EST)
• Tom Anderson
  • COTS again Fri, 13 Dec 1996 20:52:32 +0000
  • Re: Software Modelling Tue, 10 Dec 1996 09:29:59 +0000
  • Re: Ariane 501 Mon, 29 Jul 1996 19:07:55 +0100
  • Re: Ariane 501 Mon, 29 Jul 1996 16:46:41 +0100
  • Ariane 501 Mon, 29 Jul 1996 14:44:35 +0100
• Torok, Ray(at)NPD Mail
  • Re: Ariane 501 Wed, 31 Jul 1996 08:50:08 PDT
• Victoria Stavridou
  • CFP - Computer Related Standards and Safety Mon, 11 Nov 1996 11:59:49 GMT
  • Safety standards workshop at ISESS 97 Mon, 16 Sep 1996 11:18:56 +0100 (BST)
  • Lectureship at QMW Thu, 5 Sep 1996 15:31:19 +0100 (BST)
  • Re: FW: Ariane 501 Thu, 1 Aug 1996 09:48:08 +0100 (BST)
  • Re: Ariane 501 Mon, 29 Jul 1996 15:28:29 +0100 (BST)
• Vince L. Reed
  • 11th ACSAC Advanced Program Sat, 30 Mar 1996 04:35:01 -0600
• Viv Hamilton
  • vacancy Fri, 15 Mar 1996 09:52:32 +0000 (GMT)
• Viv Hamilton +44 1245 2215
  • Re: Ariane 501 (Tom's response) Mon, 29 Jul 1996 19:04:12 +0000 (GMT)
• Viv Hamilton +44 1245 2233
  • Re: (Fwd) Re: FDA and Offshore standards Mon, 07 Oct 1996 15:06:56 +0000 (GMT)
• Viv Hamilton +44 1245 242233
  • Re: Software Modelling and HIRT report Wed, 04 Dec 1996 19:25:16 +0000 (GMT)
  • Re: Software Modelling Wed, 04 Dec 1996 19:17:55 +0000 (GMT)
• Wang Ji
  • case studies of safety critical systems Tue, 14 May 1996 09:20:08 +0800
• William Petrick
  • Cookbook Software Thu, 1 Aug 1996 15:45:48 -0700
  • My Example / A Solution Mon, 10 Jun 1996 17:24:07 -0700
  • An Example Sat, 18 May 1996 15:27:14 -0700
  • Repost of "Safety Models" Mon, 13 May 1996 08:30:45 -0700

This archive was generated by hypermail 2.0b3 on Tue 21 Aug 2001 - 14:53:39 BST