20. SAFECOMP 2001: Budapest, Hungary

@proceedings{DBLP:conf/safecomp/2001,
  editor    = {Udo Voges},
  title     = {Computer Safety, Reliability and Security, 20th International
               Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28,
               2001, Proceedings},
  booktitle = {SAFECOMP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2187},
  year      = {2001},
  isbn      = {3-540-42607-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

• John Fox:
  Designing Safety into Medical Decisions and Clinical Processes. 1-13
  

Reliability Asessment and Security

• Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran:
  Security Assessments of Safety Critical Systems Using HAZOPs. 14-24
  
• Martin Naedele, Dacfey Dzung, Michael Stanimirov:
  Network Security for Substation Automation Systems. 25-34
  
• Bjørn Axel Gran, Atte Helminen:
  A Bayesian Belief Network for Reliability Assessment. 35-45
  

Safety Case and Safety Analysis

• Zsigmond Pap, István Majzik, András Pataricza:
  Checking General Safety Criteria on UML Statecharts. 46-55
  
• Odd Nordland:
  Presenting a Safety Case - A Case Study. 56-65
  
• Hans R. Fankhauser:
  Safety Functions versus Control Functions. 66-74
  

Medical Systems

• Ulrich Laible, Thomas Bürger, Günter Pritschow:
  A Fail-Safe Dual Channel Robot Control for Surgery Applications. 75-85
  

Invited Paper

• John M. Rushby:
  Modeling the Human in Human Factors. 86-91
  

Human Machine Interface

• Oliver Mäckel, Georg Hoever:
  Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach. 92-99
  
• Alberto Pasquini, Antonio Rizzo, Luca Save:
  Analysis of Incidents Involving Interactive Systems. 100-108
  

COTS - Components off the Shelf

• Piotr Gawkowski, Janusz Sosnowski:
  Experimental Evaluation of Fault Handling Mechanisms. 109-118
  
• Felix Redmill:
  The COTS Debate in Perspective. 119-129
  

Testing

• Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer:
  An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. 130-144
  
• Ioannis Vakalis:
  A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures. 145-155
  
• Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter:
  The Effectiveness of Statistical Testing when Applied to Logic Systems. 156-165
  

Formal Methods

• Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck:
  A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. 166-175
  
• Friedemann Bitsch:
  Safety Patterns - The Key to Formal Specification of Safety Requirements. 176-189
  
• Tadeusz Cichocki, Janusz Górski:
  Formal Support for Fault Modelling and Analysis. 190-199
  

Invited Paper

• Rainer Faller:
  Project Experience with IEC 61508 and Its Consequences. 200-214
  

Control Systems

• Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot:
  About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. 215-226
  
• Cláudia Betous-Almeida, Karama Kanoun:
  Dependability Evaluation. 227-237
  
• Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli:
  Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. 238-248