Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Editors: Gallina, B., Skavhaug, A., Schoitsch, E., Bitsch, F. (Eds.)

Free Preview

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-319-99229-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-319-99228-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018.

The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering.

Table of contents (44 chapters)

Table of contents (44 chapters)
  • Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case Structure for Evaluation

    Xu, Biao (et al.)

    Pages 5-13

  • Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems

    Ishikawa, Fuyuki (et al.)

    Pages 14-21

  • The Assurance Recipe: Facilitating Assurance Patterns

    Firestone, Justin (et al.)

    Pages 22-30

  • Incorporating Attacks Modeling into Safety Process

    Šurković, Amer (et al.)

    Pages 31-41

  • Assurance Case Considerations for Interoperable Medical Systems

    Zhang, Yi (et al.)

    Pages 42-48

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-319-99229-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-319-99228-0
  • 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 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Editors
  • Barbara Gallina
  • Amund Skavhaug
  • Erwin Schoitsch
  • Friedemann Bitsch
Series Title
Programming and Software Engineering
Series Volume
11094
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-319-99229-7
DOI
10.1007/978-3-319-99229-7
Softcover ISBN
978-3-319-99228-0
Edition Number
1
Number of Pages
XV, 564
Number of Illustrations
190 b/w illustrations
Topics