21. SAFECOMP 2002: Catania, Italy

@proceedings{DBLP:conf/safecomp/2002,
  editor    = {Stuart Anderson and
               Sandro Bologna and
               Massimo Felici},
  title     = {Computer Safety, Reliability and Security, 21st International
               Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002,
               Proceedings},
  booktitle = {SAFECOMP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2434},
  year      = {2002},
  isbn      = {3-540-44157-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)

• Sandro Bologna, Erik Hollnagel:
  Human-Computer System Dependability. 1-3
  
• Erik Hollnagel:
  Dependability of Joint Human-Computer Systems. 4-9
  

Keynote Talk

• Andrea Servida:
  Dependability in the Information Society: Getting Ready for the FP6. 10-18
  

Human Factors

• Jan Bredereke, Axel Lankenau:
  A Rigorous View of Mode Confusion. 19-31
  
• Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield:
  Dependability as Ordinary Action. 32-43
  

Security

• Yoon-Jung Rhee, Tai-Yun Kim:
  Practical Solutions to Key Recovery Based on PKI in IP Security. 44-52
  
• Thomas Droste:
  Redundant Data Acquisition in a Distributed Security Compound. 53-60
  
• Ferdinand J. Dafelmair:
  Survivability Strategy for a Security Critical Process. 61-69
  

Dependability Assessment (Poster Session)

• Klaus D. Heidtmann:
  Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation. 70-81
  
• Kevin Lano, David Clark, Kelly Androutsopoulos:
  Safety and Security Analysis of Object-Oriented Models. 82-93
  
• Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos:
  The CORAS Framework for a Model-Based Risk Management Process. 94-105
  

Keynote Talk

• John C. Knight:
  Software Challenges in Aviation Systems. 106-112
  

Application of Formal Methods (Poster Session)

• Wenhui Zhang:
  A Strategy for Improving the Efficiency of Procedure Verification. 113-125
  
• Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi:
  Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. 126-138
  
• Peter T. Popov:
  Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. 139-150
  

Reliability Assessment

• Luping Chen, John H. R. May, Gordon Hughes:
  Assessment of the Benefit of Redundant Systems. 151-162
  
• Peter G. Bishop:
  Estimating Residual Faults from Code Coverage. 163-174
  

Design for Dependability

• Jef Jacobs, Jos J. M. Trienekens:
  Towards a Metrics Based Verification and Validation Maturity Model. 175-185
  
• Stephen Paynter, Bob W. Born:
  Analysing the Safety of a Software Development Process. 186-197
  
• Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra:
  Software Criticality Analysis of COTS/SOUP. 198-211
  

Safety Assessment

• Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale:
  Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. 212-223
  
• Ítalo Romani de Oliveira, Paulo Sérgio Cugnasca:
  Checking Safe Trajectories of Aircraft Using Hybrid Automata. 224-235
  
• Yiannis Papadopoulos:
  Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. 236-248
  

Keynote Talk

• Bev Littlewood:
  On Diversity, and the Elusiveness of Independence. 249-251
  

Design for Dependability (Poster Session)

• MahdiReza Mohajerani, Ali Moeini:
  An Approach to a New Network Security Architecture for Academic Environments. 252-260
  
• Francisco Rodríguez, José Carlos Campelo, Juan José Serrano:
  A Watchdog Processor Architecture with Minimal Performance Overhead. 261-272
  

Application of Formal Methods

• Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino:
  Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. 273-283
  
• Babita Sharma, S. D. Dhodapkar, S. Ramesh:
  Assertion Checking Environment (ACE) for Formal Verification of C Programs. 284-295
  
• Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh:
  Safety Analysis of the Height Control System for the Elbtunnel. 296-308
  

Design for Dependability

• Titos Saridakis:
  Dependability and Configurability: Partners or Competitors in Pervasive Computing? 309-320
  
• Iain Bate, Tim Kelly:
  Architectural Considerations in the Certification of Modular Systems. 321-333
  
• Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner:
  A Problem-Oriented Approach to Common Criteria Certification. 334-346