Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

Willem Ridderhof, Hans-Gerhard Gross, Heiko Doerr (auth.), Francesca Saglietti, Norbert Oster (eds.)3540751009, 9783540751007

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 gratefully acknowledged.

---

Table of contents :
Front Matter….Pages –
Establishing Evidence for Safety Cases in Automotive Systems – A Case Study….Pages 1-13
Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges….Pages 14-27
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety….Pages 28-39
Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment….Pages 40-53
Modelling Interdependencies Between the Electricity and Information Infrastructures….Pages 54-67
Handling Malicious Code on Control Systems….Pages 68-74
Management of Groups and Group Keys in Multi-level Security Environments….Pages 75-80
Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems….Pages 81-86
RAMSS Analysis for a Co-operative Integrated Traffic Management System….Pages 87-92
Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks….Pages 93-99
Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System….Pages 100-105
Compositional Temporal Fault Tree Analysis….Pages 106-119
Representing Parameterised Fault Trees Using Bayesian Networks….Pages 120-133
Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model….Pages 134-147
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System….Pages 148-161
Specification of a Software Common Cause Analysis Method….Pages 162-171
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety….Pages 172-186
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation….Pages 187-196
Survival by Deception….Pages 197-208
How to Secure Bluetooth-Based Pico Networks….Pages 209-223
Learning from Your Elders: A Shortcut to Information Security Management Success….Pages 224-237
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees….Pages 238-251
Safety Process Improvement with POSE and Alloy….Pages 252-257
Defense-in-Depth and Diverse Qualification of Safety-Critical Software….Pages 258-263
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer….Pages 264-269
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches….Pages 270-275
Modeling, Analysis and Testing of Safety Issues – An Event-Based Approach and Case Study….Pages 276-282
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications….Pages 283-288
Safety Demonstration and Software Development….Pages 289-300
Improving Test Coverage for UML State Machines Using Transition Instrumentation….Pages 301-314
Verification of Distributed Applications….Pages 315-328
Analysis of Combinations of CRC in Industrial Communication….Pages 329-341
A Comparison of Partitioning Operating Systems for Integrated Systems….Pages 342-355
Software Encoded Processing: Building Dependable Systems with Commodity Hardware….Pages 356-369
Reliability Modeling for the Advanced Electric Power Grid….Pages 370-383
Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay….Pages 384-396
A Reliability Evaluation of a Group Membership Protocol….Pages 397-410
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity….Pages 411-416
A Tool for Network Reliability Analysis….Pages 417-422
DFT and DRBD in Computing Systems Dependability Analysis….Pages 423-429
Development of Model Based Tools to Support the Design of Railway Control Applications….Pages 430-435
Formal Specification and Analysis of AFDX Redundancy Management Algorithms….Pages 436-450
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts….Pages 451-464
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE….Pages 465-478
Experimental Assessment of Astrée on Safety-Critical Avionics Software….Pages 479-490
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach….Pages 491-504
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements….Pages 505-517
Controller Architecture for Safe Cognitive Technical Systems….Pages 518-531
Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software….Pages 532-545
Back Matter….Pages –