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 |
11:00-12:30 |
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)
|
12:30-13:00 |
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 |
14:30-16:00 |
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 |
16:30-17:30 |
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 |
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) |
10:00-10:30 |
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 |
11:00-13:00 |
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 |
14:30-16:00 |
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 |
16:30-18:00 |
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 |
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) |
10:00-10:30 |
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 |
11:00-13:00 |
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 |
14:30-16:00 |
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)
|
16:00-16:30 |
Closing Session
Safecomp'99 Review
Presentation of Safecomp 2000
|