Draft Programme

Tuesday, 25 September 2001

08.00 – 15.00 Pre-registration at Hotel Ventura***,
(1119 Budapest, Fehérvári út 179.)
09:00 – 17:30 Tutorials 1-3
18:00 – 22:00 Pre-registration at Pest Conference Center
(Federation of Technical and Scientific Societies 1055 Budapest, Kossuth tér 6-8.)
19:30 – 22:00 Get-together Party

Wednesday, 26 September 2001

8:00 – 9:00 Registration at Hotel Gellért
9:00 – 9:30 Opening Session: Welcome by General Chair,
Programme Chair, EWICS Chair, Local Chair
9:30 – 10:30 Invited Paper: Designing Safety into Medical Decisions and Clinical Processes
John Fox, Imperial Cancer Research Fund, UK
10:30 – 11:00 Coffee break
11:00 – 12:30






Session 1: Reliability Assessment and Security
(Chair: Peter Daniel, Marconi Secure Systems, UK)

Security Assessments of Safety Critical Systems Using HAZOPs
Rune Winther, Ostfold University College, NO, Ole-Arnt Johnsen, moreCom, NO, and Bjřrn Axel Gran, OECD Halden, NO

Network Security for Substation Automation Systems
M. Naedele, Dacfey. Dzung, Michael. Stanimirov ABB,CH

A Bayesian Belief Network for Reliability Assessment
Bjřrn Axel Gran, OECD Halden, NO and Atte Helminen, VTT Automation, FI

12:30 – 14:00 Lunch
14:00 – 15:30




Session 2: Safety Case and Safety Analysis
(Chair: Robin Bloomfield, Adelard, UK)

Checking General Safety Criteria on UML Statecharts
Zsigmond Pap, István Majzik and András Pataricza, Budapest University, HU

Presenting a Safety Case – A case study
Odd Nordland, SINTEF, NO

Safety Functions versus Control Functions
Hans Fankhauser, Bombardier, SE

15:30 – 16:00 Tea break
16:00 – 17:00




Session 3: Medical Systems
(Chair: Bas de Mol, AMC, NL)

A Modern Fault-Tolerant Ventilator System
Uwe Becker, MUEFA, DE

A Fail-Safe Dual Channel Robot Control for Surgery Applications
Ulrich Laible, Thomas Bürger and Günter Pritschow, University of Stuttgart, DE

17:00 – 18:00 Panel: Risk and Medical Systems

Thursday, 27 September 2001

9:00 – 10:00 Invited paper: Modelling the Human in Human Factors –
John Rushby, SRI, US
10:00 – 10:30 Coffee break
10:30 – 11:30




Session 4: Human Machine Interface
(Chair: Floor Koornneef, TU Delft, NL)

Analyzing Human-Machine Interactions in Safety-Critical : A Basic Applicable Approach
Oliver Mäckel and Georg Hoever, Siemens AG, DE

Analysis of Incidents Involving Interactive Systems
Alberto Pasquini, Antonio Rizzo, ENEA, IT and Luca Save, University of Siena ,IT

11:30 – 12:30




Session 5: COTS
(Chair: Robert Garnier, Schneider Electric, FR)

Experimental Evaluation of Fault Handling Mechanisms
Piotr Gawkowski and Janusz Sosnowski, Warsaw University of Technology, PL

The COTS Debate in Perspective
Felix Redmill, Redmill Consultancy, UK

12:30 – 14:00 Lunch
14:00 – 15:30







Session 6: Testing
(Chair: Gerd Rabe, TÜV Nord, DE)

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
M. Kaaniche, Y. Le Guedart, J. Arlat, T. Boyer, LAAS-CNRS, FR and thiery Boyer, Technicatom, FR

A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures
Ioannis. Vakalis, JRC Ispra, IT

The Effectiveness of Statistical Testing when Applied to Logic Systems
Silke Kubal, Gordon Hughes, John H.R. May, Julio Gallardo, University of Bristol, UK, and Andrew D. John, Roy B. Carter, NNC, UK

15:30 – 16:00 Tea break
16:00 – 17:30




Session 7: Formal Methods
(Chair: Stuart Anderson, University Edinburgh, UK)

A Classification Scheme for Software Verification Tools with regard to RTCA-DO-178B
Günther Zoffmann, Christian Reumann, Gerald Sonneck, Manfred Gingerl, ARCS, AT

Safety Patterns – the Key to Formal Specification of Safety Requirements
Friedemann Bitsch, University of Stuttgart, DE

Formal Support for Fault Modelling and Analysis
Tadeusz Cichocki, Adtranz Zwus, PL, and Januzs Górski, Technical University of Gdansk, PL

19:00 – 22:30 Conference Dinner

Friday, 28 September 2001

9:00 – 10:00 Invited paper: Project Experience with IEC 61508 and its Consequences
Rainer Faller, exida.com, DE
10:00 – 10:30 Coffee break
10:30 – 12:00





Session 8: Control Systems
(Chair: Meine van der Meulen, Simtech, NL)

About the Design of Distributed Control Systems: the Quasi-Synchronous Approach
Paul Caspi, VERIMAG, FR, Christine Mazuet and Natacha Reynaud-Paligot, Schneider Electric, FR

Dependability Evaluation – From Functional to Structural Modelling
Claudia Betous-Almeida and Karama Kanoun, LAAS-CNRS, FR

Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
Stefano Porcarelli, University of Pisa, IT, Felicita Di Giandomenico, IEI-CNR, IT, Amine Chohra, IEI-CNR, IT, and Andrea Bondavalli, University of Firenze, IT

12:00 – 12:30 Closing Session
Review of Safecomp 2001
Invitation to Safecomp 2002
12:30 – 14:00 Lunch