(Programme.pdf file 99k)

Sunday, 26th September

 18:00-19:00   Registration at Grand Hôtel de l'Opéra (Place du Capitole)
 19:00 Welcome Reception at Grand Hôtel de l'Opéra


Monday, 27th September

 08:15 Bus departure from Place Wilson
 08:30-09:00   Registration (LAAS-CNRS)
 09:00-09:30 Opening Session
Welcome of the General Chair, Programme Committee Chair and EWICS-TC7 Chair
 09:30-10:30 Invited Talk: Diversity for Dependability - J. C. Laprie (LAAS-CNRS, F)
 10:30-11:00  Coffee break

Session 1: Assessment and Certification (Chair: U. Voges, Institut für Angewandte Informatik, D)

  • A Systematic Approach to Safety Case Maintenance - T. Kelly, J. McDermid (University of York, UK)
  • SQUALE Dependability Assessment Criteria - Y. Deswarte, M. Kaâniche (LAAS-CNRS, F), P. Corneillie (CR2A-DI, F), J. Goodson (Admiral, UK)
  • Assessment of Safety-Critical Digital Architectures, the ACRuDA Project - G. Sonneck, E. Schoitsch (ARCS, A)

Poster Session PS1: Safety Assessment and Human Factors (Chair: U. Voges, Institut für Angewandte Informatik, D)

  • Safety Evaluation of a Train Leader Telephone System - G. Dahll (Institute for Energy Technology, NO)
  • Validating Formal Verification using Safety Analysis Techniques - R. de Lemos, A. Saeed (University of Newcastle upon Tyne, UK)
  • Evaluating the Contribution of Desktop VR for Safety-Critical Applications - C. Johnson (University of Glasgow, UK)
  • Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces - L.V.L. Filgueiras, L. Gualberto (Escola Politécnica da Universidade de São Paulo, BR)
  • The Impact of Different Media on Safety and Usability of Interactive ATC Applications - F. Paternò, C. Santoro, (CNUCE ­ CNR, I), S. Tahmassebi (CENA, F)
13:00-14:30  Lunch

Session 2: Human Factors (Chair: A. Rizzo, University of Siena, I)

  • Patterns for Safer Human-Computer Interfaces - A. Hussey (University of Queensland, AU)
  • Impact of Communications on Systems Dependability - Human Factor Perspectives - L. Rognin (University of Limerick, IRL), J.P. Blanquart (LIS, F)
  • A Method for Operator Error Detection based on Plan Recognition - J. Mo, Y. Crouzet (LIS / LAAS-CNRS, F)
 16:00-16:30 Coffee break and Exhibition of Posters PS1

Session 3:  Safety Assessment (Chair: J. Trienekens, University of Technology Eindhoven, NL)

  • Hierarchically Performed Hazard Origin and Propagation Studies - Y. Papadopoulos, J. A. McDermid (University of York, UK)
  • Hardware Redundant Vital Computers - Demonstration of Safety on the Basis
    of Current Standards - H. Krebs (TÜV Rheinland, D), S. Mitra (Lloyds Register of Shipping, UK)
 18:00  Mayor


Tuesday, 28th September

 08:15  Bus Departure from Place Wilson
 09:00-10:00 Invited Talk: Software Reliability Engineering in Industrial Contexts - J.D. Musa (Software Reliability Engineering and Testing Courses, USA)

 Poster Session PS2 : Design for Safety (Chair: E. Schoitsch, ARCS, A)

  • System and Software Safety Analysis for the ERA Control Computer- P.G. Berthuizen, W. Kruidhof (Fokker Space B. V., NL)
  • Safety Markup Language: Concept and Application - C. F. Fan (Yuan-Ze University, TW), S. Yih (Inst. of Nuclear Energy Research, TW)
  • Extendable Ground-to-Air Communication Architecture for CoDySa - A. Pakstas (University of Sunderland, UK), I. Shagaev (Inst. for Control Sciences, RU)
  • Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems - J.C. Campelo, P. Yuste, F. Rodríguez, P. Gil, J.J. Serrano (Technical University of Valencia, E)
  • The Development of a Commercial "Shrink-Wrapped Application"
    to IEC61508 Safety Integrity Level 2: the DUST-EXPERT Story - T. Clement, I. Cottam, P. Froome, C. Jones (Adelard, UK)
 10:30-11:00  Coffee break and Exhibition of Posters PS2

