Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Francesco Flammini

    1. Ansaldo STS, Napoli, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sandro Bologna

    1. Italian Association Critical Infrastructure (AIIC), Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Valeria Vittorini

    1. Dipartimento di Informatica e Sistemistica, Università di Napoli Federico II, Napoli, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Download chapter PDF

  2. Session 1: Ram Evaluation 1

    1. The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software

      • Peter Popov, Gabriele Manno
      Pages 1-14

    2. Model-Driven Availability Evaluation of Railway Control Systems

      • Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
      Pages 15-28

  3. Session 2: Complex Systems Dependability 1

    1. Vertical Safety Interfaces – Improving the Efficiency of Modular Certification

      • Bastian Zimmer, Susanne Bürklen, Michael Knoop, Jens Höfflinger, Mario Trapp
      Pages 29-42

    2. DALculus – Theory and Tool for Development Assurance Level Allocation

      • Pierre Bieber, Rémi Delmas, Christel Seguin
      Pages 43-56

    3. Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach

      • 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. From Probabilistic Counterexamples via Causality to Fault Trees

      • Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
      Pages 71-84

    2. Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software

      • 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. Evolutionary Risk Analysis: Expert Judgement

      • Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi
      Pages 99-112

    2. Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems

      • Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig et al.
      Pages 113-127

  6. Session 5: Cybersecurity

    1. A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems

      • Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli
      Pages 128-142

    2. Security Analysis of Smart Grid Data Collection Technologies

      • Luigi Coppolino, Salvatore D’Antonio, Ivano Alessandro Elia, Luigi Romano
      Pages 143-156

  7. Session 6: RAM Evaluation 2

    1. Modeling Aircraft Operational Reliability

      • Kossi Tiassou, Karama Kanoun, Mohamed Ka, Christel Seguin, Chris Papadopoulos
      Pages 157-170

    2. An Integrated Approach for Availability and QoS Evaluation in Railway Systems

      • Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D’Acierno, Bruno Montella, Vincenzo Punzo et al.
      Pages 171-184

  8. Session 7: Case Studies

    1. Using a Software Safety Argument Pattern Catalogue: Two Case Studies

      • Richard Hawkins, Kester Clegg, Rob Alexander, Tim Kelly
      Pages 185-198

    2. Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study

      • Luigi Coppolino, Salvatore D’Antonio, Valerio Formicola, Luigi Romano
      Pages 199-212

    3. A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain

      • Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono
      Pages 213-227

  9. Session 8: Formal Verification 2

    1. Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems

      • Matt Webster, Michael Fisher, Neil Cameron, Mike Jump
      Pages 228-242

    2. Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT

      • Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson
      Pages 243-256

  10. Poster Session

    1. Establishing Confidence in the Usage of Software Tools in Context of ISO 26262

      • Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer
      Pages 257-269
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

Keywords

About this book

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.

Editors and Affiliations

  • Ansaldo STS, Napoli, Italy

    Francesco Flammini

  • Italian Association Critical Infrastructure (AIIC), Rome, Italy

    Sandro Bologna

  • Dipartimento di Informatica e Sistemistica, Università di Napoli Federico II, Napoli, Italy

    Valeria Vittorini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation