Computer Safety, Reliability, and Security

1. Front Matter

   PDF

2. Safety Cases

   1. Establishing Evidence for Safety Cases in Automotive Systems – A Case Study

      • Willem Ridderhof, Hans-Gerhard Gross, Heiko Doerr

      Pages 1-13

   2. Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges

      • Mark-Alexander Sujan, Floor Koornneef, Udo Voges

      Pages 14-27

3. Impact of Security on Safety

   1. Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety

      • Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb et al.

      Pages 28-39

   2. Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment

      • Andreas Lang, Jana Dittmann, Stefan Kiltz, Tobias Hoppe

      Pages 40-53

   3. Modelling Interdependencies Between the Electricity and Information Infrastructures

      • Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche

      Pages 54-67

4. Poster Session 1

   1. Handling Malicious Code on Control Systems

      • Wan-Hui Tseng, Chin-Feng Fan

      Pages 68-74

   2. Management of Groups and Group Keys in Multi-level Security Environments

      • Mohammad Alhammouri, Sead Muftic

      Pages 75-80

   3. Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems

      • Grzegorz J. Nalepa

      Pages 81-86

   4. RAMSS Analysis for a Co-operative Integrated Traffic Management System

      • Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck

      Pages 87-92

   5. Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks

      • S. M. Hadi Hosseini, Makoto Takahashi

      Pages 93-99

   6. Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System

      • Reiner Heilmann, Stefan Rothbauer, Ariane Sutor

      Pages 100-105

   7. Fault Tree Analysis

      1. Compositional Temporal Fault Tree Analysis

         • Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos

         Pages 106-119

      2. Representing Parameterised Fault Trees Using Bayesian Networks

         • William Marsh, George Bearfield

         Pages 120-133

      3. Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model

         • Andreas Lüdtke, Lothar Pfeifer

         Pages 134-147

   8. Safety Analysis

      1. Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System

         • Gee-Yong Park, Jang-Soo Lee, Se-Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh

         Pages 148-161

      2. Specification of a Software Common Cause Analysis Method

         • Rainer Faller

         Pages 162-171

      3. Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety

         • Weihang Wu, Tim Kelly

         Pages 172-186

      4. Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation

         • Hans Russo, Andreas Turk

         Pages 187-196

   9. Security Aspects

      1. Survival by Deception

         • Martin Gilje Jaatun, Åsmund Ahlmann Nyre, Jan Tore Sørensen

         Pages 197-208

Since 1979, when it was ?rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical?eldSAFECOMPo?ersaplatformforknowledge andtechnologytransferbetweenacademia,industry,researchandlicensingins- tutions, providing ample opportunities for exchanging insights, experiences and trends in the areas of safety, reliability and security regarding critical computer applications. In accordance with the growing spread of critical infrastructures involving both safety and security threats, this year’s SAFECOMP program included a considerable number of contributions addressing technical problems and engineering solutions across the border between safety-related and securi- related concerns. Thereactiontoourcallforpaperswasparticularlygratifyingandimpressive, including 136 full papers submitted by authors representing 29 countries from Europe,Asia, North and South America aswell asAustralia. The selection of 33 fullpapersand16shortpapersforpresentationandpublicationwasachallenging task requiring a huge amount of reviewing and organizational e?ort. In view of the particularly high number of articles submitted, obvious practical constraints led – to our regret – to the rejection of a considerable amount of high-quality work. To all authors, invited speakers, members of the International Program Committee and external reviewers go our heartfelt thanks! The local organization of SAFECOMP 2007, hosted in Nuremberg, is also gratefullyacknowledged.

• Processing
• Unified Modeling Language (UML)
• access control
• cognitive systems
• communication
• computer reliability
• computer security
• configuration
• correct systems behaviour
• data integrity
• dependability
• dynamic systems
• formal method
• operating system
• security

Policies and ethics