09:00 - 09:30 |
ECCE-11 & SAFECOMP
2002 Joint Session
-
ECCE-11 & SAFECOMP 2002 Welcome - Sandro
Bologna (ENEA, I), Erik Hollnagel (University of Linköping, S)
-
Session Rationale: Human-Computer System Dependability
- Sandro Bologna (ENEA, I), Erik Hollnagel (University of Linköping,
S)
-
Dependability of Joint Human-Computer System
- Erik Hollnagel (University of Linköping, S)
|
09:30 - 10:00 |
Panel 1: Position Statements
- Chairs: Sandro Bologna (ENEA, I), Erik Hollnagel (University of Linköping,
S)
-
Christopher Barlett (BAE SYSTEMS Avionics Ltd, UK)
-
Helmut Bezecny (DOW Deutschland, D)
-
Bjørn Axel Gran (Institutt for Energiteknikk,
NO)
|
10:00 - 10:30 |
Discussion |
|
|
|
10:30 - 11:00 |
Coffee Break |
|
|
|
11:00 - 11:30 |
Panel 2: Position Statements
- Chairs: Sandro Bologna (ENEA, I), Erik Hollnagel (University of Linköping,
S)
-
Dino De Luca (NOKIA ITALIA S.p.A., I)
-
Bernard Pavard (IRIT - Université Paul Sabatier,
F)
-
Job Rutgers (Philips Design, NL)
|
11:30 - 12:00 |
Discussion |
|
|
|
12:00 - 12:30 |
European Commission Presentation
-
Dependability in the Information Society: getting
ready for the FP6 - Andrea Servida (European Commission)
|
12:30 - 14:00 |
Lunch |
|
|
|
14:00 - 14:30 |
Opening Session
-
SAFECOMP 2002 Welcome & Opening - Sandro
Bologna (ENEA, I)
-
EWICS TC7 Welcome - Udo Voges (Forschungszentrum
Karlsruhe, D)
-
SAFECOMP 2002 Presentation of the Technical Programme
- Stuart Anderson, Massimo Felici (University of Edinburgh, UK)
|
14:30 - 15:30 |
Session 1: Human Factors
-
A Rigorous View of Mode Confusion - Jan Bredereke,
Axel Lankenau (Universität Bremen, DE)
-
Dependability as Ordinary Action - Alexander
Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood (University
of Edinburgh, UK), Mark Rouncefield (University of Lancaster)
|
15:30 - 16:00 |
Coffee Break |
|
|
|
16:00 - 17:30 |
Session 2: Security
-
Practical Solutions to Key Recovery based on PKI
in IP Security - Yoon-Jung Rhee (Korea University, KR), Kwang-Moon
Cho (Cheonan University, KR), Tai-Yun Kim (Korea University, KR)
-
Redundant Data Acquisition in a Distributed Security
Compound - Thomas Droste (Ruhr-University Bochum, D)
-
Survivability Strategy for a Security Critical
Process - Ferdinand J. Dafelmair (TÜV Süddeutschland, D)
|
17:30 - 18:00 |
Poster Session 1: Dependability
Assessment
-
Statistical Comparison of Two Sum-of-Disjoint-Product
Algorithms for Reliability and Safety Evaluation - Klaus Heidtmann
(Hamburg University, D)
-
Safety and Security Analysis of Object-Oriented
Models - K. Lano, D. Clark, K. Androutsopoulos (King's College London,
UK)
-
The CORAS Framework for a model-based risk management
process - Rune Fredriksen, Monika Kristiansen, Bjørn-Axel Gran
(Institute for Energy Technology, NO), Ketil Stølen (Sintef Telecom
and Informatics, NO), Tom Arthur Opperud (Telenor Communications, NO),
Theo Dimitrakos (CLRC RAL, UK)
|
09:00 - 10:00 |
Keynote Speaker
-
Software Challenges in Aviation Systems - John C. Knight (University
of Virginia, US)
|
10:00 - 10:30 |
Poster Session 2: Application
of Formal Methods
-
A Strategy for Improving the Efficiency of Procedure Verification
- Wenhui Zhang (Chinese Academy of Sciences, CN)
-
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of
Belief and Time - M. Benerecetti (University of Naples, I), L. Spalazzi,
S. Tacconi (University of Ancona, I)
|
10:30 - 11:00 |
Coffee Break |
|
|
|
11:00 - 12:30 |
Session 3: Reliability
Assessment
-
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with
Off-the-Shelf Components - Peter Popov (City University, UK)
-
Assessment of the Benefit of Redundant Systems - Luping Chen, John
May, Gordon Hughes (University of Bristol, UK)
-
Estimating Residual Faults from Code Coverage - Peter G. Bishop
(Adelard and City University, UK)
|
12:30 - 14:00 |
Lunch |
|
|
|
14:00 - 15:30 |
Session 4: Design for Dependability
-
Towards a Metrics Based Verification and Validation Maturity Model
- Jef Jacobs (Philips Semiconductors, NL), Jos Trienekens (Eindhoven University
of Technology, NL)
-
Analysing the Safety of a Software Development Process - Stephen
Paynter, R.W. Born (MBDA Ltd., UK)
-
Software Criticality Analysis of COTS/SOUP - Peter Bishop, Robin
Bloomfield (Adelard and City University), Tim Clement, Sofia Guerra (Adelard)
|
15:30 - 16:00 |
Coffee Break |
|
|
|
16:00 - 17:30 |
Session 5: Safety Assessment
-
Methods of Increasing Modelling Power for Safety Analysis, Applied to
a Turbine Digital Control System - A. Bobbio (Università del
Piemonte Orientale, I) E. Ciancamerla (ENEA, I), G. Franceshinis (Università
del Piemonte Orientale, I), R. Gaeta (Università di Torino, I),
M. Minichino (ENEA, I), L.Portinale (Università del Piemonte Orientale,
I)
-
Checking Safe Trajectories of Aircraft Using Hybrid Automata - Ítalo
Romani de Oliveira, Paulo Sérgio Cugnasca (Escola Politécnica
da Universidade de São Paulo, BR)
-
Model-based On-line Monitoring Using a State Sensitive Fault Propagation
Model - Yiannis Papadopoulos (University of Hull, UK)
|
09:00 - 10:00 |
Keynote Speaker
-
On Diversity, and the Elusiveness of Independence - Bev Littlewood
(City University, UK)
|
10:00 - 10:30 |
Poster Session 3: Design
for Dependability
-
An Approach to a New Network Security Architecture for Academic Environments
- MahdiReza Mohajerani, Ali Moeini (University of Tehran, IR)
-
A Watchdog Processor Architecture with Minimal Performance Overhead
- Francisco Rodríguez, José Carlos Campelo, Juan José
Serrano (universidad Politéctnica de Valencia, E)
|
10:30 - 11:00 |
Coffee Break |
|
|
|
11:00 - 12:30 |
Session 6: Application
of Formal Methods
-
Model-cheching based on Fluid Petri Nets for the temperature control
system of the ICARO co-generative plant - M. Gribaudo (Università
di Torino, I), A. Horváth (University of Technology and Economics,
HU), A. Bobbio (Università del Piemonte Orientale, I), E. Tronci
(Università di Roma "La Sapienza", I), E. Ciancamerla, M. Minichino
(ENEA, I)
-
Assertion Checking Environment (ACE) for Formal Verification of C Programs
- Babita Sharma, S.D. Dhodapkar (Bhabha Atomic Research Centre, IN), S.
Ramesh (Centre for Formal Design and Verification of Software, IN)
-
Safety Analysis of the Height Control System for the Elbtunnel -
Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif (Universität
Augsburg, D), Bernhard Hering, Helmut Trappschuh (Siemens, D)
|
12:30 - 14:00 |
Lunch |
|
|
|
14:00 - 15:30 |
Session 7: Design for Dependability
-
Dependability and Configurability: Partners or Competitors in Pervasive
Computing? - Titos Saridakis (NOKIA Research Center, FIN)
-
Architectural Considerations in the Certification of Modular Systems
- Iain Bate, Tim Kelly (University of York, UK)
-
A Problem-Oriented Approach to Common Criteria Certification - Thomas
Rottke, Denis Hatebur (TÜVIT GmbH, D), Maritta Heisel (Technische
Universität Ilmenau, D), Monika Heiner (Brandenburgische Technische
Universität Cottbus, D)
|
15:30 - 16:00 |
Closing Session
-
SAFECOMP 2002 Review - Sandro Bologna (ENEA, I), Stuart Anderson,
Massimo Felici (University of Edinburgh, UK)
-
Presentation of SAFEOMP 2003 - Stuart Anderson, Massimo Felici (University
of Edinburgh, UK)
|