Advertisement

Computer Safety, Reliability, and Security

37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

  • Barbara Gallina
  • Amund Skavhaug
  • Friedemann Bitsch
Conference proceedings SAFECOMP 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Automotive Safety Standards and Cross-Domain Reuse Potential

    1. Front Matter
      Pages 1-1
    2. Alessandro Frigerio, Bart Vermeulen, Kees Goossens
      Pages 12-26
  3. Autonomous Driving and Safety Analysis

    1. Front Matter
      Pages 43-43
    2. Patrik Feth, Rasmus Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, Daniel Schneider et al.
      Pages 59-72
    3. Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva et al.
      Pages 73-87
  4. Verification

    1. Front Matter
      Pages 89-89
    2. Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander Romanovsky
      Pages 91-106
    3. Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
      Pages 123-138
    4. Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer
      Pages 139-153
  5. Multi-Concern Assurance

    1. Front Matter
      Pages 155-155
    2. Michael Huber, Michael Brunner, Clemens Sauerwein, Carmen Carlan, Ruth Breu
      Pages 157-171
    3. Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim et al.
      Pages 172-187
    4. Venesa Watson, Mahlet Bejiga
      Pages 188-202
  6. Fault Tolerance

    1. Front Matter
      Pages 203-203
    2. Christoph Schorn, Andre Guntoro, Gerd Ascheid
      Pages 205-219
    3. Jens Vankeirsbilck, Niels Penneman, Hans Hallez, Jeroen Boydens
      Pages 220-234
    4. Kai Ding, Andrey Morozov, Klaus Janschek
      Pages 250-264
  7. Safety and Security Risk

    1. Front Matter
      Pages 265-265
    2. Hafizul Asad, Ilir Gashi
      Pages 267-281
    3. Sarah Haas, Andrea Höller, Thomas Ulz, Christian Steger
      Pages 282-296
    4. Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp
      Pages 297-310
  8. Back Matter
    Pages 311-312

Other volumes

  1. Computer Safety, Reliability, and Security
    37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
  2. SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

About these proceedings

Introduction

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

The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.

Keywords

Artificial intelligence Cybersecurity Data security Dependability analysis Distributed and real-time monitoring and control Embedded systems Fault-tolerant system Formal methods for verification, validation, and fault tolerance Hardware Methods for qualification, assurance and certification Model-based analysis, design, and assessment Network security Safety and security cases Security and privacy protection mechanisms Semantics Software engineering Software evaluation Validation and verification methodologies Wireless telecommunication systems

Editors and affiliations

  1. 1.Mälardalen UniversityVästeråsSweden
  2. 2.Norwegian University of Science and TechnologyTrondheimNorway
  3. 3.Thales Deutschland GmbHDitzingenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-99130-6
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99129-0
  • Online ISBN 978-3-319-99130-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site