 |
This
section is divided into five areas:
- Safety
Engineering covers material related to the engineering
and management activities involved in safety systems
development, operation and maintenance.
- Human
Factors covers the subject of integrating people,
hardware and software safely.
- Safety
Tools & Techniques covers material related
to specific tools and techniques used in safety engineering
and management.
- Journals
covers safety relevant journal publications.
- On-line
publications provides a (long and text-heavy)
list of on-line publications (primarily research papers).
Note:
This section provides many resources that are not specific
to rail but may be useful nevertheless to the railway
safety professional.
| Safety
Engineering |
 |
The on-line
version of The Yellow Book is here
, or you can order
a paper copy.
 |
|
|
System
Safety: HAZOP and Software HAZOP, Felix Redmill,
Morris Chudleigh and James Catmur, 1999, ISBN
0-471-98280-6.
|
System
Safety Engineering and Management, 2nd Ed.,
Harold E. Roland and Brian Moriarty, 1990, ISBN
0-471-61816-0.
|
 |
 |
| Computer-Related
Risks, Peter Neumann, 1995, ISBN 0-201-55805-X.
|
Safety-Critical
Computer Systems, Neil Storey, 1996, ISBN 0-201-42787-7.
|
 |
 |
| Safeware:
System Safety and Computers: A Guide to Preventing
Accidents and Losses Caused by Technology, Nancy
G. Leveson, 1995, ISBN 0-201-11972-2. |
Assessment
and Control of Software Risks, T. Capers Jones,
1993, ISBN 0-13-741406-4. |
| Human
Factors |
|
 |
 |
| Human
Error, James Reason, 1991, ISBN 0-521-31419-4.
(Cambridge University Press) |
Human
Factors in Safety-Critical Systems, Felix Redmill
(Editor) and Jane Rajan (Editor), 1997, ISBN 0-75-062715-8. |
| Safety
Tools and Techniques |
|
| Journals |
|
|
Publications available on-line |
|
|
|
Leveson, Nancy, and Clark S. Turner, "An
Investigation of the Therac-25 Accidents", IEEE
Computer, Vol. 25, No. 7, July 1993, pp. 18-41.
|
|
|
Bowen, Jonathan, Formal
Methods in Safety-Critical Standards. In Proc.
1993 Software Engineering Standards Symposium (SESS'93),
Brighton, UK, 30 August - 3 September 1993. IEEE
Computer Society Press, pp 168-177, 1993. |
|
|
Bowen, Jonathan, and Stavridou, Victoria, Safety-Critical
Systems, Formal Methods and Standards. IEE/BCS
Software Engineering Journal, 8(4):189-209, July
1993. |
|
|
Bowen, Jonathan and Stavridou, Victoria, The
Industrial Take-up of Formal Methods in Safety-Critical
and Other Areas: A Perspective. In J.C.P. Woodcock
and P.G. Larsen (eds.), FME'93: Industrial-Strength
Formal Methods, First International Symposium
of Formal Methods Europe, Odense, Denmark, 19-23
April 1993, Springer-Verlag, LNCS 670, pp 183-195,
1993. |
|
|
Bowen, Jonathan and Stavridou, Victoria, Formal
Methods and Software Safety. In Heinz Frey (ed.),
Safety of Computer Control Systems 1992 (SAFECOMP'92),
Proc. IFAC Symposium, Zürich, Switzerland,
28-30 October 1992, Pergamon Press, pp 93-98, 1992.
|
|
|
Place, Patrick and Kang, Kyo, Safety-Critical
Software: Status Report and Annotated Bibliography.
Technical Report CMU/SEI-93-TR-5, Software
Engineering Institute, Carnegie
Mellon University, USA, 1993. |
|
|
Rushby, John, Formal
Specification and Verification for Critical Systems:
Tools, Achievements and Prospects. In Electric
Power Research Institute TR-100294, pp 9-1 to
9-14, January 1991. |
|
|
Rushby, John, Formal
Verification of Algorithms for Critical Systems.
IEEE Transactions on Software Engineering, 19(1):113-233,
January 1993. |
|
|
Rushby, John, Formal
Methods and the Certification of Critical Systems.
SRI Technical Report CSL-93-7, December 1993. |
|
|
Rushby, John, Formal
Methods and their Role in the Certification of Critical
Systems. SRI Technical Report CSL-95-1, March
1995. |
|
|
Fenelon, Peter, and McDermid, John, New
Directions in Software Safety: Causal Modelling
as an Aid to Integration. High
Integrity Systems Engineering Group, Department
of Computer Science, University
of York, Heslington, York YO1 5DD, UK. |
|
|
Isaksen, Ulla, and Bowen, Jonathan, and Nissanke,
Nimal, System
and Software Safety in Critical Systems. Technical
Report RUCS/97/TR/062/A, Department of Computer
Science, The University of Reading, UK, 1997. |
|
|
Lions, Jacques-Louis, ARIANE
5 Flight 501 Failure, Report by the Inquiry
Board, ESA, 1996. |
|
|
NASA, Formal
Methods Specification and Analysis Guidebook for
the Verification of Software and Computer Systems,
Volume I: Planning and Technology Insertion [NASA/TP-98-208193],
1998 & Volume II: A Practitioner's Companion"
[NASA-GB-001-97], 1997. |
The list
of publications held at NASA
Langley produced under NASA sponsorship since 1989
by various organisations, together with some on-line
publications may be of interest.
Publications
related to safety-critical systems stored in the
Networked
Computer Science Technical Reference Library, an
international collection of computer science research
reports and papers made available for non-commercial
use from a number of participating institutions and
archives
The Dependability
References Database, which is maintained by the
High
Integrity Systems Engineering group in the Department
of Computer Science, University
of York, UK, is a set of references to books and
papers in the general area of dependability, with special
reference to safety-critical computer systems. It is
freely available for searching or retrieving as a whole.
Ian Alexander,
a Requirements
Engineering consultant, has put together a web site
with reviews
of books on requirements engineering, as well as
a list
of technical papers he has published.
Intrepid
Critical Software Inc., a software engineering company
in the US, includes pages giving general information
about various aspects of software safety, including
references to various papers and companies. They also
have a publications page. NB: You will need a
username and password to enter this site.
If you think any more links should be added to this
page, please email webmaster@yellowbook-rail.org.uk
|
|
