Computer Safety, Reliability, and Security : 23rd International Conference, Safecomp 2004, Potsdam, Germany, September 21-24,2004, Proceedings

by Heisel, Maritta; Liggesmeyer, Peter; Wittmann, Stefan; Safecomp 200 (2004 Potsdam, Germany)

• ISBN13: 9783540231769
• ISBN10: 3540231765
• Format: Paperback
• Copyright: 2004-11-15
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, held in Potsdam, Germany, in September 2004. The 24 revised full papers presented together with abstracts of 3 invited presentations were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on safety cases, reliability , human factors, transportation, software development, fault tree analysis, formal methods and systems, security and quality of services, and hazard and risk analysis.

Table of Contents

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