Safety-Critical Mailing List Archive 1997
By Subject

• "Are we making any progress toward computer assurance?"
  • Jeffrey M. Voas Fri, 2 May 1997 08:11:59 -0400 (EDT)
• "CALL" Lessons Learned-New Webb Page
  • Richard Bolt Thu, 6 Feb 1997 11:09:03 -0500 (EST)
• (ugradert) Operation system SW for safety critical applicat
  • Peter Bishop Tue, 4 Feb 1997 18:47:04 +0000
• A little aircraft maintenance humor...
  • William Buchanan Wed, 07 May 1997 14:33:35 -0400
• Adelard Seminar, 9 July 1997, Manchester
  • Peter Bishop Mon, 23 Jun 1997 13:23:44 +0000
• Airplain crash in Warschow
  • Peter Ladkin Mon, 14 Apr 1997 18:35:52 +0200
  • Jonathan Moffett Mon, 14 Apr 1997 16:38:29 +0100
  • Marc.Wilikens(at)jrc.it Mon, 14 Apr 1997 14:11:46 +0100
  • Frank Lattemann Mon, 14 Apr 1997 14:40:21 +0200
• An invitation for Research Collaboration
  • Vijay Vaishnavi Sun, 23 Feb 1997 19:26:22 -0500 (EST)
• Australian SCS Workshop
  • Peter Lindsay Tue, 12 Aug 1997 11:22:00 +1000 (EST)
• Automation Congress with Safety aspects
  • Joao Batista Fri, 12 Dec 1997 12:27:56 -0300
• Call for papers
  • sevans(at)iee.org.uk Mon, 9 Jun 1997 11:29:05 +0000
• Certification of Critical Systems
  • Joao Batista Wed, 22 Oct 1997 14:05:43 -0200 ()
• Certification of Critical Systems -Reply
  • James Stewart Fri, 24 Oct 1997 10:43:14 -0400
• Common Cause Failure
  • Jon Davies Wed, 12 Mar 1997 08:16:35 -0000
  • Jon Davies Tue, 11 Mar 1997 09:47:44 -0000
• Common Cause Failure -Reply
  • James Stewart Fri, 14 Mar 1997 14:03:52 -0500
  • James Stewart Fri, 14 Mar 1997 13:32:38 -0500
• COMPASS
  • Jeffrey M. Voas Mon, 10 Nov 1997 16:10:33 -0500 (EST)
  • Jeffrey M. Voas Mon, 10 Nov 1997 16:10:33 -0500 (EST)
• Congress related with Safety
  • Brian Wichmann Fri, 19 Dec 1997 09:37:54 GMT
• Data Flow Testing
  • Mark T Miller Thu, 21 Aug 1997 13:13:01 -0500
  • Brian Wichmann Thu, 21 Aug 1997 15:38:07 BST
• Defence Standard 00-56 Issue 2
  • by way of Jonathan Moffett Tue, 07 Jan 1997 13:10:33 +0000
  • Robin Bloomfield Tue, 7 Jan 1997 12:28:06 +1.00
  • Victoria Stavridou Tue, 07 Jan 1997 12:17:12 +0000
  • Brian Jepson Tue, 07 Jan 1997 10:42:53 +0000 (GMT)
• Definitions of fault error and failure
  • Arend van Ingen Wed, 15 Jan 1997 17:06:15 +0000
• Eighth International Symposium on Software Reliability
  • Rick Sun, 28 Sep 1997 13:52:36 -0600
• Electronic support for standards and safety documentation
  • Luke Emmet Mon, 27 Oct 1997 18:11:09 +0000
• EWICS Safety and Security Symposium
  • Robin Bloomfield Thu, 23 Oct 1997 16:14:15 +1.00
• Failure Taxonomy
  • Peter Bishop Tue, 14 Jan 1997 12:29:21 +0000
  • Pete Mellor Mon, 13 Jan 1997 13:45:32 GMT
  • Peter Ladkin Mon, 13 Jan 1997 14:20:12 +0100
  • Peter Ladkin Mon, 13 Jan 1997 13:02:18 +0100
  • Andy Dearden Mon, 13 Jan 1997 10:34:17 +0000
  • Jon Davies Sat, 11 Jan 1997 10:55:36 -0000
  • Peter Bishop Thu, 9 Jan 1997 09:30:10 +0000
  • Nancy Leveson Fri, 10 Jan 1997 21:09:35 PST
  • Peter Ladkin Thu, 9 Jan 1997 17:20:13 +0100
  • David Crocombe Thu, 9 Jan 1997 12:42:14 +1100
  • Peter Ladkin Wed, 8 Jan 1997 17:37:48 +0100
  • Jerry R Brookshire Mon, 6 Jan 1997 13:49:21 -0500
  • Lon D. Gowen, Ph.D. Mon, 06 Jan 1997 15:04:50 -0600
  • Jon Davies Mon, 6 Jan 1997 17:57:02 -0000
