Systems of Systems.- System of Systems Hazard Analysis Using Simulation and Machine Learning.- Through the Description of Attacks: A Multidimensional View.- On Certain Behavior of Scale-Free Networks Under Malicious Attacks.- Security and Survivability Analysis.- Verifying a Chipcard-Based Biometric Identification Protocol in VSE.- Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry.- Computer System Survivability Modelling by Using Stochastic Activity Network.- Nuclear Safety and Application of Standards.- Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.- Regulatory Software Configuration Management System Design.- Gaining Confidence in the Software Development Process Using Expert Systems.- Formal Approaches.- Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.- Stepwise Development of Secure Systems.- Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration.- Networks Dependability.- New VoIP Traffic Security Scheme with Digital Watermarking.- Towards Filtering and Alerting Rule Rewriting on Single-Component Policies.- Using Group Overlapping to Protect Server from Attack in Grid Computing.- Coping with Change and Mobility.- The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles.- Demonstration of Safety in Healthcare Organisations.- Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks.- Safety Analysis and Assessment.- Assessment of Hazard Identification Methods for the Automotive Domain.- A Tool for Databus Safety Analysis Using Fault Injection.- Towards a Unified Model-Based Safety Assessment.- Poster Session.- Reliability Analysis ofResilient Packet Rings.- Experiences with the Design of a Run-Time Check.- Development of an Integrated, Risk-Based Platform for Information and E-Services Security.- Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems.- Verification of Automatic Train Protection Systems with RTCP-Nets.- 6th FP Integrated Project DECOS.- Checking SCADE Models for Correct Usage of Physical Units.- Validation and Certification of Safety-Critical Embedded Systems – The DECOS Test Bench.- Encapsulating Application Subsystems Using the DECOS Core OS.- Modelling.- Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.- Access Control Coherence of Information Systems Based on Security Constraints.- Automatic Test Data Generation by Multi-objective Optimisation.