Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security

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

  • Conference proceedings
  • © 2011

Access provided by Autonomous University of Puebla

Download book PDF

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.

Buy print copy

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

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.

Similar content being viewed by others

Keywords

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
      Download chapter PDF

    2. Model-Driven Availability Evaluation of Railway Control Systems

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

  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
      Download chapter PDF

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

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

    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
      Download chapter PDF

  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
      Download chapter PDF

    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
      Download chapter PDF

  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
      Download chapter PDF

    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
      Download chapter PDF

  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
      Download chapter PDF

    2. Security Analysis of Smart Grid Data Collection Technologies

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

  7. Session 6: RAM Evaluation 2

    1. Modeling Aircraft Operational Reliability

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

    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
      Download chapter PDF

  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
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

  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
      Download chapter PDF

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

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

  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
      Download chapter PDF
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

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