Advertisement

Computer Safety, Reliability, and Security

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

  • Floor Koornneef
  • Coen van Gulijk

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9337)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9337)

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Invited Talks

  3. Flight Systems

    1. Front Matter
      Pages 17-17
    2. Carolina D. Villela, Humberto H. Sano, Juliana M. Bezerra
      Pages 19-28
    3. Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
      Pages 29-43
  4. Automotive Embedded Systems

    1. Front Matter
      Pages 45-45
    2. Robert Altschaffel, Tobias Hoppe, Sven Kuhlmann, Jana Dittmann
      Pages 47-58
    3. Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato, Martin Lettner
      Pages 59-73
    4. Thomas Arts, Stefano Tonetta
      Pages 74-89
    5. Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel
      Pages 90-108
  5. Automotive Software

    1. Front Matter
      Pages 109-109
    2. Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman
      Pages 111-120
    3. Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie, Jonny Vinter, Mafijul Islam, Johan Karlsson
      Pages 135-148
  6. Error Detection

    1. Front Matter
      Pages 149-149
    2. Georgios Stefanakis, Vijay Nagarajan, Marcelo Cintra
      Pages 151-165
    3. Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Itria, Andrea Bondavalli
      Pages 166-180
  7. Medical Safety Cases

    1. Front Matter
      Pages 181-181
    2. Alejandra Ruiz, Paulo Barbosa, Yang Medeiros, Huascar Espinoza
      Pages 183-196
  8. Medical Systems

    1. Front Matter
      Pages 211-211
    2. Homa Alemzadeh, Daniel Chen, Andrew Lewis, Zbigniew Kalbarczyk, Jaishankar Raman, Nancy Leveson et al.
      Pages 213-227
    3. Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff et al.
      Pages 228-242
    4. Dagmar Rosenbrand, Rob de Weerd, Lex Bothe, Jan Jaap Baalbergen
      Pages 243-251
    5. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee
      Pages 252-266
  9. Architectures and Testing

    1. Front Matter
      Pages 267-267
    2. Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa, Edmar C. Gurjão, Jeferson Rosário
      Pages 269-282
    3. Kevin Delmas, Rémi Delmas, Claire Pagetti
      Pages 283-296
  10. Safety Cases

    1. Front Matter
      Pages 311-311
    2. Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaaniche
      Pages 313-327
    3. Ewen Denney, Ganesh Pai
      Pages 328-343
  11. Security Attacks

    1. Front Matter
      Pages 345-345
    2. Maria Vasilevskaya, Simin Nadjm-Tehrani
      Pages 347-361
    3. Rafael Fedler, Sebastian Banescu, Alexander Pretschner
      Pages 362-371
  12. Cyber Security and Integration

  13. Programming and Compiling

    1. Front Matter
      Pages 425-425
    2. Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska
      Pages 427-440
    3. Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert
      Pages 441-456
    4. Jian Xiang, John Knight, Kevin Sullivan
      Pages 471-484
  14. Back Matter
    Pages 485-486

Other volumes

  1. 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
  2. SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
  3. Computer Safety, Reliability, and Security
    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
  4. SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

About these proceedings

Introduction

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.

Keywords

Automotive software Computer programming Critical infrastructure protection Cyber-physical systems Dependable systems Embedded systems Formal methods Medical computing Model checking Monitoring Safety critical systems Safety guidelines, standards and certification Safety patterns Security attacks Security engineering Software and application security Software fault tolerance Software reliability Software safety Software verification and validation

Editors and affiliations

  • Floor Koornneef
    • 1
  • Coen van Gulijk
    • 2
  1. 1.University of TechnologyDelftThe Netherlands
  2. 2.University of HuddersfieldHuddersfieldUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-24255-2
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-24254-5
  • Online ISBN 978-3-319-24255-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace