Safety-Critical Mailing List Archive 1996
By Thread
End of Messages
Date view
Subject view
Author view
Other groups
144 Messages
Starting:
Tue, 2 Jan 1996 08:59:46 GMT
Ending:
Wed, 18 Dec 1996 13:37:49 GMT
Re: Bits that go bump in the night
Brian A Wichmann
Re: Bits that go bump in the night -Reply
James Stewart
Re: Bits that go bump in the night -Reply
Bill Hefley
Re: Bits that go bump in the night
CWaite(at)pseg.com
Re: Bits that go bump in the night
Cooper Phil
Software Capability Evaluation
Cooper Phil
What makes a good product
Cooper Phil
important information
Paul J. Bruemmer
Re: SAFECOMP 96 announcement
by way of strigini(at)csr.city.ac.uk
Re: Safety Analysis Techniques for Software
Nancy Leveson
Re:[2] Safety Analysis Techniques for Software
Safety Critical Systems / SM836
Catalogue of Safety-related Systems Methods
PWH Chung
Re: Introduction
Safety Critical Systems / SM836
Safety Analysis Techniques for Software
J. E. Borggren
software safety class
Nancy Leveson
RST Reliability HotList
Jeff Voas
New version of the Dependability References Database
Jonathan Moffett
Dependability References Database
Jonathan Moffett
Chair advert - University of Sheffield
Mike Holcombe
vacancy
Viv Hamilton
Alms for a Frustrated English Major
Charles M. Waite
11th ACSAC Advanced Program
Vince L. Reed
Modular MSc in Safety Critical Systems Engineering
Jonathan Moffett
Re: Safety Models in Highly Regulated Industries
Andy Ashworth
RePost"Safety Models in Highly Regulated Industries"
Dick Bolt
Repost of "Safety Models"
William Petrick
case studies of safety critical systems
Wang Ji
An Example
William Petrick
Re: An Example
Nancy Leveson
NAERG96
TestDepth(at)aol.com
Re: NAERG96
ladkin(at)TechFak.Uni-Bielefeld.DE
Re: NAERG96
ladkin(at)TechFak.Uni-Bielefeld.DE
new paper
Nancy Leveson
Risk Analysis
Charles Waite
Re: Risk Analysis
Nancy Leveson
Re: Risk Analysis
Robert Hale
FTRTFT '96 - Call for Demos
Matz Kindahl
fault tolerant asynchronous logic
Meine van der Meulen
My Example / A Solution
William Petrick
NATIONAL SAFETY CODE
NSC
Ariane failure Article
Tim Kelly
Re: Ariane failure Article
Pete Mellor
technical report
Jeff Voas
WITAT 96
Marvin V. Zelkowitz
A New Book
N Storey
A New Book
N Storey
Book to recommend
Brian A Wichmann
Book to recommend
Brian A Wichmann
Ariane 501
Jonathan Moffett
Re: ARIANE 5 Flight 501 Failure Report
Nancy Leveson
Re: ARIANE 5 Flight 501 Failure Report
Nancy Leveson
ARIANE 5 Flight 501 Failure Report (2nd try - 1)
Jonathan Moffett
ARIANE 5 Flight 501 Failure Report (2nd try - 2)
Jonathan Moffett
ARIANE 5 Flight 501 Failure Report (continued)
Jonathan Moffett
Call for Papers for COMPASS'97
Jeff Voas
Ariane 501
Tom Anderson
Re: Ariane 501 -Reply
James Stewart
Re: FW: Ariane 501
Victoria Stavridou
ESA_Standards
Janusz Zalewski
Cookbook Software
William Petrick
Call for Papers-1997 Conf on Soft Eng Standards
Dennis Lawrence
Re: ARIANE 5 Flight 501 Failure Report
Jonathan Moffett
ESA Software Standards
Jonathan Moffett
Ariane 501
edmiston(at)PICA.ARMY.MIL
Re: Ariane 501
Victoria Stavridou
Re: Ariane 501
Nancy Leveson
Re: Ariane 501
Nancy Leveson
Re: Ariane 501
Tom Anderson
Re: Ariane 501
Nancy Leveson
Re: Ariane 501 (Tom's response)
Viv Hamilton +44 1245 2215
Re: Ariane 501
Cooper Phil
Re: Ariane 501
Tom Anderson
Re: Ariane 501
Torok, Ray(at)NPD Mail
Re: Ariane 501
Steve Easterbrook
Industria software survey
Colin Chambers
Colloquium on COTS and Safety Critical Systems
Evans, Sarah
Colloquium on "COTS and Safety Critical Systems"
Evans, Sarah
Question following reading Ariane 5 report
Bernard Kiyanda
Question following reading Ariane 5 report
kiyanda(at)cae.ca
Colloquium on COTS and Safety Critical Systems -Reply
James Stewart
ARIANE 5 Flight 501 Failure Report (continued)
Richard Bolt
Re: ARIANE 5 Flight 501 Failure Report (continued)
Pete Mellor
Re: ARIANE 5 Flight 501 Failure Report (continued)
Pete Mellor
MIL STD 882C
J. E. Borggren
Re: MIL STD 882C
Jonathan Moffett
Re: MIL STD 882C
jdixon(at)greatwall.cctt.com
Re: MIL STD 882C
Chuck Howell
New version of the Dependability References Database
Jonathan Moffett
Lectureship at QMW
Victoria Stavridou
text on developing safe systems in Ada
Lin Zucconi
Re: text on developing safe systems in Ada
Brian A Wichmann
Re: text on developing safe systems in Ada
Brian A Wichmann
Colloquium on 'Hybrid Control for Real-Time Systems'
D.J.Holding
Safety standards workshop at ISESS 97
Victoria Stavridou
old FTCS proceedings.
Jeff Voas
ISSRE'96 Registration Reminder
issre96(at)research.att.com
FDA and Offshore standards
Nik Kanuritch
Re: FDA and Offshore standards
Charles Waite
Re: FDA and Offshore standards
Nancy Leveson
Re: FDA and Offshore standards
Charles Waite
Re: FDA and Offshore standards
Nancy Leveson
RE: FDA and Offshore standards
Ross H. Becker
Re: FDA and Offshore standards
Nancy Leveson
RE: FDA and Offshore standards
Andy Dearden
Re: FDA and Offshore standards
Charles Waite
Re: FDA and Offshore standards
Peter Ladkin
Re: FDA and Offshore standards
Charles Waite
Re: FDA and Offshore standards
Peter Ladkin
Re: FDA and Offshore standards
Brian A Wichmann
Re: FDA and Offshore standards -Reply
James Stewart
Re: FDA and Offshore standards
Nancy Leveson
Re: FDA and Offshore standards
Peter Ladkin
Re: FDA and Offshore standards
Nancy Leveson
Foresight report
Brian A Wichmann
Re: (Fwd) Re: FDA and Offshore standards
jk
Re: (Fwd) Re: FDA and Offshore standards
Viv Hamilton +44 1245 2233
COMPASS 97 Call for Papers
Jeffrey M. Voas
SafeComp'97 Call for Papers
bob(at)minster
Research vacancy: York, UK
bob(at)minster
CFP - Computer Related Standards and Safety
Victoria Stavridou
MoD DEF-STD 00-55 and 00-56
Ken Garlington
Information Survivability Workshop
Mario R. Barbacci
Human Error and Systems Development (cfp)
johnson(at)dcs.gla.ac.uk
Software Modelling
Robert Hale
Re: Software Modelling
Jon Jacky
Re: Software Modelling -Reply
James Stewart
by the way
Nancy Leveson
Re: Software Modelling, multiple maths packages and N-version software
Lorenzo Strigini
Re: Software Modelling
Viv Hamilton +44 1245 242233
Re: Software Modelling and HIRT report
Viv Hamilton +44 1245 242233
(no subject)
Charles Waite
Commercial Geology Packages
Dennis Lawrence
Re: Software Modelling
Tom Anderson
Software Modelling
Robert Hale
Re: Software Modelling
Bret Michael
Re: Software Modelling
Nancy Leveson
Re: Software Modelling
Peter Bishop
Re: Software Modelling
Freed David
Re: Software Modelling
Pete Fenelon
Re: Software Modelling
Nik Kanuritch
Re: Software Modelling
Bing Yu
2nd CFP - SAFECOMP'97
bob(at)minster
COTS again
Tom Anderson
Safety Critical Systems Programme - UK Interest Only
Mike Falla
Start of Messages
Date view
Subject view
Author view
Other groups
This archive was generated by
hypermail 2.0b3
on Tue 21 Aug 2001 - 14:53:39 BST
tpk(at)cs.york.ac.uk