Computer Safety, Reliability, and Security

SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

  • Andrea Bondavalli
  • Andrea Ceccarelli
  • Frank Ortmeier
Conference proceedings SAFECOMP 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8696)

Table of contents

  1. Front Matter
  2. Architecting Safety in Collaborative Mobile Systems (ASCoMS’14)

    1. Kenneth Östberg, Martin Törngren, Fredrik Asplund, Magnus Bengtsson
      Pages 3-10
    2. Martin Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes
      Pages 19-26
    3. Eric Vial, António Casimiro
      Pages 27-35
    4. Christian Berger, Oscar Morales, Thomas Petig, Elad Michael Schiller
      Pages 36-45
    5. Tino Brade, Georg Jäger, Sebastian Zug, Jörg Kaiser
      Pages 46-54
    6. Johan Ekberg, Urban Ingelsson, Henrik Lönn, Magnus Skoog, Jan Söderberg
      Pages 55-62
    7. Attila Nagy, Olaf Landsiedel
      Pages 63-70
    8. Luis Almeida, Frederico Santos, Luis Oliveira
      Pages 71-79
  3. ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS’14)

    1. Markus Oertel, Omar Kacimi, Eckard Böde
      Pages 97-107
    2. Christian Ellen, Martin Böschen, Thomas Peikenkamp
      Pages 108-118
    3. Rocco Aversa, Beniamino Di Martino, Francesco Moscato
      Pages 119-129
    4. Alexandre Ginisty, Frédérique Vallée, Elie Soubiran, Vidal-delmas Tchapet-Nya
      Pages 130-136
    5. Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone et al.
      Pages 137-146
    6. Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo et al.
      Pages 147-156
    7. Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
      Pages 157-166

Other volumes

  1. 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
  2. Computer Safety, Reliability, and Security
    SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification and VAlidation of cRiTical Systems, DEVVARTS'14; Integration of Safety and Security Engineering, ISSE'14; Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI'14; Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR'14.

Keywords

computer systems organization cyber-physical systems dependable and fault-tolerant systems and networks embedded systems formal methods hardware robustness human and social aspects in safety-critical systems methods for qualification, assurance and certifications safety and security systems security and privacy protection mechanisms software and application security software fault tolerance software notations and tools software reliability software safety software verification and validation

Editors and affiliations

  • Andrea Bondavalli
    • 1
  • Andrea Ceccarelli
    • 1
  • Frank Ortmeier
    • 2
  1. 1.Department of Mathematics and InformaticsUniversity of FlorenceFlorenceItaly
  2. 2.Computer Systems in EngineeringOtto-von-Guericke-University MagdeburgMagdeburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-10557-4
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10556-7
  • Online ISBN 978-3-319-10557-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book