Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

Editors: Ortmeier, Frank, Daniel, Peter (Eds.)

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-642-33675-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-642-33674-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).

Table of contents (44 chapters)

  • Introduction to Sassur 2012

    Ruiz, Alejandra (et al.)

    Pages 3-7

  • AdvoCATE: An Assurance Case Automation Toolset

    Denney, Ewen (et al.)

    Pages 8-21

  • Towards a Case-Based Reasoning Approach for Safety Assurance Reuse

    Ruiz, Alejandra (et al.)

    Pages 22-35

  • Modeling for Safety in a Synthesis-Centric Systems Engineering Framework

    Markovski, Jasen (et al.)

    Pages 36-49

  • A Model Based Approach for Safety Analysis

    Belmonte, Fabien (et al.)

    Pages 50-63

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-642-33675-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-642-33674-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
SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings
Editors
  • Frank Ortmeier
  • Peter Daniel
Series Title
Programming and Software Engineering
Series Volume
7613
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-33675-1
DOI
10.1007/978-3-642-33675-1
Softcover ISBN
978-3-642-33674-4
Edition Number
1
Number of Pages
XVI, 530
Number of Illustrations and Tables
198 b/w illustrations
Topics