Computer Safety, Reliability, and Security

31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

  • Frank Ortmeier
  • Peter Daniel

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

Table of contents

  1. Front Matter
  2. Session I: Tools

  3. Session II: Risk Analysis

    1. Silvia Gil Casals, Philippe Owezarski, Gilles Descargues
      Pages 25-36
    2. Christoph Läsche, Eckard Böde, Thomas Peikenkamp
      Pages 37-48
  4. Session III: Testing

  5. Session IV: Quantitative Analysis

    1. Ernest Edifor, Martin Walker, Neil Gordon
      Pages 99-110
    2. Michael Glaß, Heng Yu, Felix Reimann, Jürgen Teich
      Pages 111-124
  6. Session V: Security

    1. Hans-Hermann Bock, Jens Braband, Birgit Milius, Hendrik Schäbe
      Pages 137-148
    2. Felix Wieczorek, Christoph Krauß, Frank Schiller, Claudia Eckert
      Pages 149-160
  7. Session VI: Formal Methods 1

    1. Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
      Pages 173-184
    2. Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta, Marco Rizzuto
      Pages 185-197
    3. Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson, Roger Johansson
      Pages 198-209
  8. Session VII: Aeronautic

    1. Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
      Pages 210-222
    2. Olof Hannius, Johan Karlsson
      Pages 223-234

Other volumes

  1. Computer Safety, Reliability, and Security
    31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
  2. 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 the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.

Keywords

distributed embedded systems fault tolerance model checking probabilistic verification software certification

Editors and affiliations

  • Frank Ortmeier
    • 1
  • Peter Daniel
    • 2
  1. 1.Fakultät für Informatik, Institut für Technische und Betriebliche Informationssysteme (ITI)Otto-von-Guericke-UniversitätMagdeburgGermany
  2. 2.SELEX ELSAGLiverpoolUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33678-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33677-5
  • Online ISBN 978-3-642-33678-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Consumer Packaged Goods
Aerospace