23. SAFECOMP 2004: Potsdam, Germany

Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (Eds.): Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Lecture Notes in Computer Science 3219 Springer 2004, ISBN 3-540-23176-5

Invited Talk

Andreas Pfitzmann:
Why Safety and Security Should and Will Merge. 1-2

Safety Cases

James M. Armstrong, Stephen Paynter:
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. 3-16
Zeshan Kurd, Tim Kelly:
Using Fuzzy Self-Organising Maps for Safety Critical Systems. 17-30
Lars-Henrik Eriksson:
Using Formal Methods in a Retrospective Safety Case. 31-44

Reliability

Hamid R. Zarandi, Seyed Ghassem Miremadi:
A Highly Fault Detectable Cache Architecture for Dependable Computing. 45-59
J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen:
An Empirical Exploration of the Difficulty Function. 60-71
Titos Saridakis:
Towards the Integration of Fault, Resource, and Power Management. 72-86

Human Factors

Michael Cebulla:
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems. 87-100
Bettina Buth:
Analysing Mode Confusion: An Approach Using FDR2. 101-114

Invited Talk

D. Essame:
Handling Safety Critical Requirements in System Engineering Using the B Formal Method . 115

Transportation

Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo:
A Hybrid Testing Methodology for Railway Control Systems. 116-129
Per Johannessen, Fredrik Törner, Jan Torin:
Actuator Based Hazard Analysis for Safety Critical Systems. 130-141
Ester Ciancamerla, Michele Minichino:
Performability Measures of the Public Mobile Network of a Tele Control System. 142-154

Software Development

Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee:
PLC-Based Safety Critical Software Development for Nuclear Power Plants. 155-165
Holger Giese, Matthias Tichy, Daniela Schilling:
Compositional Hazard Analysis of UML Component and Deployment Models. 166-179
E. Dillon, Christophe Meudec:
Automatic Test Data Generation from Embedded C Code. 180-194

Fault Tree Analysis

Bernhard Kaiser, Catharina Gramlich:
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. 195-209
Richard Banach, R. Cross:
Safety Requirements and Fault Trees Using Retrenchment. 210-223
D. Rehage, Udo B. Carl, M. Merkel, A. Vahl:
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics. 224-238

Invited Talk

Ralf Guido Herrtwich:
Automotive Telematics - Road Safety Versus IT Security? 239

Formal Methods and Systems

Holger Pfeifer, Friedrich W. von Henke:
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. 240-253
Linas Laibinis, Elena Troubitsyna:
Refinement of Fault Tolerant Control Systems in B. 254-268
M. Vollmer:
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems. 269-282

Security and Quality of Service

Alessandro Aldini, Marco Bernardo:
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. 283-296
João Durães, Marco Vieira, Henrique Madeira:
Dependability Benchmarking of Web-Servers. 297-310

Hazard and Risk Analysis

Bjørn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem:
An Approach for Model-Based Risk Assessment. 311-324
Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp:
How Explicit Are the Barriers to Failure in Safety Arguments? 325-338

Last update Wed May 22 16:26:24 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page