Advertisement

Computer Safety, Reliability, and Security

SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

  • Floor Koornneef
  • Coen van Gulijk

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

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

Table of contents

  1. Front Matter
    Pages I-XXXVI
  2. Assurance Cases for Software-Intensive Systems (ASSURE 2015)

    1. Front Matter
      Pages 1-1
    2. Lian Duan, Sanjai Rayadurgam, Mats P. E. Heimdahl, Oleg Sokolsky, Insup Lee
      Pages 15-26
    3. Kenji Taguchi, Daisuke Souma, Hideaki Nishihara
      Pages 27-37
    4. John Knight, Jonathan Rowanhill, M. Anthony Aiello, Kimberly Wasson
      Pages 38-49
    5. Kateryna Netkachova, Oleksandr Netkachov, Robin Bloomfield
      Pages 62-71
    6. Daniel Ratiu, Marc Zeller, Lennart Killian
      Pages 72-82
    7. John Knight, Jonathan Rowanhill, Jian Xiang
      Pages 83-94
    8. Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando
      Pages 95-106
  3. EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop (DECSoS 2015)

    1. Front Matter
      Pages 107-107
    2. Francesca Saglietti, Stefan Winzinger, Raimar Lill
      Pages 144-155
    3. Thomas Gruber, Christian Zinner
      Pages 167-177
    4. Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi
      Pages 178-189
    5. Stylianos Basagiannis, Francisco Gonzalez-Espin
      Pages 190-200
    6. Peter Priller, Werner Gruber, Niklas Olberding, Dietmar Peinsipp
      Pages 212-223
  4. International workshop on the Integration of Safety and Security Engineering (ISSE 2015)

    1. Front Matter
      Pages 235-235
    2. Georg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner
      Pages 237-250
    3. Julien Brunel, David Chemouil
      Pages 251-263
    4. Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta
      Pages 264-276
    5. Binbin Chen, Christoph Schmittner, Zhendong Ma, William G. Temple, Xinshu Dong, Douglas L. Jones et al.
      Pages 277-290
    6. Florian Arnold, Dennis Guck, Rajesh Kumar, Mariële Stoelinga
      Pages 291-299
  5. International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2015)

    1. Front Matter
      Pages 301-301
    2. Marco Tiloca, Francesco Racciatti, Gianluca Dini
      Pages 314-323
    3. Szilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz et al.
      Pages 324-334
    4. Kateryna Netkachova, Robin Bloomfield, Peter Popov, Oleksandr Netkachov
      Pages 345-354
  6. International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR-2015)

    1. Front Matter
      Pages 355-355
    2. Tiago Amorim, Alejandra Ruiz, Christoph Dropmann, Daniel Schneider
      Pages 357-368
    3. Martin Becker, Markus Neumair, Alexander Söhn, Samarjit Chakraborty
      Pages 369-385
    4. Tor Stålhane, Thor Myklebust
      Pages 386-396
    5. V. Cassano, S. Grigorova, N. K. Singh, M. Adedjouma, M. Lawford, T. S. E. Maibaum et al.
      Pages 397-408
  7. Back Matter
    Pages 421-422

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. 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
  4. Computer Safety, Reliability, and Security
    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 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015.

The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2015 - Assurance Cases for Software-intensive Systems; DECSoS'15 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; ISSE'15 - International workshop on the Integration of Safety and Security Engineering; ReSA4CI 2015 - International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection; SASSUR 2015 - International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems.

 

Keywords

Critical infrastructure protection Cyber-physical systems Dependable systems Formal methods Model checking Monitoring Safety critical systems Safety guidelines, standards and certification 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-24249-1
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-24248-4
  • Online ISBN 978-3-319-24249-1
  • 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