| Invited Talk |
| Why Safety and Security Should and Will Merge / A. Pfitzmann |
| Safety Cases |
| The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter |
| Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly |
| Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson |
| Reliability |
| A Highly Fault Detectable Cache Architecture for Dependable Computing / H.R. Zarandi ; S.G. Miremadi |
| An Empirical Exploration of the Difficulty Function / J.G.W. Bentley ; P.G. Bishop ; M. van der Meulen |
| Towards the Integration of Fault, Resource, and Power Management / T. Saridakis |
| Human Factors |
| Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems / M. Cebulla |
| Analysing Mode Confusion: An Approach Using FDR2 / B. Buth |
| Handling Safety Critical Requirements in System Engineering Using the B Formal Method / D. Essame |
| Transportation |
| A Hybrid Testing Methodology for Railway Control Systems / G. De Nicola ; P. di Tommaso ; R. Esposito ; F. Flammini ; A. Orazzo |
| Actuator Based Hazard Analysis for Safety Critical Systems / P. Johannessen ; F. Torner ; J. Torin |
| Performability Measures of the Public Mobile Network of a Tele Control System / E. Ciancamerla ; M. Minichino |
| Software Development |
| PLC-Based Safety Critical Software Development for Nuclear Power Plants / J. Yoo ; S. Cha ; H.S. Son ; C.H. Kim ; J.-S. Lee |
| Compositional Hazard Analysis of UML Component and Deployment Models / H. Giese ; M. Tichy ; D. Schilling |
| Automatic Test Data Generation from Embedded C Code / E. Dillon ; C. Meudec |
| Fault Tree Analysis |
| State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems / B. Kaiser ; C. Gramlich |
| Safety Requirements and Fault Trees Using Retrenchment / R. Banach ; R. Cross |
| The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics / D. Rehage ; U.B. Carl ; M. Merkel ; A. Vahl |
| Automotive Telematics - Road Safety Versus IT Security? / R.G. Herrtwich |
| Formal Methods and Systems |
| Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture / H. Pfeifer ; F.W. von Henke |
| Refinement of Fault Tolerant Control Systems in B / L. Laibinis ; E. Troubitsyna |
| Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems / M. Vollmer |
| Security and Quality of Service |
| An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth / A. Aldini ; M. Bernardo |
| Dependability Benchmarking of Web-Servers / J. Duraes ; M. Vieira ; H. Madeira |
| Hazard and Risk Analysis |
| An Approach for Model-Based Risk Assessment / B.A. Gran ; R. Fredriksen ; A.P.-J. Thunem |
| How Explicit Are the Barriers to Failure in Safety Arguments? / S.P. Smith ; M.D. Harrison ; B.A. Schupp |
| Author Index |
| Invited Talk |
| Why Safety and Security Should and Will Merge / A. Pfitzmann |
| Safety Cases |
| The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter |
| Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly |
| Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson |
