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.)

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

Buy this book

eBook 59,49 €
price for Spain (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 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-24269-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • Model-Driven Availability Evaluation of Railway Control Systems

    Bernardi, Simona (et al.)

    Pages 15-28

    Preview Buy Chapter 30,19 €
  • Vertical Safety Interfaces – Improving the Efficiency of Modular Certification

    Zimmer, Bastian (et al.)

    Pages 29-42

    Preview Buy Chapter 30,19 €
  • DALculus – Theory and Tool for Development Assurance Level Allocation

    Bieber, Pierre (et al.)

    Pages 43-56

    Preview Buy Chapter 30,19 €
  • 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

    Preview Buy Chapter 30,19 €

Buy this book

eBook 59,49 €
price for Spain (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 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-24269-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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
87 b/w illustrations, 93 illustrations in colour
Topics