Achievement and Assurance of Safety

1. Front Matter

   Pages N1-v

   PDF

2. Achieving Safety in Complex Control Systems

   • Adrian F. Ellis

   Pages 1-14

3. Measuring the Benefits of Transport Safety

   • M. W. Jones-Lee, G. Loomes

   Pages 15-47

4. “Programming Languages and Safety-Related Systems”

   • Les Hatton

   Pages 48-64

5. On the Qualification of Safety Critical Structures — The Safesa Approach

   • N. C. Knowles, J. R. Maguire

   Pages 65-70

6. FRESCO — An Investigation into a Framework for the Assessment of Safety-Critical Systems

   • J. R. Hunt, P. R. Lucas, G. A. S. Wingate

   Pages 71-79

7. Independent Safety Assessment of Rail Systems in their Operational Environment

   • Morris Chudleigh, James Catmur

   Pages 80-89

8. Enhancing Safety Assurance Using Security Concepts

   • John Elliott, Andy Lovering, Chris Gerrard

   Pages 90-116

9. Extending a Security Evaluation Standard (the ITSEC) to Dependability

   • Alan Hawes

   Pages 117-130

10. A Framework for Enhancing the Safety Process for Advanced Robotic Applications

    • John Elliott, Steve Brooks, Peter Hughes, Nik Kanuritch

    Pages 131-152

11. Safe Systems for Mobile Robots The Safe-SAM project

    • D. W. Seward, F. W. Margrave, I. Sommerville, G. Kotony

    Pages 153-170

12. 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

    Pages 171-187

13. Current Practice in Verification, Validation and Licensing of Safety Critical Systems - The Assessor’s Point of View -

    • Günter Glöe, Gerhard Rabe

    Pages 188-206

14. A Code of Practice for the Development of Safe PLC Software

    • Stephen Clarke, Gerald Moran, Peter Faulkner, David Hedley, Des Maisey, Stuart Pegler

    Pages 207-222

15. Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems

    • Eamon J. Broomfield, Paul W. H. Chung

    Pages 223-239

16. Process Systems Applications of Artificial Neural Networks

    • Gary Montague, Julian Morris, Paul Turner

    Pages 240-289

17. A Knowledge-based Approach to the Safe Design of Distributed Networks

    • Khurshid Ahmad

    Pages 290-301

18. Where Do Specifications Come From?

    • Derek Partridge

    Pages 302-310

19. Formalising Fault Trees

    • Janusz Górski, Andrzej Wardziński

    Pages 311-327

20. Back Matter

    Pages 329-329

    PDF

Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other domains, such as security. For these improvements to be of real benefit, they need to be applied during the appropriate stage in the life cycle of the system, whether it be development, assessment, or operation. For this to occur, they must be communicated and explained. Each year the Safety-critical Systems Symposium offers a distinguished forum for the presentation of papers on such developments, and also for papers from industry on the lessons learned from the use of technologies and methods. The results of many collaborative research projects, with components from both industry and academia, are reported in a universally understandable form. In 1995 the Symposium was held in Brighton, a venue calculated to stimulate not just the presenters of papers, but all the delegates. Yet, this book of Proceedings is intended not only for the delegates but also for readers not able to attend the event itself. We welcome both categories of reader. Delegates have the benefit of attending the presentations and the opportunity to participate in the discussions; those who take up this book after the event can peruse it attheir leisure and, perhaps, on account of it will resolve to attend subsequent symposia.

• design
• development
• formal methods
• language
• programming
• programming language
• robotics
• safety-critical system
• software
• software development
• validation
• verification

• London, UK

  Felix Redmill

• Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, UK

  Tom Anderson

Policies and ethics