Session 4 : Verification and Testing (Chair: T. Skramstad, Det norske Veritas, NO)

  • Safety Verification of ADA95 Programs Using Software Fault Trees - S.Y. Min, Y.K. Jang, S.D. Cha, Y.R. Kwon, D.H. Bae (Korea Advanced Institute of Science and Technology, KR)
  • Programming Rule Static Verification for Reliable Software - P. Robert (ISOscope, F)
  • Automated Black-Box Testing with Abstract VDM Oracles - B.K. Aichernig (Technical University of Graz, A)
  • Towards Statistical Control of an Industrial Test Process - G. Lombardi, E. Peciola (Ericsson, I), R. Mirandola (Università "Tor Vergata", I), A. Bertolino, E. Marchetti (IEI ­ CNR, I)
 13:00-14:30  Lunch

 Session 5 : Design for Safety (Chair: A. Costes, LAAS-CNRS, F)

  • Choosing Effective Methods for Diversity-how to Progress from Intuition
    to Science - P. Popov (City University, London, UK), A. Romanovsky (University of Newcastle upon Tyne, UK), L. Strigini (City University, London, UK)
  • A First Step Towards the Integration of Accident Reports and Constructive Design Documents - C. Johnson (University of Glasgow, UK)
  • A Holistic Design Concept to Improve Safety Related Control Systems - M. Wimmer (University of Siena, I), M.A. Sujan (University of Karlsruhe, D),
    A. Rizzo (University of Siena, I)
 16:00-16:30  Coffee break

Session 6 : Dependability Analysis and Evaluation (Chair: R. Genser, Technical University of Vienna, A)

  • Comparing Fault Trees and Bayesian Networks for Dependability Analysis - A. Bobbio, L. Portinale (Università del Piemonte Orientale "A. Avogadro", I), M. Minichino, E. Ciancamerla (ENEA, I)
  • FlexFi: a Flexible Fault Injection Environment for Microprocessor-Based Systems - A. Benso, M. Rebaudengo, M. Sonza Reorda (Politecnico di Torino, I)
  • Structural Software Reliability Estimation - S. Kuball, J. May, G. Hughes (University of Bristol, UK)
 19:30 Visit of Toulouse Space Museum "Cité de l'Espace" and Banquet


Wednesday, 29th September

 08:15  Bus Departure from Place Wilson
 09:00-10:00  Invited Talk : Standards for Airborne Systems Safety - A Consistent and Integrated Approach - J. M. Nogue (Aerospatiale Airbus, F)

Poster Session PS3: Formal Methods and Security (Chair: S. Wittman, BA für Sicherheit in der Informationstechnik, D)

  • Hazard Analysis in Formal Specification - K. Sere, E. Troubitsyna (Turku Centre for Computer Science, FIN)
  • Modeling Safety-Critical Systems with Z and Petri Nets - M. Heiner (Brandenburgische Technische Universität Cottbus, D), M. Heisel (Otto-von-Guericke-Universität Magdeburg, D)
  • On Formal Languages for Sequences of Authorization Transformations - Y. Bai, V. Varadharajan (University of Western Sydney Nepean, AU)
  • Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability - I. Czarnowski, P. Jedrzejowicz, E. Ratajczak (Gdynia Maritime Academy, PL)
 10:30-11:00  Coffee break and Exhibition of Posters PS3

Session 7 : Formal Methods (Chair: R. Bloomfield, Adelard, UK)

  • Formal Design of Distributed Control Systems with Lustre - P. Caspi (VERIMAG, F), C. Mazuet (Schneider Electric, F), Rym Salem (VERIMAG, F), Daniel Weber (Schneider Electric, F)
  • Formal Specification and Development of a Safety-Critical Train Management System - A. Chiappini (Ansaldo Segnalamento Ferroviario, I), A. Cimatti (IRST, I), C. Porzia, G. Rotondo (Ansaldo Segnalamento Ferroviario, I), R. Sebastiani, P. Traverso, A. Villafiorita (IRST, I)
  • Formal Validation of the GUARDS Inter-Consistency Mechanism - C. Bernardeschi (Università di Pisa, I), A. Fantechi (Università di Firenze, I), S. Gnesi (IEI ­ CNR, I)
  • A Graphical Environment for the Specification and Verification of Reactive Systems - A.K. Bhattacharjiee, S.D. Dhodapkar (Bhabha Atomic Research Centre, IN), S. Seshia, R.K. Shymasundar (School of Technology and Computer Science, IN)
 13:00-14:30 Lunch

Session 8 : Security (Chair: P. Daniel, GEC Marconi Secure Systems Ltd., UK)

  • Dependability Requirements and Security Architectures for the Healthcare/Medical Sector - G. Trouessin (CESSI/CNAMTS, F)
  • Three-Pass Hybrid Key Establishment Protocol based on ESIGN Signature - S. M. Lee, T. Y. Kim (Korea University, KR)
  • Integration of Safety and Security Requirements - D. Eames (RAF, UK), J. Moffett (University of York, UK)

Closing Session

Safecomp'99 Review
Presentation of Safecomp 2000