Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

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