Safety and Reliability of Software Based Systems

Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)

Editors: Shaw, Roger (Ed.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-1-4471-0921-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.99
price for USA in USD
  • ISBN 978-3-540-76034-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern.
This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software intensive systems where reliability and/or safety are important considerations; and practical experiences of others in industry.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Formal Methods and their Role in the Certification of Critical Systems

    Pages 1-42

    Rushby, John

  • Safety Cases — How Did We Get Here?

    Pages 43-95

    Shaw, Roger

  • System Safety — Challenge and Chance for Automotive Applications

    Pages 96-106

    Vogel, Thomas

  • The SHIP Safety Case Approach: A Combination of System and Software Methods

    Pages 107-121

    Bishop, P. G. (et al.)

  • Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety-Critical Applications

    Pages 122-134

    Fox, John (et al.)

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-1-4471-0921-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.99
price for USA in USD
  • ISBN 978-3-540-76034-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Safety and Reliability of Software Based Systems
Book Subtitle
Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
Editors
  • Roger Shaw
Copyright
1997
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-0921-1
DOI
10.1007/978-1-4471-0921-1
Softcover ISBN
978-3-540-76034-4
Edition Number
1
Number of Pages
XIII, 461
Number of Illustrations
23 b/w illustrations
Topics