Advertisement

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
    8. Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner
      Pages 167-179
    9. Daniel Schneider, Eric Armengaud, Erwin Schoitsch
      Pages 180-191
  4. DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS’14)

    1. Daniel Skarin, Jonny Vinter, Rickard Svenningsson
      Pages 219-230
    2. Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi, Andrea Bondavalli
      Pages 231-242
    3. Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
      Pages 243-254
    4. Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, Arjan Geven
      Pages 255-266
  5. Integration of Safety and Security Engineering (ISSE’14)

  6. Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI’14)

    1. Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano
      Pages 304-315
    2. Oleksandr Netkachov, Peter Popov, Kizito Salako
      Pages 316-327
    3. Roberto Baldoni, Adriano Cerocchi, Claudio Ciccotelli, Alessandro Donno, Federico Lombardi, Luca Montanari
      Pages 350-359
    4. Richard M. Zahoransky, Thomas Koslowski, Rafael Accorsi
      Pages 360-370
  7. Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR’14)

    1. Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara
      Pages 371-374
    2. Linling Sun, Nuno Silva, Tim Kelly
      Pages 384-395
    3. Marc Zeller, Kai Höfig, Martin Rothfelder
      Pages 396-400
    4. Sunil Nair, Neil Walkinshaw, Tim Kelly
      Pages 413-418
    5. Yaping Luo, Luc Engelen, Mark van den Brand
      Pages 419-430
    6. Ragaad AlTarawneh, Max Steiner, Davide Taibi, Shah Rukh Humayoun, Peter Liggesmeyer
      Pages 431-443
    7. Tor Stålhane, Geir Kjetil Hanssen, Thor Myklebust, Børge Haugset
      Pages 444-454
  8. Back Matter

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
  3. 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 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
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace