Computer Safety, Reliability, and Security

SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

  • Frank Ortmeier
  • Peter Daniel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7613)

Table of contents

  1. Front Matter
  2. Next Generation of System Assurance Approaches for Safety-Critical Systems Workshop (Sassur 2012)

    1. Front Matter
      Pages 1-1
    2. Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele
      Pages 3-7
    3. Ewen Denney, Ganesh Pai, Josef Pohl
      Pages 8-21
    4. Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza
      Pages 22-35
    5. Jasen Markovski, J. M. van de Mortel-Fronczak
      Pages 36-49
    6. Fabien Belmonte, Elie Soubiran
      Pages 50-63
    7. Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba, Piotr Pepek, Jerome Lambourg et al.
      Pages 64-78
    8. Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng
      Pages 79-91
    9. Eric Verhulst, Bernhard H. C. Sputh
      Pages 92-105
    10. Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo, Ricardo Barbosa, Nuno Silva
      Pages 106-116
    11. Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann et al.
      Pages 117-131
  3. Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2012)

    1. Front Matter
      Pages 147-147
    2. António Casimiro, Jörg Kaiser
      Pages 149-150
    3. Sebastian Zug, Tino Brade, Jörg Kaiser, Sasanka Potluri
      Pages 162-173
    4. Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson
      Pages 190-201

Other volumes

  1. 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
  2. Computer Safety, Reliability, and Security
    SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of 5 workshops colocated with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).

Keywords

cognitive systems embedded systems formal methods middleware performance analysis

Editors and affiliations

  • Frank Ortmeier
    • 1
  • Peter Daniel
    • 2
  1. 1.Institut für Technische und Betriebliche Informationssysteme (ITI)Otto-von-Guericke-Universität, Fakultät für InformatikMagdeburgGermany
  2. 2.SELEX ELSAG, Liverpool Innovation ParkLiverpoolUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33675-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33674-4
  • Online ISBN 978-3-642-33675-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book