• Failure Taxonomy (Discussion of Terms)
  • Peter Ladkin Mon, 3 Mar 1997 16:55:14 +0100
  • Andy Dearden Thu, 16 Jan 1997 11:21:05 +0000
  • Jon Davies Thu, 16 Jan 1997 08:48:21 -0000
  • Peter Ladkin Wed, 15 Jan 1997 21:01:54 +0100
  • J. E. Borggren Wed, 15 Jan 1997 11:14:39 GMT
• Failure Taxonomy -Reply
  • Nancy Leveson Tue, 07 Jan 1997 12:50:57 PST
  • James Stewart Tue, 07 Jan 1997 15:25:30 -0500
  • Jon Davies Wed, 8 Jan 1997 13:53:27 -0000
• Failure Taxonomy -Reply -Reply
  • James Stewart Wed, 08 Jan 1997 09:15:22 -0500
• Formal methods
  • sevans(at)iee.org.uk Fri, 16 May 1997 15:23:08 +0000
• Fuzzy Logic in Safety Systems
  • Joao Batista Fri, 8 Aug 1997 11:06:17 -0200 ()
• Hazard Study Courses, Sept 97
  • HEBBRON BARRY D Wed, 11 Jun 1997 16:19:19 GMT0BST
• hise-safety-critical: new book advertisement
  • Jonathan Moffett Thu, 04 Dec 1997 08:54:40 +0000
• Human Error and Systems Development (reminder)
  • johnson(at)dcs.gla.ac.uk Tue, 14 Jan 1997 17:22:18 GMT
• ICOHIS97 - ABSTRACTS SUBMISSION
  • Sudjoko Kuswadji Thu, 08 May 1997 08:05:25 -0500
• IEC 1508
  • Jon Hind Wed, 15 Jan 1997 10:21:26 GMT
• IEC1508 Interpretation
  • WOODS, JORGE Tue, 10 Jun 1997 13:04:57 +1000
• IEEE Formal Methods Planning Group
  • Paul Joannou Mon, 7 Apr 1997 23:09:33 -0400
• INTERNATIONAL SAFETY ALRET
  • ASF Tue, 04 Feb 1997 16:27:47 -0800
• ISESS97 Safety Conformity Assessment for PES Workshop - Call for Participation
  • John Harauz Mon, 13 Jan 1997 08:54:50 -0500
• ISSRE'97 / Metrics'97 Reminder
  • Arun-Kumar Tripathi Tue, 17 Jun 1997 16:31:20 +0200 (MET DST)
• KBS Validation, Verification and Certification
  • Mark_Bowell(at)hsl.gov.uk Mon, 11 Aug 1997 11:31:51 GMT
  • Mark T Miller Fri, 8 Aug 1997 08:22:28 -0500
  • Peter B. Ladkin Fri, 08 Aug 1997 15:02:00 +0200
  • Andy Dearden Fri, 8 Aug 1997 13:30:17 +0000
  • richard.scaife(at)aeroint.com Fri, 08 Aug 1997 09:44:42 +0100
• Masterclass in Software Safety
  • Tony Foord Fri, 11 Apr 1997 03:55:44 -0400
• Mid-air collision off Namibia
  • sr0!miller(at)netcom.com Thu, 2 Oct 1997 11:59:35 PDT
  • Cooper Phil Wed, 1 Oct 1997 10:23:00 +0100
  • Peter B. Ladkin Tue, 30 Sep 1997 23:46:19 +0200
  • Ann Wrightson Mon, 29 Sep 1997 08:40:44 +0100
  • Ann Wrightson Tue, 30 Sep 1997 12:30:34 +0100
  • Cooper Phil Mon, 29 Sep 1997 13:37:00 +0100
  • Cooper Phil Mon, 29 Sep 1997 12:12:00 +0100
• MIFFC_SDM.txt
  • Pete Mellor Fri, 17 Jan 1997 11:51:42 GMT
  • Pete Mellor Fri, 17 Jan 1997 11:51:42 GMT
• Misuse of standards
  • Brian A Wichmann Thu, 29 May 1997 13:17:29 BST
  • Pete Mellor Thu, 29 May 1997 11:54:00 +0100 (BST)
