Front matter
684-685
Software Reliability Engineering in Industry
John D. Musa
686
A Systematic Approach to Safety Case Maintenance
T. P. Kelly and J. A. McDermid
71
SQUALE Dependability Assessment Criteria
Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie and John Goodson
688
Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Project
Gerald Sonneck and Erwin Schoitsch
689
Safety Evaluation of a Train Leader Telephone System
Gustav Dahll
686
Safety Analysis Techniques for Validating Formal Models during Verification
Rogério de Lemos and Amer Saeed
689
Evaluating the Contribution of DesktopVR for Safety—Critical Applications
Chris Johnson
683
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces
Lucia Vilela Leite Filgueiras
687
The Impact of Different Media on Safety and Usability of Interactive ATC Applications
Fabio Paternò, Carmen Santoro and Sophie Tahmassebi
686
Patterns for Safer Human-Computer Interfaces
Andrew Hussey
687
Impact of Communication on Systems Dependability: Human Factors Perspectives
Laurence Rognin and Jean-Paul Blanquart
71
A Method for Operator Error Detection Based on Plan Recognition
Jin Mo and Yves Crouzet
688
Hierarchically Performed Hazard Origin and Propagation Studies
Yiannis Papadopoulos and John A. McDermid
683
Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standards
Heinrich Krebs and Swapan Mitra
686
System and Software Safety Analysis for the ERA Control Computer
P. G. Beerthuizen and W. Kruidhof
689
Safety Markup Language: Concept and Application
Chin-Feng Fan and Swu Yih
684
Extendable Ground-to-Air Communication Architecture for CoDySa
Algirdas Pakstas and Igor Shagaev
683
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems
J. C. Campelo, P. Yuste, F. Rodríguez, P. J. Gil and J. J. Serrano
682-683
The Development of a Commercial “Shrink-Wrapped Application” to Safety Integrity Level 2: the DUST-EXPERT™ Story
Tim Clement, Ian Cottam, Peter Froome and Claire Jones
687
Safety Verification of ADA95 Programs Using Software Fault Trees
Sang-Yoon Min, Yoon-Kyu Jang, Sung-Deok Cha, Yong-Rae Kwon and Doo-Hwan Bae
689
Programming Rule Static Verification for Reliable Software
Philippe Robert
688
Automated Black-Box Testing with Abstract VDM Oracle
Bernhard K. Aichernig
689
Towards Statistical Control of an Industrial Test Process
Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino and Eda Marchetti
687
Choosing Effective Methods for Diversity — How to Progress from Intuition to Science
Peter Popov, Lorenzo Strigini and Alexander Romanovsky
686-687
A First Step Towards the Integration of Accident Reports and Constructive Design Documents
Chris Johnson
685
A Holistic Design Concept to Improve Safety Related Control Systems
Maria Wimmer, Antonio Rizzo and Mark Sujan
689
Comparing Fault Trees and Bayesian Networks for Dependability Analysis
Andrea Bobbio, Luigi Portinale, Michele Minichino and Ester Ciancamerla
683
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems
Alfredo Benso, Maurizio Rebaudengo and Matteo Sonza Reorda
688
Structural Software Reliability Estimation
Silke Kuball, John May and Gordon Hughes
683
Hazard Analysis in Formal Specification
Kaisa Sere and Elena Troubitsyna
686
Modeling Safety-Critical Systems with Z and Petri Nets
Monika Heiner and Maritta Heisel
685
On Formal Languages for Sequences of Authorization Transformations
Yun Bai and Vijay Varadharajan
684
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability
Ireneusz Czarnowski, Piotr Jedrzejowicz and Ewa Ratajczak1
687
Forma Design of Distributed Control Systems with Lustre
Paul Caspi, Christine Mazuet, Rym Salem and Daniel Weber
71
Formal Specification and Development of a Safety-Critical Train Management System
A. Chiappini, A. Cimatti, C. Porzia, G. Rotondo and R. Sebastiani, et al.
685-686
Formal Validation of the GUARDS Inter-consistency Mechanism
Cinzia Bernardeschi, Alessandro Fantechi and Stefania Gnesi
71
A Graphical Environment for the Specification and Verification of Reactive Systems
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit Seshia and R. K. Shyamasundar
684
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector
Gilles Trouessin
684
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature
Sung-Min Lee and Tai-Yun Kim
685
The Integration of Safety and Security Requirements
David Peter Eames and Jonathan Moffett
Back matter