SAFECOMP 2003 Sessions
Session 1 - Formal Methods
- Elicitation and Validation of Graphical Dependability
Models - David Wright (City University, GB)
- Visual Modeling and Verification of Distributed Reactive
Systems - A. Iqbal, A.K. Bhattacharjee, S.D. Dhodapkar (Bhabba
Atomic Research Centre, IN), S. Ramesh (Indian Institute of Technology,
IN)
- Automatic Timeliness Verification of a Public Mobile
Network - E. Ciancamerla, M. Minichino (ENEA, IT), S. Serro, E.
Tronci (Università di Roma "La Sapienza", IT)
- Improving System Reliability via Model Cecking: The FSAP/NuSMV-SA
Safety Analysis Platform - Marco Bozzano, Adolfo Villafiorita
(ITC-IRST, IT)
Session 2 - Design for Dependability
- Integrity Static Analysis of COTS/SOUP - Peter Bishop,
Robin Bloomfield (City University and Adelard, GB), Tim Clement, Sofia
Guerra, Clair Jones (Adelard, GB)
- Safety Lifecycle for Developing Safety Critical Artificial
Neural Networks - Zeshan Kurd, Tim Kelly (University of York,
GB)
- Quantitative Reliability Estimation of a Computer-based
Motor Protection Relay Using Bayesian Networks - Atte Helminen,
Urho Pulkkinen (VTT Industrial Systems, FI)
- A Dependability Model for Domestic Systems -
Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield (Lancaster
University, GB)
Session 3 - Security and Formal Methods
- Modelling and Verification of Layered Security Protocols:
A Bank Application - Johannes Grünbauer (Munich University
of Technology, DE), Helia Hollmann (Secaron AG, DE), Jan Jürjens, Guido
Wimmel (Munich University of Technology, DE)
- A Constraint Framework for the Qualitative Analysis of
Dependability Goals: Integrity - Stefano Bistarelli (Università
"G. D'annunzio" di Chieti Pescara and CNR, IT), Simon N. Foley (University
College, IE)
- Software Tamper Resistence Unsing Program Certificates
- Hongxia Jin (IBM Almaden Reserch Center, US), Gregory F. Sullivan,
Gerald M. Masson (Johns Hopkins University, US)
Panel - Depedable Embedded Systems
Session 4 - Dependability and Performance
Analysis
- Web Service Availability - Impact of Error Recovery
- Magnos Martinello, Mohamed Kaâniche, Karama Kanoun (LAAS, FR)
- A Unified Tool for Performance Modelling and Prediction
- Stephen Gilmore, Leïla Kloul (The University of Edinburgh,
GB)
Session 5 - Dependability of Medical Systems
- An Approach to Trust Case Development - J. Górski
(Technical University of Gdańsk, PL), A. Jarzêbowicz, R. Leszczyna,
J. Miler, M. Olszewski (Project IST-DRIVE)
- Reliable Data Replication in a Wireless Medical Emergency
Network - Joe Gorman, Ståle Walderhaug, Håvard Kvålen
(SINTEF Telecom and Informatics, NO)
- Critical Feature Analysis of a Radiotherapy Machine
- Andrew Rae, Daniel Jackson, Prasad Ramanan, (Massachusetts Institute
of Technology, US), Jay Flanz (Massachusetts General Hospital, US), Didier
Leyman (Ion Beam Applications, BE)
Session 6 - Fault Tolerance
- Byzantine Fault Tolerance, from Theory to Reality
- Kevin Driscoll, Brendan Hall (Honeywell International, US), Håkan
Sivencrona (Chalmers University of Technology, SE), Phil Zumsteg (Honeywell
International, US)
- Redundancy Management for Drive-by-Wire Computer Systems
- Oliver Rooks (University of Karlsruhe, DE), Michael Armbruster (University
of Stuttgart, DE), Serge Büchli, Armin Sulzmann, Gernot Spiegelberg
(DaimlerChrysler AG, DE), Uwe Kiencke (University of Karlsruhe, DE)
- Fault-tolerant Communication System to Improve Safety
in Railway Environments - César Mataix, Pedro Martín,
Fracisco Javier Rodríguez, Maria José Manzano, Javier Pozo
(Universidad de Alcalá, ES)
- Dependable Communication Synthesis for Distributed Embedded
Systems - Nagarajan Kandasamy (Vanderbilt University, US), John
P. Hayes (University of Michigan, US), Brian T. Murray (The Delphi Corporation,
US)
Session 7 - Tools for Dependable Design
- Enhancing Software Safety by Fault Trees: Experiences
from an Appliation to Flight Critical SW - Wolfgang Weber, Heidemarie
Tondok (EADS Military Aircraft, DE), Michael Bachmayer (Bachmayer GmbH,
DE)
- On the Role of Traceability for Standards Compliance:
Tracking Requirements to Code - P.A.J. Mason, S. Riddle (University
of Newcastle upon Tyne, GB), A Saeed (Advantage Business Group, GB)
- Tools Supporting the Communication of Critical Domain
Knowledge in High-Consequence Systems Development - Kimberly S.
Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis (University
of Virginia, US)
Session 8 - Dependability of Critical
Infrastructures
- Security Policy Configuration Issues in GRID Computing
Environments - George Angelis, Stefanos Gritzalis, Costas Lambrinoudakis
(University of the Aegean, GR)
- Dependability and Survivability of Large
Complex Critical Infrastructures - Sandro Bologna, Claudio
Balducelli, Giovanni Dipoppa, Giordano Vicoli (ENEA, IT)
Session 9 - Hazard and Safety Analyses
- Safety Assessment of Experimental Air Traffic Management
Procedures - Alberto Pasquini, Simone Pozzi (Deep Blue s.r.l.,
IT)
- The Application of Causal Analysis Techniques for Computer-related
Mishaps - Chris Johnson (University of Glasgow, GB)
- Reuse in Hazard Analysis: Identification and Support
- Shamus P. Smith, Michael D. Harrison (University of York, GB)
Session 10 - Design for Dependability
- The Characteristics of Data in Data-intensive Safety-Related
Systems - Neil Storey (University of Warwick, GB), Alastair Faulkner
(CSE International Ltd., GB)
- Using IEC 61508 to Guide the Investigation of Computer-Related
Incidents and Accidents - Chris Johnson (University of Glasgow,
GB)