Workshop on Interdisciplinary approaches to achieving and analysing system Dependability

Table of Contents

Heterogeneous Modelling of Evolution for Socio-Technical Systems

S. Anderson and M. Felici

Defining electronic authenticity

J-F Blanchette

Towards an inter-disciplinary dependability analysis of an e-voting system

J.W. Bryans and P.Y.A. Ryan

Dependability in RESCUE: A Concurrent Engineering Approach to the Specification of Requirements for Air Traffic Management

N. Maiden and S. Jones

Improving dependability through a deviation analysis on distributed tasks in safety critical systems

A-N Marhan, F. Paterno and C. Santoro

Inferring network properties from topological and spectral analysis

V. Rosato, S. Bologna and F. Triticco