• MSc in Safety Critical Systems Engineering at York
  • Jonathan Moffett Wed, 12 Mar 1997 08:16:35 -0000
• MSc in Safety Engineering & Risk Management
  • rvglass(at)netcomuk.co.uk Thu, 21 Aug 1997 16:09:07 +0100 (BST)
• NASA Formal Methods Guidebook, Vol. II
  • John Kelly Tue, 7 Oct 1997 14:59:19 -0700
• New book
  • Jon Jacky Sat, 4 Jan 1997 10:42:42 -0800
• new book advertisement
  • Jeffrey M. Voas Wed, 3 Dec 1997 17:11:09 -0500 (EST)
• New PEP version available (Safety critical systems list)
  • Bernd Grahlmann Tue, 22 Jul 1997 15:59:21 +0200
• new reports on safety issues
  • Nancy Leveson Sat, 20 Dec 1997 15:41:16 -0800
• New version of the Dependability References Database
  • Jonathan Moffett Wed, 26 Mar 1997 10:03:39 PST
• North Texas System Safety Society Website
  • by way of Jonathan Moffett Fri, 27 Jun 1997 10:20:00 +0100
• Objective Testing Criteria
  • Brian A Wichmann Thu, 10 Jul 1997 09:44:43 BST
• oops, typo in URL for safety papers
  • Nancy Leveson Sun, 21 Dec 1997 15:23:38 -0800 (PST)
• Operating Systems
  • Stephen Wilson Fri, 24 Oct 199713:53:16 +0100
• Paper on Verification of KBSs, not about Safety
  • Peter B. Ladkin Thu, 27 Nov 1997 22:20:58 +0100
• PES Hazard Study Training
  • HEBBRON BARRY D Fri, 7 Feb 1997 10:47:29 GMT0BST
• Phd Studentships in Dependability
  • Victoria Stavridou Thu, 15 May 1997 15:08:33 +0100
• Re URL(Tools for Safety)
  • Klaus Brunnstein Sat, 6 Dec 1997 11:17:25 +0000
• Redefining a problem out of existence (fwd)
  • Pete Mellor Tue, 1 Jul 1997 01:07:18 +0100 (BST)
• Redefining a problem out of existence (fwd)
  • Nancy Leveson Tue, 01 Jul 1997 01:17:56 PDT
• Reminder -- CFP: Formal Methods in Software Practice Workshop
  • Mark Ardis Tue, 12 Aug 1997 16:38:39 -0500
• Research Programme site now available
  • Mike Falla Fri, 30 May 1997 16:39:19 +0100
• Research Vacancy - York, UK
  • Bob Fields Wed, 08 Oct 1997 14:07:10 +0100
• Risk Assessment of Organizations: References sought
  • WOODS, JORGE Fri, 15 Aug 1997 17:30:56 +1000
• Robots vs. people
  • Nancy Leveson Mon, 13 Jan 1997 10:28:12 PST
• SAFECOMP'97 - Final Programme and Call for Participation
  • c.m.holloway(at)larc.nasa.gov Thu, 28 Aug 1997 16:42:55 -0400
  • Bob Fields Thu, 21 Aug 1997 19:16:04 +0100
• Safety Case methodology
  • steve smith Thu, 9 Jan 1997 10:30:58 -0500
• Safety Critical Systems Integration
  • richings(at)sprynet.co.uk Fri, 5 Dec 1997 04:06:26 -0800 (PST)
• Safety Critical Systems Programme - UK Interest Only
  • Peter Ladkin Wed, 22 Jan 1997 13:27:51 +0100
  • Mike Falla Tue, 21 Jan 1997 17:35:40 GMT
• Safety Critical Systems R&D Programme Results
  • Mike Falla Fri, 07 Nov 1997 09:30:52 +0000
• Safety in Metro using cell phone
  • Pete Mellor Mon, 1 Dec 1997 11:09:11 GMT
  • Pete Mellor Mon, 1 Dec 1997 10:48:38 GMT
  • Jon Hind Sun, 30 Nov 1997 21:58:23 +0000
  • Charles Hoes Fri, 28 Nov 1997 05:51:04 -0800
  • Joao Batista Fri, 28 Nov 1997 10:39:18 -0300 ()
• Safety of cell phones in aircraft (was: in Metro)
  • Peter B. Ladkin Mon, 01 Dec 1997 12:11:03 +0100
• Safety of cell phones in aircraft (was: in Metro) -Reply
  • Peter B. Ladkin Mon, 01 Dec 1997 19:16:31 +0100
  • James Stewart Mon, 01 Dec 1997 10:43:02 -0500
• Safety of cell phones in aircraft (was: in Metro) -Reply -Reply
  • James Stewart Tue, 02 Dec 1997 07:27:48 -0500
• Safety Related Systems: request for review of PLC MS
  • Jonathan F Luedeke Mon, 10 Nov 1997 15:52:06 -0400 (EDT)
  • Pete Mellor Mon, 10 Nov 1997 18:12:24 GMT
• Safety, safety, all is safety, saith the Preacher
  • Peter B. Ladkin Wed, 12 Nov 1997 19:48:18 +0100
• Safety-certified COTS infrastructure seminar
  • Peter Ladkin Fri, 28 Feb 1997 14:11:17 +0100
  • John Dalton Thu, 27 Feb 1997 13:32:48 +100
• Safety-certified COTS infrastructure seminar - clarification
  • John Dalton Fri, 28 Feb 1997 15:12:36 +100
• Safety: Research Position in Formal Methods-ICASE, NASA Langley, Hampton VA
  • Jonathan Moffett Fri, 28 Nov 1997 18:26:06 +0000
• SDL-News: SDL and safety critical software
  • Peter B. Ladkin Fri, 18 Jul 1997 17:09:02 +0200
• Seminar Announcement, London, 2 December 1997
  • Tony Foord Thu, 30 Oct 1997 12:20:04 -0500
• Software Reliability
  • Arun-Kumar Tripathi Fri, 4 Jul 1997 15:58:03 +0200 (MET DST)
  • Mark T Miller Mon, 30 Jun 1997 12:51:34 -0500
  • Jon Davies Mon, 30 Jun 1997 16:35:41 +0100
  • Arun-Kumar Tripathi Mon, 30 Jun 1997 12:49:37 +0200 (MET DST)
  • Nancy Leveson Thu, 19 Jun 1997 08:05:21 PDT
  • Nancy Leveson Thu, 19 Jun 1997 08:25:19 PDT
  • Peter Bishop Thu, 19 Jun 1997 13:23:54 +0000
  • Viv Hamilton +44 1245 242233 Thu, 19 Jun 1997 08:43:51 +0000 (GMT)
  • John McDermid Thu, 19 Jun 1997 08:26:56 +0000
  • Lorenzo Strigini Wed, 18 Jun 1997 20:56:23 +0000
  • Peter Bishop Wed, 18 Jun 1997 09:13:32 +0000
  • Mark T Miller Tue, 17 Jun 1997 15:22:44 -0500
  • Tom Anderson Tue, 17 Jun 1997 19:10:30 +0100
  • Mark T Miller Tue, 17 Jun 1997 12:51:44 -0500
  • Nancy Leveson Tue, 17 Jun 1997 08:42:08 PDT
  • Arun-Kumar Tripathi Tue, 17 Jun 1997 16:23:44 +0200 (MET DST)
• Software Reliability (10^-9 and all that)
  • Tom Anderson Fri, 4 Jul 1997 12:41:36 +0100
  • Peter Ladkin Fri, 4 Jul 1997 10:04:40 +0200
  • John McDermid Fri, 4 Jul 1997 07:30:11 +0000
  • Royalty, Chuck Thu, 3 Jul 1997 14:17:05 -0700
  • Nancy Leveson Thu, 03 Jul 1997 13:00:36 PDT
  • Peter Ladkin Thu, 3 Jul 1997 21:28:23 +0200
  • John McDermid Thu, 3 Jul 1997 19:20:24 +0000
  • Peter Ladkin Thu, 3 Jul 1997 11:34:10 +0200
  • Pete Mellor Thu, 19 Jun 1997 22:57:11 +0100 (BST)
  • Peter Bishop Thu, 19 Jun 1997 18:06:31 +0000
  • Jon Davies Thu, 19 Jun 1997 15:47:11 +0100 (BST)
  • Pete Mellor Thu, 19 Jun 1997 14:51:21 +0100 (BST)
• Software Reliability (Good Process)
  • Mark T Miller Wed, 25 Jun 1997 09:40:30 -0500
  • Steve Smith Mon, 23 Jun 1997 11:09:54 -0400
  • Jim Fitzpatrick Sat, 21 Jun 1997 22:58:36 GMT
  • Peter Ladkin Fri, 20 Jun 1997 21:06:14 +0200
  • Mark T Miller Fri, 20 Jun 1997 10:37:58 -0500
  • Nancy Leveson Fri, 20 Jun 1997 03:45:19 PDT
  • Nik Kanuritch Fri, 20 Jun 1997 10:36:44 BST
