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

Programming and Software Engineering

Computer Safety, Reliability, and Security

30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings

Editors: Flammini, Francesco, Bologna, Sandro, Vittorini, Valeria (Eds.)

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-24270-0
  • 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-642-24269-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011.

The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.

Table of contents (34 chapters)

  • The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software

    Popov, Peter (et al.)

    Pages 1-14

  • Model-Driven Availability Evaluation of Railway Control Systems

    Bernardi, Simona (et al.)

    Pages 15-28

  • Vertical Safety Interfaces – Improving the Efficiency of Modular Certification

    Zimmer, Bastian (et al.)

    Pages 29-42

  • DALculus – Theory and Tool for Development Assurance Level Allocation

    Bieber, Pierre (et al.)

    Pages 43-56

  • Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach

    Blanquart, Jean-Paul (et al.)

    Pages 57-70

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-24270-0
  • 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-642-24269-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
Computer Safety, Reliability, and Security
Book Subtitle
30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings
Editors
  • Francesco Flammini
  • Sandro Bologna
  • Valeria Vittorini
Series Title
Programming and Software Engineering
Series Volume
6894
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-24270-0
DOI
10.1007/978-3-642-24270-0
Softcover ISBN
978-3-642-24269-4
Edition Number
1
Number of Pages
XI, 482
Number of Illustrations and Tables
87 b/w illustrations, 93 illustrations in colour
Topics