More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Safe Comp 95

The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995

Editors: Rabe, Gerhard (Ed.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-3054-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-19962-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require­ and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho­ logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP '95, held in Belgirate, Italy, 11-13 October 1995. The conference continues the series of SAFECOMP conferences which was originated by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7) and reflects the state of the art, experience and new trends in the area of safety-related computer systems.

Table of contents (35 chapters)

  • Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective

    Schoitsch, Erwin

    Pages 3-11

  • Assessment on the Basis of Standards-Gaps and how to Bridge Them

    Krebs, H.

    Pages 12-23

  • Safety Analysis for Requirements Specifications: Methods and Techniques

    Saeed, Amer (et al.)

    Pages 27-41

  • A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System

    Chudleigh, M. F. (et al.)

    Pages 42-58

  • An Automated Code-Based Fault-Tree Mitigation Technique

    Voas, Jeffrey M. (et al.)

    Pages 59-72

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-3054-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-19962-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Safe Comp 95
Book Subtitle
The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995
Editors
  • Gerhard Rabe
Copyright
1995
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-4471-3054-3
DOI
10.1007/978-1-4471-3054-3
Softcover ISBN
978-3-540-19962-5
Edition Number
1
Number of Pages
XII, 516
Number of Illustrations and Tables
59 b/w illustrations
Topics