Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Safe Comp 97

The 16th International Conference on Computer Safety, Reliability and Security

Editors: Daniel, Peter (Ed.)

Buy this book

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

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP 97 provides an opportunity for technical developers, users and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).

Table of contents (29 chapters)

  • Software-based Safety-critical Systems: a Taxonomy

    Papini, Hélène (et al.)

    Pages 3-13

  • Safety Assessment of Software Based Systems

    Dahll, Gustav

    Pages 14-24

  • Safe and Reliable Computer Control Systems an Overview

    Thane, Henrik

    Pages 25-36

  • Towards Dependable Software Requirement Specifications

    Scheer, Stefan (et al.)

    Pages 37-51

  • Safety Case Construction and Reuse Using Patterns

    Kelly, T. P. (et al.)

    Pages 55-69

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-1-4471-0997-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-76191-4
  • 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 97
Book Subtitle
The 16th International Conference on Computer Safety, Reliability and Security
Editors
  • Peter Daniel
Copyright
1997
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-0997-6
DOI
10.1007/978-1-4471-0997-6
Softcover ISBN
978-3-540-76191-4
Edition Number
1
Number of Pages
XIII, 381
Number of Illustrations and Tables
18 b/w illustrations
Topics