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

Programming and Software Engineering

Computer Safety, Reliability, and Security

26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings

Editors: Saglietti, Francesca, Oster, Norbert (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-75101-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-75100-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Since 1979, when it was ?rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical?eldSAFECOMPo?ersaplatformforknowledge andtechnologytransferbetweenacademia,industry,researchandlicensingins- tutions, providing ample opportunities for exchanging insights, experiences and trends in the areas of safety, reliability and security regarding critical computer applications. In accordance with the growing spread of critical infrastructures involving both safety and security threats, this year’s SAFECOMP program included a considerable number of contributions addressing technical problems and engineering solutions across the border between safety-related and securi- related concerns. Thereactiontoourcallforpaperswasparticularlygratifyingandimpressive, including 136 full papers submitted by authors representing 29 countries from Europe,Asia, North and South America aswell asAustralia. The selection of 33 fullpapersand16shortpapersforpresentationandpublicationwasachallenging task requiring a huge amount of reviewing and organizational e?ort. In view of the particularly high number of articles submitted, obvious practical constraints led – to our regret – to the rejection of a considerable amount of high-quality work. To all authors, invited speakers, members of the International Program Committee and external reviewers go our heartfelt thanks! The local organization of SAFECOMP 2007, hosted in Nuremberg, is also gratefully acknowledged.

Table of contents (28 chapters)

  • Establishing Evidence for Safety Cases in Automotive Systems – A Case Study

    Ridderhof, Willem (et al.)

    Pages 1-13

  • Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges

    Sujan, Mark-Alexander (et al.)

    Pages 14-27

  • Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety

    Robinson, Richard (et al.)

    Pages 28-39

  • Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment

    Lang, Andreas (et al.)

    Pages 40-53

  • Modelling Interdependencies Between the Electricity and Information Infrastructures

    Laprie, Jean-Claude (et al.)

    Pages 54-67

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-75101-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-75100-7
  • 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
26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
Editors
  • Francesca Saglietti
  • Norbert Oster
Series Title
Programming and Software Engineering
Series Volume
4680
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-75101-4
DOI
10.1007/978-3-540-75101-4
Softcover ISBN
978-3-540-75100-7
Edition Number
1
Number of Pages
XV, 548
Topics