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 |