Safety-Critical Mailing List Archive 1997
By Date
End of Messages
Thread view
Subject view
Author view
Other groups
213 Messages
Starting:
Sat, 4 Jan 1997 10:42:42 -0800
Ending:
Sun, 21 Dec 1997 15:23:38 -0800 (PST)
New book
Jon Jacky
Failure Taxonomy
Jon Davies
Re: Failure Taxonomy
Jerry R Brookshire
Re: Failure Taxonomy
Lon D. Gowen, Ph.D.
Re: Defence Standard 00-56 Issue 2
Robin Bloomfield
Defence Standard 00-56 Issue 2
Brian Jepson
Re: Defence Standard 00-56 Issue 2
Victoria Stavridou
Re: Defence Standard 00-56 Issue 2
by way of Jonathan Moffett
Failure Taxonomy -Reply
James Stewart
Re: Failure Taxonomy -Reply
Nancy Leveson
Re: Failure Taxonomy -Reply
Jon Davies
Re: Failure Taxonomy -Reply -Reply
James Stewart
Re: Failure Taxonomy
Peter Ladkin
Re: Failure Taxonomy
David Crocombe
Re: Failure Taxonomy
Peter Bishop
Safety Case methodology
steve smith
Re: Failure Taxonomy
Peter Ladkin
Re: Failure Taxonomy
Nancy Leveson
Re: Failure Taxonomy
Jon Davies
Wetware?
Charles Waite
Re: Wetware?
Steve D White
Re: Failure Taxonomy
Andy Dearden
Re: Wetware?
Jon Davies
Re: Failure Taxonomy
Peter Ladkin
Re: Wetware?
Peter Ladkin
Re: Wetware? -Reply
James Stewart
Re: Failure Taxonomy
Peter Ladkin
Re: Failure Taxonomy
Pete Mellor
ISESS97 Safety Conformity Assessment for PES Workshop - Call for Participation
John Harauz
Re: Wetware?
Peter Ladkin
Re: Wetware
Neil Storey
Re: Wetware?
Nancy Leveson
Re: Wetware
Nancy Leveson
Re: Wetware
Peter Ladkin
Robots vs. people
Nancy Leveson
Re: Wetware?
Peter Ladkin
Re: Wetware -Reply
James Stewart
Re: Wetware -Reply
Nancy Leveson
Re: Failure Taxonomy
Peter Bishop
Human Error and Systems Development (reminder)
johnson(at)dcs.gla.ac.uk
IEC 1508
Jon Hind
Re: Failure Taxonomy (Discussion of Terms)
J. E. Borggren
Definitions of fault error and failure
Arend van Ingen
Re: Failure Taxonomy (Discussion of Terms)
Peter Ladkin
Re: Failure Taxonomy (Discussion of Terms)
Jon Davies
Re: Failure Taxonomy (Discussion of Terms)
Andy Dearden
MIFFC_SDM.txt
Pete Mellor
MIFFC_SDM.txt
Pete Mellor
Safety Critical Systems Programme - UK Interest Only
Mike Falla
Re: Safety Critical Systems Programme - UK Interest Only
Peter Ladkin
Re: (ugradert) Operation system SW for safety critical applicat
Peter Bishop
INTERNATIONAL SAFETY ALRET
ASF
"CALL" Lessons Learned-New Webb Page
Richard Bolt
PES Hazard Study Training
HEBBRON BARRY D
software safety class
Nancy Leveson
An invitation for Research Collaboration
Vijay Vaishnavi
Safety-certified COTS infrastructure seminar
John Dalton
Re: Safety-certified COTS infrastructure seminar - clarification
John Dalton
Re: Safety-certified COTS infrastructure seminar
Peter Ladkin
Re: Failure Taxonomy (Discussion of Terms)
Peter Ladkin
Common Cause Failure
Jon Davies
Re: Common Cause Failure
Jon Davies
MSc in Safety Critical Systems Engineering at York
Jonathan Moffett
Common Cause Failure -Reply
James Stewart
Re: Common Cause Failure -Reply
James Stewart
Software System Failures
Jim Fitzpatrick
Re: Software System Failures
Nancy Leveson
Re: Software System Failures
Peter Ladkin
Re: Software System Failures -Reply
James Stewart
Re: Software System Failures -Reply
Nancy Leveson
New version of the Dependability References Database
Jonathan Moffett
IEEE Formal Methods Planning Group
Paul Joannou
Safeware: Masterclass in Software Safety
Tony Foord
Airplain crash in Warschow
Frank Lattemann
RE: Airplain crash in Warschow
Marc.Wilikens(at)jrc.it
Re: Airplain crash in Warschow
Jonathan Moffett
Re: Airplain crash in Warschow
Peter Ladkin
"Are we making any progress toward computer assurance?"
Jeffrey M. Voas
A little aircraft maintenance humor...
William Buchanan
ICOHIS97 - ABSTRACTS SUBMISSION
Sudjoko Kuswadji
Workshop on safety critical systems standards
Victoria Stavridou
Phd Studentships in Dependability
Victoria Stavridou
Formal methods
sevans(at)iee.org.uk
What makes sense?
Charles Waite
Re: What makes sense?
Nancy Leveson
(Fwd) Re: The implication behind your 4 questions
John Dalton
Re: What makes sense?
Veena B Mendiratta
Re: What makes sense?
Nancy Leveson
Re: What makes sense?
Veena B Mendiratta
Re: (Fwd) Re: The implication behind your 4 questions
Nancy Leveson
RE: What makes sense?
Martyn Thomas
Re: What makes sense?
Peter Ladkin
Misuse of standards
Pete Mellor
Re: Misuse of standards
Brian A Wichmann
Research Programme site now available
Mike Falla
Call for papers
sevans(at)iee.org.uk
IEC1508 Interpretation
WOODS, JORGE
The Ethics of Safety-Critical Systems
Jonathan Bowen
Hazard Study Courses, Sept 97
HEBBRON BARRY D
Software Reliability
Arun-Kumar Tripathi
Re: ISSRE'97 / Metrics'97 Reminder
Arun-Kumar Tripathi
Re: Software Reliability
Nancy Leveson
Re: Software Reliability
Mark T Miller
Re: Software Reliability
Tom Anderson
Re: Software Reliability
Mark T Miller
Re: Software Reliability
Peter Bishop
Re: Software Reliability
Lorenzo Strigini
Re: Software Reliability
John McDermid
Re: Software Reliability
Viv Hamilton +44 1245 242233
Re: Software Reliability
Peter Bishop
Re: Software Reliability (10^-9 and all that)
Pete Mellor
Re: Software Reliability (10^-9 and all that)
Jon Davies
Re: Software Reliability
Nancy Leveson
Re: Software Reliability
Nancy Leveson
Re: Software Reliability (10^-9 and all that)
Peter Bishop
Re: Software Reliability (10^-9 and all that)
Pete Mellor
Re: Software Reliability (Good Process)
Nik Kanuritch
Re: Software Reliability (Good Process)
Nancy Leveson
Re: Software Reliability (Good Process)
Mark T Miller
Re: Software Reliability (Good Process)
Peter Ladkin
Re: Software Reliability (Good Process)
Jim Fitzpatrick
Adelard Seminar, 9 July 1997, Manchester
Peter Bishop
Re: Software Reliability (Good Process)
Steve Smith
Re: Software Reliability (Good Process)
Mark T Miller
North Texas System Safety Society Website
by way of Jonathan Moffett
Re: Software Reliability
Arun-Kumar Tripathi
Re: Software Reliability
Jon Davies
Re: Software Reliability
Mark T Miller
Time element in S/W failure
Richard Bolt
Redefining a problem out of existence (fwd)
Pete Mellor
System Safety, Complex Systems and validation
WOODS, JORGE
Re: Time element in S/W failure
John Dalton
Welcome to compos97-list
Majordomo(at)informatik.uni-kiel.de
Re: Redefining a problem out of existence (fwd)
Nancy Leveson
Re: Time element in S/W failure
Mark T Miller
Re: Time element in S/W failure
Viv Hamilton +44 1245 242233
Re: Software Reliability (10^-9 and all that)
Peter Ladkin
Re: Software Reliability (10^-9 and all that)
John McDermid
Re: Software Reliability (10^-9 and all that)
Peter Ladkin
Re: Software Reliability (10^-9 and all that)
Nancy Leveson
RE: Software Reliability (10^-9 and all that)
Royalty, Chuck
Re: Software Reliability (10^-9 and all that)
John McDermid
Re: Software Reliability (10^-9 and all that)
Peter Ladkin
Re: Software Reliability (10^-9 and all that)
Tom Anderson
Re: Software Reliability
Arun-Kumar Tripathi
Objective Testing Criteria
Brian A Wichmann
Re: SDL-News: SDL and safety critical software
Peter B. Ladkin
New PEP version available (Safety critical systems list)
Bernd Grahlmann
KBS Validation, Verification and Certification
richard.scaife(at)aeroint.com
Re: KBS Validation, Verification and Certification
Peter B. Ladkin
Fuzzy Logic in Safety Systems
Joao Batista
Re: KBS Validation, Verification and Certification
Mark T Miller
Re: KBS Validation, Verification and Certification
Andy Dearden
Re: KBS Validation, Verification and Certification
Mark_Bowell(at)hsl.gov.uk
Australian SCS Workshop
Peter Lindsay
Reminder -- CFP: Formal Methods in Software Practice Workshop
Mark Ardis
Risk Assessment of Organizations: References sought
WOODS, JORGE
Data Flow Testing
Brian Wichmann
MSc in Safety Engineering & Risk Management
rvglass(at)netcomuk.co.uk
Re: Data Flow Testing
Mark T Miller
SAFECOMP'97 - Final Programme and Call for Participation
Bob Fields
SAFECOMP'97 - Final Programme and Call for Participation
c.m.holloway(at)larc.nasa.gov
Workshop Announcement
Nancy Leveson
Eighth International Symposium on Software Reliability
Rick
Mid-air collision off Namibia
Ann Wrightson
Mid-air collision off Namibia
Cooper Phil
Mid-air collision off Namibia
Cooper Phil
Re: Mid-air collision off Namibia
Ann Wrightson
Re: Mid-air collision off Namibia
Peter B. Ladkin
Re: Mid-air collision off Namibia
Cooper Phil
Re: Mid-air collision off Namibia
sr0!miller(at)netcom.com
Use of 486 and 186
Brian Wichmann
Re: Use of 486 and 186
Robin Bloomfield
NASA Formal Methods Guidebook, Vol. II
John Kelly
Research Vacancy - York, UK
Bob Fields
Certification of Critical Systems
Joao Batista
EWICS Safety and Security Symposium
Robin Bloomfield
Operating Systems
Stephen Wilson
Certification of Critical Systems -Reply
James Stewart
Electronic support for standards and safety documentation
Luke Emmet
Seminar Announcement, London, 2 December 1997
Tony Foord
TLTP Feedback
Sarah SLADE
Safety Critical Systems R&D Programme Results
Mike Falla
Safety Related Systems: request for review of PLC MS
Pete Mellor
Re: Safety Related Systems: request for review of PLC MS
Jonathan F Luedeke
COMPASS
Jeffrey M. Voas
COMPASS
Jeffrey M. Voas
Safety, safety, all is safety, saith the Preacher
Peter B. Ladkin
Paper on Verification of KBSs, not about Safety
Peter B. Ladkin
Safety in Metro using cell phone
Joao Batista
Re: Safety in Metro using cell phone
Charles Hoes
Safety: Research Position in Formal Methods-ICASE, NASA Langley, Hampton VA
Jonathan Moffett
Re: Safety in Metro using cell phone
Jon Hind
Re: Safety in Metro using cell phone
Pete Mellor
Re: Safety in Metro using cell phone
Pete Mellor
Re: Safety of cell phones in aircraft (was: in Metro)
Peter B. Ladkin
Re: Safety of cell phones in aircraft (was: in Metro) -Reply
James Stewart
Re: Safety of cell phones in aircraft (was: in Metro) -Reply
Peter B. Ladkin
Re: Safety of cell phones in aircraft (was: in Metro) -Reply -Reply
James Stewart
new book advertisement
Jeffrey M. Voas
hise-safety-critical: new book advertisement
Jonathan Moffett
Tools for Safety
Brian Wichmann
Re: Tools for Safety
Neil Storey
Re: Tools for Safety
Jonathan Moffett
Re: Tools for Safety
Neil Storey
Safety Critical Systems Integration
richings(at)sprynet.co.uk
Re: Tools for Safety
Stephen Viller
Re URL(Tools for Safety)
Klaus Brunnstein
Re: Tools for Safety
Brian Wichmann
Automation Congress with Safety aspects
Joao Batista
Re: Congress related with Safety
Brian Wichmann
new reports on safety issues
Nancy Leveson
oops, typo in URL for safety papers
Nancy Leveson
Start of Messages
Thread view
Subject view
Author view
Other groups
This archive was generated by
hypermail 2.0b3
on Tue 21 Aug 2001 - 15:32:32 BST
tpk(at)cs.york.ac.uk