Achievement and Assurance of Safety

Proceedings of the Third Safety-critical Systems Symposium

  • Felix Redmill
  • Tom Anderson
Conference proceedings

Table of contents

  1. Front Matter
    Pages N1-v
  2. Adrian F. Ellis
    Pages 1-14
  3. M. W. Jones-Lee, G. Loomes
    Pages 15-47
  4. John Elliott, Andy Lovering, Chris Gerrard
    Pages 90-116
  5. John Elliott, Steve Brooks, Peter Hughes, Nik Kanuritch
    Pages 131-152
  6. D. W. Seward, F. W. Margrave, I. Sommerville, G. Kotony
    Pages 153-170
  7. G. Hughes, D. Pavey, J. H. R. May, P. A. V. Hall, H. Zhu, A. D. Lunn
    Pages 171-187
  8. Stephen Clarke, Gerald Moran, Peter Faulkner, David Hedley, Des Maisey, Stuart Pegler
    Pages 207-222
  9. Gary Montague, Julian Morris, Paul Turner
    Pages 240-289
  10. Derek Partridge
    Pages 302-310
  11. Janusz Górski, Andrzej Wardziński
    Pages 311-327
  12. Back Matter
    Pages 329-329

About these proceedings


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

Editors and affiliations

  • Felix Redmill
    • 1
  • Tom Anderson
    • 2
  1. 1.LondonUK
  2. 2.Centre for Software ReliabilityUniversity of Newcastle-upon-TyneNewcastle-upon-TyneUK

Bibliographic information