Computer Safety, Reliability, and Security

30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

  • Francesco Flammini
  • Sandro Bologna
  • Valeria Vittorini
Conference proceedings SAFECOMP 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6894)

Table of contents

  1. Front Matter
  2. Session 1: Ram Evaluation 1

    1. Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
      Pages 15-28
  3. Session 2: Complex Systems Dependability 1

    1. Bastian Zimmer, Susanne Bürklen, Michael Knoop, Jens Höfflinger, Mario Trapp
      Pages 29-42
    2. Pierre Bieber, Rémi Delmas, Christel Seguin
      Pages 43-56
    3. Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer et al.
      Pages 57-70
  4. Session 3: Formal Verification 1

    1. Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
      Pages 71-84
    2. Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz et al.
      Pages 85-98
  5. Session 4: Risk and Hazard Analysis

    1. Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi
      Pages 99-112
    2. Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig et al.
      Pages 113-127
  6. Session 5: Cybersecurity

    1. Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli
      Pages 128-142
    2. Luigi Coppolino, Salvatore D’Antonio, Ivano Alessandro Elia, Luigi Romano
      Pages 143-156
  7. Session 6: RAM Evaluation 2

    1. Kossi Tiassou, Karama Kanoun, Mohamed Ka, Christel Seguin, Chris Papadopoulos
      Pages 157-170
    2. Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D’Acierno, Bruno Montella, Vincenzo Punzo et al.
      Pages 171-184
  8. Session 7: Case Studies

    1. Richard Hawkins, Kester Clegg, Rob Alexander, Tim Kelly
      Pages 185-198
    2. Luigi Coppolino, Salvatore D’Antonio, Valerio Formicola, Luigi Romano
      Pages 199-212
    3. Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono
      Pages 213-227
  9. Session 8: Formal Verification 2

    1. Matt Webster, Michael Fisher, Neil Cameron, Mike Jump
      Pages 228-242
    2. Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson
      Pages 243-256
  10. Poster Session

    1. Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer
      Pages 257-269

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011.

The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.

Keywords

aerospace systems model checking risk managment safety-critical systems systems validation

Editors and affiliations

  • Francesco Flammini
    • 1
  • Sandro Bologna
    • 2
  • Valeria Vittorini
    • 3
  1. 1.Ansaldo STSNapoliItaly
  2. 2.Italian Association Critical Infrastructure (AIIC)RomeItaly
  3. 3.Dipartimento di Informatica e SistemisticaUniversità di Napoli Federico IINapoliItaly

Bibliographic information

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