Computer Safety, Reliability, and Security

1. Front Matter

   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

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.

• aerospace systems
• model checking
• risk managment
• safety-critical systems
• systems validation
• algorithm analysis and problem complexity

• 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

Policies and ethics