• software safety class
  • Nancy Leveson Sun, 23 Feb 1997 15:37:55 PST
• Software System Failures
  • Peter Ladkin Wed, 26 Mar 1997 11:43:23 +0100
  • Nancy Leveson Tue, 25 Mar 1997 17:18:37 PST
  • Jim Fitzpatrick Tue, 25 Mar 1997 23:04:33 GMT
• Software System Failures -Reply
  • James Stewart Wed, 26 Mar 1997 10:08:45 -0500
• Software System Failures -Reply
  • Nancy Leveson Wed, 26 Mar 1997 10:03:39 PST
• System Safety, Complex Systems and validation
  • WOODS, JORGE Tue, 1 Jul 1997 13:10:53 +1000
• The Ethics of Safety-Critical Systems
  • Jonathan Bowen Tue, 10 Jun 1997 07:31:16 GMT
• The implication behind your 4 questions
  • Nancy Leveson Wed, 28 May 1997 08:51:14 PDT
  • John Dalton Wed, 28 May 1997 16:25:24 +100
• Time element in S/W failure
  • John Dalton Tue, 1 Jul 1997 16:43:21 +100
  • Viv Hamilton +44 1245 242233 Tue, 01 Jul 1997 15:47:16 +0000 (GMT)
  • Mark T Miller Tue, 1 Jul 1997 08:32:29 -0500
  • Richard Bolt Mon, 30 Jun 1997 14:28:30 -0400 (EDT)
• TLTP Feedback
  • Sarah SLADE Wed, 05 Nov 1997 16:35:00 gmt
• Tools for Safety
  • Brian Wichmann Tue, 9 Dec 1997 09:06:11 GMT
  • Stephen Viller Fri, 5 Dec 1997 15:39:33 +0000
  • Neil Storey Fri, 5 Dec 1997 09:47:42 +0000
  • Jonathan Moffett Thu, 04 Dec 1997 17:23:49 +0000
  • Neil Storey Thu, 4 Dec 1997 16:32:35 +0000
  • Brian Wichmann Thu, 4 Dec 1997 16:16:41 GMT
• Use of 486 and 186
  • Robin Bloomfield Tue, 7 Oct 1997 20:00:06 +1.00
  • Brian Wichmann Tue, 7 Oct 1997 10:38:53 BST
• Welcome to compos97-list
  • Majordomo(at)informatik.uni-kiel.de Tue, 1 Jul 1997 09:39:45 +0200 (MET DST)
• Wetware
  • Peter Ladkin Mon, 13 Jan 1997 19:01:48 +0100
  • Nancy Leveson Mon, 13 Jan 1997 09:44:03 PST
  • Neil Storey Mon, 13 Jan 1997 14:52:57 +0000
• Wetware -Reply
  • James Stewart Mon, 13 Jan 1997 14:47:36 -0500
• Wetware -Reply
  • Nancy Leveson Mon, 13 Jan 1997 11:58:38 PST
• Wetware?
  • Peter Ladkin Mon, 13 Jan 1997 20:34:15 +0100
  • Nancy Leveson Mon, 13 Jan 1997 09:38:52 PST
  • Peter Ladkin Mon, 13 Jan 1997 15:05:37 +0100
  • Peter Ladkin Mon, 13 Jan 1997 13:39:10 +0100
  • Jon Davies Mon, 13 Jan 1997 11:33:10 -0000
  • Steve D White Sun, 12 Jan 1997 15:48:15 +0000
  • Charles Waite Sat, 11 Jan 1997 12:43:18 -0500
• Wetware? -Reply
  • James Stewart Mon, 13 Jan 1997 08:07:22 -0500
• What makes sense?
  • Martyn Thomas Wed, 28 May 1997 17:07:50 +0100
  • Peter Ladkin Wed, 28 May 1997 19:52:24 +0200
  • Veena B Mendiratta Wed, 28 May 1997 10:49:08 -0500
  • Nancy Leveson Wed, 28 May 1997 08:32:53 PDT
  • Veena B Mendiratta Wed, 28 May 1997 09:08:23 -0500
  • Nancy Leveson Tue, 27 May 1997 15:58:20 PDT
  • Charles Waite Tue, 27 May 1997 16:47:30 -0400
• Workshop Announcement
  • Nancy Leveson Mon, 15 Sep 1997 06:26:51 PDT
• Workshop on safety critical systems standards
  • Victoria Stavridou Thu, 15 May 1997 14:52:07 +0100

This archive was generated by hypermail 2.0b3 on Tue 21 Aug 2001 - 15:32:32 BST