28. SAFECOMP 2009: Hamburg, Germany

Invited Talks

• Anne Elisabeth Haxthausen:
  A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. 1-3
  

Medical Systems

• Uwe Becker:
  Model-Based Development of Medical Devices. 4-17
  
• Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton:
  Why Are People's Decisions Sometimes Worse with Computer Support?. 18-31
  

Industrial Experience

• Friedemann Bitsch, Ulrich Feucht, Huw Gough:
  Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. 32-45
  
• Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe:
  Probability of Failure on Demand - The Why and the How. 46-54
  
• John Eidar Simensen, Christian Gerst, Bjørn Axel Gran, Josef Märtz, Horst Miedl:
  Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. 55-66
  

Security Risk Analysis

• Johan Åkerberg, Mats Björkman:
  Exploring Network Security in PROFIsafe. 67-80
  
• Vincenzo Fioriti, Silvia Ruzzante, Elisa Castorini, A. Di Pietro, Alberto Tofani:
  Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms. 81-88
  
• Geraldine Vache:
  Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security. 89-102
  

Safety Guidelines

• Carlos G. Bilich, Zaijun Hu:
  Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508. 103-117
  
• Michaela Huhn, Axel Zechner:
  Analysing Dependability Case Arguments Using Quality Models. 118-131
  
• Zaijun Hu, Carlos G. Bilich:
  Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB. 132-144
  

Automotive

• Tobias Hoppe, Stefan Kiltz, Jana Dittmann:
  Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats. 145-158
  
• Thomas Gruber, Egbert Althammer, Erwin Schoitsch:
  Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. 159-172
  

Aerospace

• Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
  The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. 173-186
  
• Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
  Formal Verification of a Microkernel Used in Dependable Software Systems. 187-200
  
• Brian Butka, Janusz Zalewski, Andrew J. Kornecki:
  Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. 201-214
  

Verification, Validation, Test

• Xiaocheng Ge, Richard F. Paige, John A. McDermid:
  Probabilistic Failure Propagation and Transformation Analysis. 215-228
  
• Mohammad Zulkernine, Mohammad Feroz Raihan, Mohammad Gias Uddin:
  Towards Model-Based Automatic Testing of Attack Scenarios. 229-242
  
• Andreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad:
  CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting. 243-256
  

Fault Tolerance

• Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin:
  Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. 257-269
  
• Thomas Steffen, Frank Schiller, Michael Blum, Roger Dixon:
  Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel. 270-282
  
• Christof Fetzer, Ute Schiffel, Martin Süßkraut:
  AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. 283-296
  

Dependability

• Dominik Domis, Mario Trapp:
  Component-Based Abstraction in Fault Tree Analysis. 297-310
  
• Denis Hatebur, Maritta Heisel:
  A Foundation for Requirements Analysis of Dependable Software. 311-325
  
• Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska:
  Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. 326-341