Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium > Nuclear Electric’s Contributions to the CONTESSE Testing Framework and its Early Application
Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium |
Felix Redmill; Tom Anderson
Springer London
Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium
Nuclear Electric’s Contributions to the CONTESSE Testing Framework and its Early Application
Authors

G. Hughes; D. Pavey; J. H. R. May; P. A. V. Hall; H. Zhu; A. D. Lunn

ARI Id

1664397610981_1510607

Access

Not Available Free

Pages

171-187

DOI

10.1007/978-1-4471-3003-1_11

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4471-3003-1_11

Table of Contents of Book
Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
N1-v
Achieving Safety in Complex Control Systems
Adrian F. Ellis
1-14
Measuring the Benefits of Transport Safety
M. W. Jones-Lee; G. Loomes
15-47
“Programming Languages and Safety-Related Systems”
Les Hatton
48-64
On the Qualification of Safety Critical Structures — The Safesa Approach
N. C. Knowles; J. R. Maguire
65-70
FRESCO — An Investigation into a Framework for the Assessment of Safety-Critical Systems
J. R. Hunt; P. R. Lucas; G. A. S. Wingate
71-79
Independent Safety Assessment of Rail Systems in their Operational Environment
Morris Chudleigh; James Catmur
80-89
Enhancing Safety Assurance Using Security Concepts
John Elliott; Andy Lovering; Chris Gerrard
90-116
Extending a Security Evaluation Standard (the ITSEC) to Dependability
Alan Hawes
117-130
A Framework for Enhancing the Safety Process for Advanced Robotic Applications
John Elliott; Steve Brooks; Peter Hughes; Nik Kanuritch
131-152
Safe Systems for Mobile Robots The Safe-SAM project
D. W. Seward; F. W. Margrave; I. Sommerville; G. Kotony
153-170
Nuclear Electric’s Contributions to the CONTESSE Testing Framework and its Early Application
G. Hughes; D. Pavey; J. H. R. May; P. A. V. Hall; H. Zhu; A. D. Lunn
171-187
Current Practice in Verification, Validation and Licensing of Safety Critical Systems - The Assessor’s Point of View -
Günter Glöe; Gerhard Rabe
188-206
A Code of Practice for the Development of Safe PLC Software
Stephen Clarke; Gerald Moran; Peter Faulkner; David Hedley; Des Maisey; Stuart Pegler
207-222
Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems
Eamon J. Broomfield; Paul W. H. Chung
223-239
Process Systems Applications of Artificial Neural Networks
Gary Montague; Julian Morris; Paul Turner
240-289
A Knowledge-based Approach to the Safe Design of Distributed Networks
Khurshid Ahmad
290-301
Where Do Specifications Come From?
Derek Partridge
302-310
Formalising Fault Trees
Janusz Górski; Andrzej Wardziński
311-327
Back Matter
329-329
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings