Wednesday 25 October, 12:30-13:00
Poster Session 1
Chair: S. Wittmann, Bundesamt für Sicherheit in der Informationstechnik, D
- Validation of Control System Specifications with Abstract Plant Models - W.
Zhang (Institute for Energy Technology, N)
- A Constant Perturbation Method to Evaluating Structural Diversity of Multiversion
Software - L. Chen, J. May and G. Hughes (University of Bristol, UK)
- Expert Error: the Case of Trouble-shooting in Electronics - D. Besnard
(Université de Provence, F)
- The Safety Management of Data-driven Safety-Related Systems - A.G. Faulkner,
P.A. Bennett, R.H. Pierce and I.H.A. Johnston (CSE International Ltd, UK)
- Software Support for Incident Reporting Systems in Safety-Critical Applications
- C. Johnson (University of Glasgow, UK)