Programming and Software Engineering

Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Editors: Koornneef, Floor, van Gulijk, Coen (Eds.)

Free Preview

Buy this book

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

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.

Table of contents (34 chapters)

Table of contents (34 chapters)
  • Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges?

    Kalkman, Cor J.

    Pages 3-6

  • Cyber (In-)security of Industrial Control Systems: A Societal Challenge

    Luiijf, Eric

    Pages 7-15

  • Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems

    Villela, Carolina D. (et al.)

    Pages 19-28

  • The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation

    Tarasyuk, Anton (et al.)

    Pages 29-43

  • Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions

    Altschaffel, Robert (et al.)

    Pages 47-58

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-319-24255-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-319-24254-5
  • 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
34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Editors
  • Floor Koornneef
  • Coen van Gulijk
Series Title
Programming and Software Engineering
Series Volume
9337
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-24255-2
DOI
10.1007/978-3-319-24255-2
Softcover ISBN
978-3-319-24254-5
Edition Number
1
Number of Pages
XXII, 486
Number of Illustrations
141 illustrations in colour
Topics